source: src/ASM @ 981

Name Size Rev Age Author Last Change
../
CPP2011 981   10 years mulligan added more, worked on conclusions and related work. need just to …
Interpret.ma 31.6 KB ​ 936   10 years sacerdot Ticks are now handled correctly everywhere and the main proof takes …
Fetch.ma 22.0 KB ​ 895   10 years sacerdot Fetch function fixed: alla AJMPS were ACALL (and the other way around) …
AssemblyProof.ma 106.7 KB ​ 979   10 years sacerdot …
Assembly.ma 36.4 KB ​ 938   10 years sacerdot …
String.ma 84 bytes ​ 698   10 years mulligan Commit with changes to files to get our files to typecheck.
Status.ma 36.2 KB ​ 949   10 years mulligan resolved conflict, work from today
README 641 bytes ​ 431   10 years mulligan - README updated - Test and DoTest? fixed to work on assembly_program - …
I8051.ma 135.3 KB ​ 777   10 years mulligan Lots of work on RTL to ERTL pass from today.
BitVectorTrie.ma 4.1 KB ​ 782   10 years mulligan More work on rtl-ertl pass from today, plus resolved conflict.
ASM.ma 8.7 KB ​ 832   10 years mulligan work from today
Vector.ma 17.2 KB ​ 961   10 years campbell Use precise bitvector sizes throughout the front end, rather than …
Char.ma 76 bytes ​ 697   10 years campbell Merge Clight branch of vectors and friends. Start making stuff build.
BitVectorZ.ma 4.0 KB ​ 891   10 years campbell Revise proofs affected by recent matita change.
BitVector.ma 4.4 KB ​ 961   10 years campbell Use precise bitvector sizes throughout the front end, rather than …
Arithmetic.ma 11.6 KB ​ 961   10 years campbell Use precise bitvector sizes throughout the front end, rather than …
Util.ma 8.7 KB ​ 907   10 years boender - added quadruples to Util - start of implementation of new jump …
FoldStuff.ma 2.4 KB ​ 980   10 years boender - displaced some lemmas (jmeq) from AssemblyProof?
Note: See TracBrowser for help on using the repository browser.