source: Deliverables/D4.1/Matita @ 331

Name Size Rev Age Author Last Change
../
Plogic 328   9 years mulligan Got fold_right_i to type check. Moved eq_rect_Type0 into …
Arithmetic.ma 6.4 KB 313   9 years mulligan Added axioms for addition for claudio.
ASM.ma 7.3 KB 316   9 years sacerdot REGISTER now takes a BitVector? 3
Assembly.ma 26.2 KB 316   9 years sacerdot REGISTER now takes a BitVector? 3
BitVector.ma 6.8 KB 330   9 years mulligan Fixed segmentation fault in Nat.ma, added get_index and renamed …
BitVectorTrie.ma 2.8 KB 268   9 years sacerdot - notation moved to proper places - new function split on Vectors
Bool.ma 1.1 KB 281   9 years mulligan Resolved conflicts.
Cartesian.ma 392 bytes 281   9 years mulligan Resolved conflicts.
Char.ma 603 bytes 329   9 years mulligan Commit to restore deleted file.
Compare.ma 109 bytes 248   9 years mulligan More changes. Added datatype for addressing modes.
Connectives.ma 2.5 KB 268   9 years sacerdot - notation moved to proper places - new function split on Vectors
depends 990 bytes 329   9 years mulligan Commit to restore deleted file.
Either.ma 1.3 KB 268   9 years sacerdot - notation moved to proper places - new function split on Vectors
Exponential.ma 2.0 KB 268   9 years sacerdot - notation moved to proper places - new function split on Vectors
Fetch.ma 21.5 KB 327   9 years sacerdot Completed!
Interpret.ma 6.2 KB 331   9 years mulligan More changes to get everything to typecheck.
List.ma 12.1 KB 331   9 years mulligan More changes to get everything to typecheck.
Maybe.ma 762 bytes 260   9 years sacerdot - Minimal changes to make it compile with the standard distribution of …
Nat.ma 11.1 KB 330   9 years mulligan Fixed segmentation fault in Nat.ma, added get_index and renamed …
README 82 bytes 260   9 years sacerdot - Minimal changes to make it compile with the standard distribution of …
root 23 bytes 260   9 years sacerdot - Minimal changes to make it compile with the standard distribution of …
Status.ma 38.2 KB 331   9 years mulligan More changes to get everything to typecheck.
String.ma 73 bytes 329   9 years mulligan Commit to restore deleted file.
Universes.ma 234 bytes 246   9 years mulligan Added physical file (Arithmetic) for arithmetic on bit vectors, and …
Util.ma 431 bytes 246   9 years mulligan Added physical file (Arithmetic) for arithmetic on bit vectors, and …
Vector.ma 13.6 KB 329   9 years mulligan Commit to restore deleted file.
Note: See TracBrowser for help on using the repository browser.