source: Deliverables/D4.1/Matita @ 433

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