Boogaloo /

Filename Size Date modified Message
Language/Boogie
examples
tests
31 B
Adding emacs backup files to .hgignore.
940 B
Added tag v0.4.3 for changeset 063ce6a6b0f9
12.6 KB
Added typecheck mode.
4.7 KB
Add unversioned
1.6 KB
Added cabal-generated and other helper files.
48 B
Added cabal-generated and other helper files.
4.8 KB
Fixed Tests.
3.7 KB
stackify
1.8 KB
Add unversioned
8.1 KB
Added cabal-generated and other helper files.
386 B
Add unversioned
390 B
Add unversioned
534 B
stackify
1.4 KB
Distinguish between maximum loop iterations and recusive constraint unforling. Added positions to generated goto's. Reordred command-line arguments.