source: src/ASM @ 987

Name Size Rev Age Author Last Change
../
CPP2011 986   9 years mulligan changes to paper
Char.ma 76 bytes 697   9 years campbell Merge Clight branch of vectors and friends. Start making stuff build.
String.ma 84 bytes 698   9 years mulligan Commit with changes to files to get our files to typecheck.
README 641 bytes 431   10 years mulligan - README updated - Test and DoTest? fixed to work on assembly_program - …
FoldStuff.ma 2.4 KB 980   9 years boender - displaced some lemmas (jmeq) from AssemblyProof?
BitVectorZ.ma 4.0 KB 891   9 years campbell Revise proofs affected by recent matita change.
BitVector.ma 6.1 KB 985   9 years sacerdot 1) Major refactoring: proofs moved where they should be. 2) New …
BitVectorTrie.ma 6.4 KB 985   9 years sacerdot 1) Major refactoring: proofs moved where they should be. 2) New …
ASM.ma 8.7 KB 985   9 years sacerdot 1) Major refactoring: proofs moved where they should be. 2) New …
Util.ma 9.6 KB 985   9 years sacerdot 1) Major refactoring: proofs moved where they should be. 2) New …
Arithmetic.ma 11.6 KB 961   9 years campbell Use precise bitvector sizes throughout the front end, rather than …
Vector.ma 17.2 KB 961   9 years campbell Use precise bitvector sizes throughout the front end, rather than …
Fetch.ma 22.0 KB 895   9 years sacerdot Fetch function fixed: alla AJMPS were ACALL (and the other way around) …
Interpret.ma 30.3 KB 985   9 years sacerdot 1) Major refactoring: proofs moved where they should be. 2) New …
Assembly.ma 41.7 KB 987   9 years sacerdot Real parameterization over the policy.
Status.ma 42.8 KB 985   9 years sacerdot 1) Major refactoring: proofs moved where they should be. 2) New …
AssemblyProof.ma 82.3 KB 987   9 years sacerdot Real parameterization over the policy.
I8051.ma 135.3 KB 777   9 years mulligan Lots of work on RTL to ERTL pass from today.
Note: See TracBrowser for help on using the repository browser.