source: Deliverables/D4.1/Matita @ 446

Name Size Rev Age Author Last Change
../
root 35 bytes 432   10 years mulligan Removed Plogic/
Compare.ma 110 bytes 432   10 years mulligan Removed Plogic/
String.ma 164 bytes 414   10 years mulligan Got a few more cases working.
Cartesian.ma 392 bytes 432   10 years mulligan Removed Plogic/
Util.ma 431 bytes 246   10 years mulligan Added physical file (Arithmetic) for arithmetic on bit vectors, and …
Debug.ma 514 bytes 439   10 years mulligan Changes to get everything to compile.
Char.ma 604 bytes 432   10 years mulligan Removed Plogic/
README 641 bytes 431   10 years mulligan - README updated - Test and DoTest? fixed to work on assembly_program - …
Maybe.ma 737 bytes 357   10 years sacerdot - stupid bug fixed in BitVectorTrie? - dependencies minimized, dead …
depends 797 bytes 439   10 years mulligan Changes to get everything to compile.
Bool.ma 1.1 KB 432   10 years mulligan Removed Plogic/
Either.ma 1.3 KB 357   10 years sacerdot - stupid bug fixed in BitVectorTrie? - dependencies minimized, dead …
Exponential.ma 1.9 KB 357   10 years sacerdot - stupid bug fixed in BitVectorTrie? - dependencies minimized, dead …
Connectives.ma 2.5 KB 268   10 years sacerdot - notation moved to proper places - new function split on Vectors
BitVectorTrie.ma 2.7 KB 374   10 years sacerdot 1) notation for cast fixed 2) ambiguity reduced: Empty => VEmpty, Cons …
Arithmetic.ma 3.9 KB 374   10 years sacerdot 1) notation for cast fixed 2) ambiguity reduced: Empty => VEmpty, Cons …
BitVector.ma 6.9 KB 410   10 years mulligan Using bitvectortries for a dictionary doesn't work even if we …
Test.ma 7.3 KB 437   10 years sacerdot 1. new function assembly_unlabelled_program 2. the new function is now …
ASM.ma 8.5 KB 410   10 years mulligan Using bitvectortries for a dictionary doesn't work even if we …
DoTest.ma 12.4 KB 439   10 years mulligan Changes to get everything to compile.
List.ma 13.9 KB 364   10 years mulligan Added subvector_with function.
Vector.ma 14.0 KB 374   10 years sacerdot 1) notation for cast fixed 2) ambiguity reduced: Empty => VEmpty, Cons …
Nat.ma 17.9 KB 410   10 years mulligan Using bitvectortries for a dictionary doesn't work even if we …
Fetch.ma 20.7 KB 332   10 years sacerdot Code of fetch greatly simplified because of better behaviour of Matita.
Interpret.ma 28.6 KB 439   10 years mulligan Changes to get everything to compile.
Assembly.ma 29.1 KB 437   10 years sacerdot 1. new function assembly_unlabelled_program 2. the new function is now …
Status.ma 38.3 KB 439   10 years mulligan Changes to get everything to compile.
Note: See TracBrowser for help on using the repository browser.