source: src/ASM @ 950

Name Size Rev Age Author Last Change
../
CPP2011 947   9 years sacerdot
AssemblyProof.ma 99.2 KB 950   9 years sacerdot Horrible sub-proof finished :-)
Status.ma 36.2 KB 949   9 years mulligan resolved conflict, work from today
Arithmetic.ma 10.8 KB 949   9 years mulligan resolved conflict, work from today
Assembly.ma 36.4 KB 938   9 years sacerdot
Interpret.ma 31.6 KB 936   9 years sacerdot Ticks are now handled correctly everywhere and the main proof takes …
Util.ma 8.7 KB 907   9 years boender - added quadruples to Util - start of implementation of new jump …
Fetch.ma 22.0 KB 895   9 years sacerdot Fetch function fixed: alla AJMPS were ACALL (and the other way around) …
BitVectorZ.ma 4.0 KB 891   9 years campbell Revise proofs affected by recent matita change.
Vector.ma 16.5 KB 889   9 years sacerdot Minor changes because of the new, weaker (but much faster) delift.
BitVector.ma 4.2 KB 868   9 years mulligan more changes
ASM.ma 8.7 KB 832   9 years mulligan work from today
BitVectorTrie.ma 4.1 KB 782   9 years mulligan More work on rtl-ertl pass from today, plus resolved conflict.
I8051.ma 135.3 KB 777   9 years mulligan Lots of work on RTL to ERTL pass from today.
String.ma 84 bytes 698   9 years mulligan Commit with changes to files to get our files to typecheck.
Char.ma 76 bytes 697   9 years campbell Merge Clight branch of vectors and friends. Start making stuff build.
README 641 bytes 431   10 years mulligan - README updated - Test and DoTest? fixed to work on assembly_program - …
Note: See TracBrowser for help on using the repository browser.