source:
Deliverables/D4.1/Matita
@
328
Name | Size | Rev | Age | Author | Last Change |
---|---|---|---|---|---|
../ | |||||
Plogic | 328 | 10 years | Got fold_right_i to type check. Moved eq_rect_Type0 into … | ||
Arithmetic.ma | 6.4 KB | 313 | 10 years | Added axioms for addition for claudio. | |
ASM.ma | 7.3 KB | 316 | 10 years | REGISTER now takes a BitVector? 3 | |
Assembly.ma | 26.2 KB | 316 | 10 years | REGISTER now takes a BitVector? 3 | |
BitVector.ma | 7.0 KB | 320 | 10 years | Added fold_right_i, equivalent of O'Caml's fold_right2. | |
BitVectorTrie.ma | 2.8 KB | 268 | 10 years | - notation moved to proper places - new function split on Vectors | |
Bool.ma | 1.1 KB | 281 | 10 years | Resolved conflicts. | |
Cartesian.ma | 392 bytes | 281 | 10 years | Resolved conflicts. | |
Char.ma | 581 bytes | 264 | 10 years | - new axiomatic data type for Strings - new file for Assembly | |
Compare.ma | 109 bytes | 248 | 10 years | More changes. Added datatype for addressing modes. | |
Connectives.ma | 2.5 KB | 268 | 10 years | - notation moved to proper places - new function split on Vectors | |
depends | 914 bytes | 328 | 10 years | Got fold_right_i to type check. Moved eq_rect_Type0 into … | |
Either.ma | 1.3 KB | 268 | 10 years | - notation moved to proper places - new function split on Vectors | |
Exponential.ma | 2.0 KB | 268 | 10 years | - notation moved to proper places - new function split on Vectors | |
Fetch.ma | 21.5 KB | 327 | 10 years | Completed! | |
Interpret.ma | 0 bytes | 328 | 10 years | Got fold_right_i to type check. Moved eq_rect_Type0 into … | |
List.ma | 11.3 KB | 260 | 10 years | - Minimal changes to make it compile with the standard distribution of … | |
Maybe.ma | 762 bytes | 260 | 10 years | - Minimal changes to make it compile with the standard distribution of … | |
Nat.ma | 10.3 KB | 277 | 10 years | Bugs fixed in definition of sub8_with_carrier. | |
README | 82 bytes | 260 | 10 years | - Minimal changes to make it compile with the standard distribution of … | |
root | 23 bytes | 260 | 10 years | - Minimal changes to make it compile with the standard distribution of … | |
Status.ma | 36.6 KB | 317 | 10 years | Fixed problems with arguments of register change. | |
String.ma | 101 bytes | 264 | 10 years | - new axiomatic data type for Strings - new file for Assembly | |
Universes.ma | 234 bytes | 246 | 10 years | Added physical file (Arithmetic) for arithmetic on bit vectors, and … | |
Util.ma | 431 bytes | 246 | 10 years | Added physical file (Arithmetic) for arithmetic on bit vectors, and … | |
Vector.ma | 13.8 KB | 328 | 10 years | Got fold_right_i to type check. Moved eq_rect_Type0 into … |
Note: See TracBrowser
for help on using the repository browser.