Revision b26617244ba09013c295b9e3d8a3013c30b5b33c authored by Antoine Séré on 21 June 2022, 17:21:32 UTC, committed by Antoine Séré on 21 June 2022, 17:21:32 UTC
1 parent b9dab00
.gitignore
*~
*.pyc
*.pyo
/_build
/etc
/theories/attic
/ec.*
/src/*.exe
*.eco
/*.ec
/*.eca
/*.smt
/*.why
.merlin
*.install
Computing file changes ...
