source:
Deliverables/D4.1/Matita
@
340
| 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. | |
| BitVector.ma | 6.8 KB | 337 | 10 years | Changes to execute_1 file. Changes to get everything type checking. | |
| Cartesian.ma | 392 bytes | 281 | 10 years | Resolved conflicts. | |
| Char.ma | 603 bytes | 329 | 10 years | Commit to restore deleted file. | |
| Compare.ma | 109 bytes | 248 | 10 years | More changes. Added datatype for addressing modes. | |
| depends | 981 bytes | 334 | 10 years | More added. | |
| Interpret.ma | 14.8 KB | 338 | 10 years | Most jumps finished. Only CJNE to do. | |
| List.ma | 12.1 KB | 331 | 10 years | More changes to get everything to typecheck. | |
| Nat.ma | 11.1 KB | 330 | 10 years | Fixed segmentation fault in Nat.ma, added get_index and renamed … | |
| Status.ma | 38.2 KB | 337 | 10 years | Changes to execute_1 file. Changes to get everything type checking. | |
| String.ma | 73 bytes | 329 | 10 years | Commit to restore deleted file. | |
| 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 … | |
| 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 | |
| BitVectorTrie.ma | 2.8 KB | 268 | 10 years | - notation moved to proper places - new function split on Vectors | |
| Bool.ma | 1.1 KB | 336 | 10 years | check removed. | |
| Connectives.ma | 2.5 KB | 268 | 10 years | - notation moved to proper places - new function split on Vectors | |
| 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 | 20.7 KB | 332 | 10 years | Code of fetch greatly simplified because of better behaviour of Matita. | |
| Maybe.ma | 762 bytes | 260 | 10 years | - Minimal changes to make it compile with the standard distribution of … | |
| 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 … | |
| Vector.ma | 13.7 KB | 340 | 10 years | ::: is now used in place of :: for vectors to reduce ambiguity | |
Note: See TracBrowser
for help on using the repository browser.
