source: Deliverables/D3.3/id-lookup-branch/ASM @ 2108

Name Size Rev Age Author Last Change
../
CPP2011 1033   9 years sacerdot ispelled & submitted
Arithmetic.ma 11.8 KB ​ 1311   8 years campbell Merge trunk to invariants branch, sorting out the handling of …
ASM.ma 8.7 KB ​ 1153   8 years campbell Merge trunk into branch.
Assembly.ma 55.5 KB ​ 1109   9 years campbell Update branch.
AssemblyProof.ma 88.7 KB ​ 1045   9 years mulligan resolved conflict in rtlabs
BitVector.ma 6.1 KB ​ 990   9 years sacerdot Do no longer use the daemon automatically :-)
BitVectorTrie.ma 20.6 KB ​ 1134   8 years campbell Extra results for non-failing map updates.
BitVectorZ.ma 4.0 KB ​ 891   9 years campbell Revise proofs affected by recent matita change.
Char.ma 76 bytes ​ 697   9 years campbell Merge Clight branch of vectors and friends. Start making stuff build.
Fetch.ma 22.0 KB ​ 895   9 years sacerdot Fetch function fixed: alla AJMPS were ACALL (and the other way around) …
FoldStuff.ma 1.7 KB ​ 1062   9 years mulligan separated jmeq and coercions from foldstuff.ma in order to fix the …
I8051.ma 144.0 KB ​ 1197   8 years campbell Merge trunk to branch.
Interpret.ma 30.5 KB ​ 1037   9 years sacerdot Main theorem: comments are working again.
JMCoercions.ma 1.4 KB ​ 1062   9 years mulligan separated jmeq and coercions from foldstuff.ma in order to fix the …
README 641 bytes ​ 431   9 years mulligan - README updated - Test and DoTest? fixed to work on assembly_program - …
Status.ma 43.1 KB ​ 993   9 years sacerdot More Russell everywhere; getting closer to the goal.
StatusProofs.ma 9.1 KB ​ 1014   9 years sacerdot The main theorem is completely broken (again).
String.ma 84 bytes ​ 698   9 years mulligan Commit with changes to files to get our files to typecheck.
Util.ma 22.7 KB ​ 1311   8 years campbell Merge trunk to invariants branch, sorting out the handling of …
Vector.ma 17.7 KB ​ 1069   9 years campbell Change odd proof obligation problem back.
Note: See TracBrowser for help on using the repository browser.