Skip to main content

Browse the archive

Revision 5bab2b519c5df53f0ddd973f78110d8c681b9611 authored by Cameron Low on 06 February 2023, 14:43:04 UTC, committed by Cameron Low on 06 February 2023, 14:43:04 UTC 
Bug fix: created too many fresh names
1 parent ebdc30e
Raw File
.gitignore 
*~

*.pyc
*.pyo

/_build
/etc
/theories/attic

/ec.*
/src/*.exe

*.eco

/*.ec
/*.eca
/*.smt
/*.why

.merlin
*.install
back to top