source: Deliverables/D4.1/Matita @ 446

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