|
|
@2704
|
8 years |
tranquil |
moved JMP from instructions to preinstructions, and added MovSuccessor? …
|
|
|
@2647
|
8 years |
sacerdot |
Stupid typo fixed.
|
|
|
@2645
|
8 years |
sacerdot |
1. some broken back-end files repaires, several still to go
2. the …
|
|
|
@2316
|
9 years |
boender |
- committed temporary version: true version has to wait until I …
|
|
|
@2143
|
9 years |
mulligan |
Changes to the subaddressing mode elim functions moved into their …
|
|
|
@2139
|
9 years |
mulligan |
Changes to get the main lemma compiling again. Changes pushed into …
|
|
|
@2128
|
9 years |
sacerdot |
Final shuffling around
|
|
|
@2124
|
9 years |
sacerdot |
Much more shuffling around to proper places
|
|
|
@2123
|
9 years |
boender |
- moved is_well_labeled_p to Status and instruction_is_label to ASM
…
|
|
|
@2032
|
9 years |
sacerdot |
!! BEWARE: major commit !!
1) [affects everybody]
split for …
|
|
|
@1882
|
9 years |
tranquil |
big update, alas incomplete:
joint changed a bit, and all BE languages …
|
|
|
@1522
|
9 years |
mulligan |
changes to preamble and lin to asm pass, resolved conflict in interpret
|
|
|
@1515
|
9 years |
campbell |
Add type of maps on positive binary numbers, and use them for …
|
|
|
@1493
|
9 years |
mulligan |
finished well labeled check, up to injectivity of the label map
|
|
|
@1112
|
10 years |
mulligan |
got lin > asm stuff working
|
|
|
@985
|
10 years |
sacerdot |
1) Major refactoring: proofs moved where they should be.
2) New …
|
|
|
@832
|
10 years |
mulligan |
work from today
|
|
|
@820
|
10 years |
mulligan |
changes to get the semantics of pseudoassembly working
|
|
|
@757
|
10 years |
mulligan |
Lots more fixing to get both front and backends using same conventions …
|
|
|
@722
|
10 years |
mulligan |
Committing changes from today. Several files do not typecheck.
|
|
|
@714
|
10 years |
mulligan |
Work on translation from LTL to LIN.
|
|
|
@698
|
10 years |
mulligan |
Commit with changes to files to get our files to typecheck.
|
|
|
@690
|
10 years |
mulligan |
Moved new matita files into correct place.
|
|
copied from src/ASM/new-matita-development/ASM.ma:
|
|
|
@688
|
10 years |
mulligan |
Fixed local conflicts. Restructured svn repository.
|