source: src/ASM @ 1616

Name Size Rev Age Author Last Change
../
CPP2011 1033   8 years sacerdot ispelled & submitted
Arithmetic.ma 12.0 KB 1599   8 years sacerdot Start of merging of stuff into the standard library of Matita.
ASM.ma 9.0 KB 1522   8 years mulligan changes to preamble and lin to asm pass, resolved conflict in interpret
ASMCosts.ma 8.0 KB 1606   8 years sacerdot Porting to last library of Matita.
Assembly.ma 48.1 KB 1615   8 years sacerdot Policy now depends on Assembly and not the other way around.
AssemblyProof.ma 88.7 KB 1616   8 years sacerdot Partially ported to new Matita syntax. Because of some changes in …
BitVector.ma 6.1 KB 1599   8 years sacerdot Start of merging of stuff into the standard library of Matita.
BitVectorTrie.ma 24.0 KB 1609   8 years boender - added alias to ASM/BitVectorTrie - removed double include from …
BitVectorZ.ma 4.0 KB 1516   8 years sacerdot Ported to syntax of Matita 0.99.1.
Char.ma 76 bytes 697   9 years campbell Merge Clight branch of vectors and friends. Start making stuff build.
CostsProof.ma 30.2 KB 1587   8 years mulligan changes from today, including removing indexing of problematic …
Erase.ma 3.5 KB 1600   8 years sacerdot utilities and ASM ported to the new standard library
Fetch.ma 23.9 KB 1604   8 years mulligan for jaap
FoldStuff.ma 1.7 KB 1600   8 years sacerdot utilities and ASM ported to the new standard library
I8051.ma 6.8 KB 1600   8 years sacerdot utilities and ASM ported to the new standard library
I8051bis.ma 125 bytes 1415   8 years sacerdot 1. hwreg_store/retrieve no longer returns a res (but it is still …
Interpret2.ma 2.3 KB 1606   8 years sacerdot Porting to last library of Matita.
Interpret.ma 34.4 KB 1606   8 years sacerdot Porting to last library of Matita.
Policy.ma 47.1 KB 1615   8 years sacerdot Policy now depends on Assembly and not the other way around.
README 641 bytes 431   9 years mulligan - README updated - Test and DoTest? fixed to work on assembly_program - …
Status.ma 45.9 KB 1600   8 years sacerdot utilities and ASM ported to the new standard library
StatusProofs.ma 9.2 KB 1606   8 years sacerdot Porting to last library of Matita.
String.ma 90 bytes 1599   8 years sacerdot Start of merging of stuff into the standard library of Matita.
Util.ma 19.5 KB 1602   8 years mulligan giving up on fetch proofs for time being
Vector.ma 17.7 KB 1599   8 years sacerdot Start of merging of stuff into the standard library of Matita.
WellLabeled.ma 6.9 KB 1494   8 years mulligan changes to get everything compiling again
Note: See TracBrowser for help on using the repository browser.