source: Deliverables/D4.1/Matita @ 358

Name Size Rev Age Author Last Change
../
Plogic 328   10 years mulligan Got fold_right_i to type check. Moved eq_rect_Type0 into …
root 23 bytes 260   10 years sacerdot - Minimal changes to make it compile with the standard distribution of …
String.ma 73 bytes 329   10 years mulligan Commit to restore deleted file.
README 82 bytes 260   10 years sacerdot - Minimal changes to make it compile with the standard distribution of …
Universes.ma 234 bytes 246   10 years mulligan Added physical file (Arithmetic) for arithmetic on bit vectors, and …
Cartesian.ma 392 bytes 281   10 years mulligan Resolved conflicts.
Util.ma 431 bytes 246   10 years mulligan Added physical file (Arithmetic) for arithmetic on bit vectors, and …
Char.ma 603 bytes 329   10 years mulligan Commit to restore deleted file.
depends 702 bytes 357   10 years sacerdot - stupid bug fixed in BitVectorTrie? - dependencies minimized, dead …
Maybe.ma 737 bytes 357   10 years sacerdot - stupid bug fixed in BitVectorTrie? - dependencies minimized, dead …
DoTest.ma 959 bytes 357   10 years sacerdot - stupid bug fixed in BitVectorTrie? - dependencies minimized, dead …
Bool.ma 1.1 KB 336   10 years sacerdot check removed.
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 357   10 years sacerdot - stupid bug fixed in BitVectorTrie? - dependencies minimized, dead …
Arithmetic.ma 4.0 KB 357   10 years sacerdot - stupid bug fixed in BitVectorTrie? - dependencies minimized, dead …
BitVector.ma 6.7 KB 357   10 years sacerdot - stupid bug fixed in BitVectorTrie? - dependencies minimized, dead …
Test.ma 7.3 KB 357   10 years sacerdot - stupid bug fixed in BitVectorTrie? - dependencies minimized, dead …
ASM.ma 7.3 KB 357   10 years sacerdot - stupid bug fixed in BitVectorTrie? - dependencies minimized, dead …
List.ma 13.2 KB 357   10 years sacerdot - stupid bug fixed in BitVectorTrie? - dependencies minimized, dead …
Vector.ma 13.7 KB 357   10 years sacerdot - stupid bug fixed in BitVectorTrie? - dependencies minimized, dead …
Nat.ma 17.7 KB 357   10 years sacerdot - stupid bug fixed in BitVectorTrie? - dependencies minimized, dead …
Fetch.ma 20.7 KB 332   10 years sacerdot Code of fetch greatly simplified because of better behaviour of Matita.
Interpret.ma 26.1 KB 358   10 years mulligan Added \bot to all absd cases in execute_1 to get rid of as many open …
Assembly.ma 26.3 KB 341   10 years sacerdot A simple version of assembly (no labels) implemented.
Status.ma 38.3 KB 357   10 years sacerdot - stupid bug fixed in BitVectorTrie? - dependencies minimized, dead …
Note: See TracBrowser for help on using the repository browser.