Skip to main content

Browse the archive

Revision 7fed18696e60cb034130a2e228a595e3b106a338 authored by Pierre-Yves Strub on 04 June 2022, 11:20:29 UTC, committed by Pierre-Yves Strub on 04 June 2022, 11:20:29 UTC 
new command: exit (stops EasyCrypt)
1 parent 4e97480
Raw File
.gitignore 
*~

*.pyc
*.pyo

/_build
/etc
/theories/attic

/ec.*
/src/*.exe

*.eco

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

.merlin
*.install
back to top