source: src/ASM @ 1050

Name Size Rev Age Author Last Change
../
CPP2011 1033   10 years sacerdot ispelled & submitted
Arithmetic.ma 11.6 KB ​ 961   10 years campbell Use precise bitvector sizes throughout the front end, rather than …
ASM.ma 8.7 KB ​ 985   10 years sacerdot 1) Major refactoring: proofs moved where they should be. 2) New …
Assembly.ma 51.7 KB ​ 1040   10 years sacerdot Bug fixed in assembly.
AssemblyProof.ma 88.7 KB ​ 1045   10 years mulligan resolved conflict in rtlabs
BitVector.ma 6.1 KB ​ 990   10 years sacerdot Do no longer use the daemon automatically :-)
BitVectorTrie.ma 16.7 KB ​ 1044   10 years boender - more fold/forall stuff
BitVectorZ.ma 4.0 KB ​ 891   10 years campbell Revise proofs affected by recent matita change.
Char.ma 76 bytes ​ 697   10 years campbell Merge Clight branch of vectors and friends. Start making stuff build.
Fetch.ma 22.0 KB ​ 895   10 years sacerdot Fetch function fixed: alla AJMPS were ACALL (and the other way around) …
FoldStuff.ma 3.0 KB ​ 1014   10 years sacerdot The main theorem is completely broken (again).
I8051.ma 135.3 KB ​ 777   10 years mulligan Lots of work on RTL to ERTL pass from today.
Interpret.ma 30.5 KB ​ 1037   10 years sacerdot Main theorem: comments are working again.
README 641 bytes ​ 431   10 years mulligan - README updated - Test and DoTest? fixed to work on assembly_program - …
Status.ma 43.1 KB ​ 993   10 years sacerdot More Russell everywhere; getting closer to the goal.
StatusProofs.ma 9.1 KB ​ 1014   10 years sacerdot The main theorem is completely broken (again).
String.ma 84 bytes ​ 698   10 years mulligan Commit with changes to files to get our files to typecheck.
Util.ma 11.3 KB ​ 998   10 years sacerdot Half repaired, half broken. Most functions no longer return option …
Vector.ma 17.8 KB ​ 998   10 years sacerdot Half repaired, half broken. Most functions no longer return option …
Note: See TracBrowser for help on using the repository browser.