Search:
Login
Preferences
Help/Guide
About Trac
Wiki
Timeline
Roadmap
Browse Source
View Tickets
Search
Context Navigation
View Latest Revision
source:
src
/
ASM
/
Assembly.ma
Revision Log Mode:
Stop on copy
Follow copies
Show only adds and deletes
View log starting at
and back to
Show at most
revisions per page.
Show full log messages
Legend:
Added
Modified
Copied or renamed
Diff
Rev
Age
Author
Log Message
(edit)
@1459
8 years
boender
- moved stronger occurs_exactly_once lemma to its proper place in …
(edit)
@1417
8 years
boender
- proved that jumps always increase - this should make termination easy
(edit)
@1404
8 years
boender
- reworked + added - added an axiom to arithmetic, but should be provable
(edit)
@1393
8 years
boender
- added invariant for policy trie to assembly - change (syntax only) …
(edit)
@1363
8 years
boender
- done stuff with create_label_trie
(edit)
@1309
9 years
boender
- refounded JEP
(edit)
@1103
9 years
boender
- reverted to old policy
(edit)
@1054
9 years
boender
- proven policy safe
(edit)
@1040
9 years
sacerdot
Bug fixed in assembly.
(edit)
@1014
9 years
sacerdot
The main theorem is completely broken (again).
(edit)
@998
9 years
sacerdot
Half repaired, half broken. Most functions no longer return option …
(edit)
@993
9 years
sacerdot
More Russell everywhere; getting closer to the goal.
(edit)
@989
9 years
sacerdot
Type of build_maps strengthened.
(edit)
@987
9 years
sacerdot
Real parameterization over the policy.
(edit)
@985
9 years
sacerdot
1) Major refactoring: proofs moved where they should be. 2) New …
(edit)
@982
9 years
boender
- this should work (see previous commit)
(edit)
@938
9 years
sacerdot
…
(edit)
@922
9 years
mulligan
changes to get assemblyproof to compile
(edit)
@920
9 years
boender
- corrected mov instruction
(edit)
@914
9 years
boender
- complete.
(edit)
@913
9 years
boender
- temporary commit s.t. Assembly compiles
(edit)
@907
9 years
boender
- added quadruples to Util - start of implementation of new jump …
(edit)
@846
9 years
mulligan
changes
(edit)
@844
9 years
sacerdot
Useless code removed.
(edit)
@842
9 years
sacerdot
Bug fixed.
(edit)
@840
9 years
sacerdot
sigma defined
(edit)
@837
9 years
mulligan
changes complete
(edit)
@836
9 years
mulligan
changes to assembly functions
(edit)
@833
9 years
sacerdot
Bug fixed to make the file compile. But the type of the assembly …
(edit)
@832
9 years
mulligan
work from today
(edit)
@825
9 years
mulligan
lots of refactoring, finally got something to prove
(edit)
@820
9 years
mulligan
changes to get the semantics of pseudoassembly working
(edit)
@757
9 years
mulligan
Lots more fixing to get both front and backends using same conventions …
(add)
@719
9 years
mulligan
Added missing assembly file ported to matita.
Note:
See
TracRevisionLog
for help on using the revision log.
Download in other formats:
RSS Feed
ChangeLog