Skip to main content

Browse the archive

Revision e46ef74b2a979b11128319813bd543355c8c0bc1 authored by Pierre-Yves Strub on 17 November 2021, 05:57:03 UTC, committed by Pierre-Yves Strub on 17 November 2021, 05:57:03 UTC 
disable warning as errors
1 parent a54cec2
Raw File
.gitignore 
*~

*.pyc
*.pyo

/_build
/etc
/theories/attic

/ec.*
/src/*.exe

*.eco

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

.merlin
*.install
back to top