source:
src/ASM
@
1557
Name | Size | Rev | Age | Author | Last Change |
---|---|---|---|---|---|
../ | |||||
CPP2011 | 1033 | 8 years | ispelled & submitted | ||
Arithmetic.ma | 12.1 KB | 1485 | 8 years | Less nice definitiion of add_with_carries that avoids a quadratic … | |
ASM.ma | 9.0 KB | 1522 | 8 years | changes to preamble and lin to asm pass, resolved conflict in interpret | |
ASMCosts.ma | 11.1 KB | 1557 | 8 years | Byte => costlabel | |
Assembly.ma | 79.7 KB | 1556 | 8 years | submitting to avoid conflicts | |
AssemblyProof.ma | 88.7 KB | 1484 | 8 years | … | |
BitVector.ma | 6.1 KB | 1521 | 8 years | Syntax change in Matita: change what where => change where what. | |
BitVectorTrie.ma | 24.0 KB | 1553 | 8 years | - added lookup_opt_lookup lemma | |
BitVectorZ.ma | 4.0 KB | 1516 | 8 years | Ported to syntax of Matita 0.99.1. | |
Char.ma | 76 bytes | 697 | 9 years | Merge Clight branch of vectors and friends. Start making stuff build. | |
CostsProof.ma | 26.9 KB | 1556 | 8 years | submitting to avoid conflicts | |
Erase.ma | 3.5 KB | 1515 | 8 years | Add type of maps on positive binary numbers, and use them for … | |
Fetch.ma | 22.0 KB | 1555 | 8 years | - changes to assembly - added lookup to PositiveMap? - lightly changed … | |
FoldStuff.ma | 1.7 KB | 1062 | 8 years | separated jmeq and coercions from foldstuff.ma in order to fix the … | |
I8051.ma | 7.2 KB | 1515 | 8 years | Add type of maps on positive binary numbers, and use them for … | |
I8051bis.ma | 125 bytes | 1415 | 8 years | 1. hwreg_store/retrieve no longer returns a res (but it is still … | |
Interpret2.ma | 2.4 KB | 1550 | 8 years | Repaired after use of Russell for execute_1. | |
Interpret.ma | 36.7 KB | 1547 | 8 years | Invariant on cost of one execution step strengthened. | |
JMCoercions.ma | 823 bytes | 1335 | 8 years | Ported to new Matita stdlib. | |
README | 641 bytes | 431 | 9 years | - README updated - Test and DoTest? fixed to work on assembly_program - … | |
Status.ma | 45.3 KB | 1541 | 8 years | interpret.ma now compiles | |
StatusProofs.ma | 9.2 KB | 1530 | 8 years | Update due to Russell changes. | |
String.ma | 84 bytes | 698 | 9 years | Commit with changes to files to get our files to typecheck. | |
Util.ma | 22.3 KB | 1516 | 8 years | Ported to syntax of Matita 0.99.1. | |
Vector.ma | 17.7 KB | 1524 | 8 years | - adapted files to new Matita syntax | |
WellLabeled.ma | 6.9 KB | 1494 | 8 years | changes to get everything compiling again |
|
Note: See TracBrowser
for help on using the repository browser.