source: Deliverables/D4.1/Matita @ 289

Name Size Rev Age Author Last Change
../
Plogic 268   9 years sacerdot - notation moved to proper places - new function split on Vectors
root 23 bytes 260   9 years sacerdot - Minimal changes to make it compile with the standard distribution of …
README 82 bytes 260   9 years sacerdot - Minimal changes to make it compile with the standard distribution of …
String.ma 101 bytes 264   9 years sacerdot - new axiomatic data type for Strings - new file for Assembly
Compare.ma 109 bytes 248   9 years mulligan More changes. Added datatype for addressing modes.
Universes.ma 234 bytes 246   9 years mulligan Added physical file (Arithmetic) for arithmetic on bit vectors, and …
Cartesian.ma 392 bytes 281   9 years mulligan Resolved conflicts.
Util.ma 431 bytes 246   9 years mulligan Added physical file (Arithmetic) for arithmetic on bit vectors, and …
Char.ma 581 bytes 264   9 years sacerdot - new axiomatic data type for Strings - new file for Assembly
Maybe.ma 762 bytes 260   9 years sacerdot - Minimal changes to make it compile with the standard distribution of …
depends 860 bytes 281   9 years mulligan Resolved conflicts.
Bool.ma 1.1 KB 281   9 years mulligan Resolved conflicts.
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
Connectives.ma 2.5 KB 268   9 years sacerdot - notation moved to proper places - new function split on Vectors
BitVectorTrie.ma 2.8 KB 268   9 years sacerdot - notation moved to proper places - new function split on Vectors
Arithmetic.ma 6.3 KB 286   9 years mulligan Added bit address lookup for registers.
BitVector.ma 6.5 KB 275   9 years mulligan Removed all axioms from Arithmetic.ma and replaced them with …
ASM.ma 7.3 KB 283   9 years sacerdot Bug fixed in type declaration of BIT/N_BIT.
Nat.ma 10.3 KB 277   9 years sacerdot Bugs fixed in definition of sub8_with_carrier.
List.ma 11.3 KB 260   9 years sacerdot - Minimal changes to make it compile with the standard distribution of …
Vector.ma 12.1 KB 272   9 years mulligan Changes from this morning.
Assembly.ma 17.0 KB 284   9 years sacerdot
Status.ma 24.3 KB 289   9 years mulligan Writing at stack pointer implemented.
Note: See TracBrowser for help on using the repository browser.