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)
@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
10 years
mulligan
changes
(edit)
@844
10 years
sacerdot
Useless code removed.
(edit)
@842
10 years
sacerdot
Bug fixed.
(edit)
@840
10 years
sacerdot
sigma defined
(edit)
@837
10 years
mulligan
changes complete
(edit)
@836
10 years
mulligan
changes to assembly functions
(edit)
@833
10 years
sacerdot
Bug fixed to make the file compile. But the type of the assembly …
(edit)
@832
10 years
mulligan
work from today
(edit)
@825
10 years
mulligan
lots of refactoring, finally got something to prove
(edit)
@820
10 years
mulligan
changes to get the semantics of pseudoassembly working
(edit)
@757
10 years
mulligan
Lots more fixing to get both front and backends using same conventions …
(add)
@719
10 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