We are hiring ! See our job offers.
Revision 058022c3be6121e485ecf48e19424d1ed36dc535 authored by Fran├žois Dupressoir on 19 January 2022, 19:29:05 UTC, committed by Fran├žois Dupressoir on 19 January 2022, 19:29:05 UTC
1 parent 46ba308
Raw File
.gitignore
*~

*.pyc
*.pyo

/_build
/etc
/theories/attic

/ec.*
/src/*.exe

*.eco

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

.merlin
*.install
back to top