Search:
Login
Preferences
Help/Guide
About Trac
Wiki
Timeline
Roadmap
Browse Source
View Tickets
Search
Context Navigation
View Latest Revision
source:
src
/
ASM
/
Test.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)
@2284
7 years
sacerdot
PUSH finished
(edit)
@2282
7 years
sacerdot
PUSH case almost finished
(edit)
@2281
7 years
sacerdot
…
(edit)
@2279
7 years
sacerdot
1. Bug fixed in the semantics of PUSH (no indirection performed) 2. …
(edit)
@2276
7 years
sacerdot
…
(edit)
@2274
8 years
sacerdot
Dead code commented out and code out of place moved to Test.ma.
(edit)
@2273
8 years
sacerdot
1. lemmas moved from all files to Test.ma 2. most of the lemmas in …
(edit)
@2272
8 years
mulligan
Changed proof strategy for main lemma after noticed that the current …
(edit)
@2258
8 years
sacerdot
1. lemma generalized 2. automation replaced with expansion to make …
(edit)
@2247
8 years
mulligan
Work on the MOV instruction from today and bug fixes in set_arg_1.
(edit)
@2207
8 years
mulligan
Improvements and corrections to the main lemma proof in …
(edit)
@2204
8 years
sacerdot
Shuffling around, suggestions, improvements.
(edit)
@2196
8 years
sacerdot
Speed up using patterns.
(edit)
@2187
8 years
mulligan
Work from today on the big proof.
(edit)
@2183
8 years
mulligan
More progress on main lemma proof.
(edit)
@2181
8 years
mulligan
Work from the last week on the new formulation of the main lemma for …
(edit)
@2173
8 years
mulligan
MUL case of main lemma nearly complete (subject to two small holes …
(edit)
@2172
8 years
mulligan
Moved new versions of get_ / set_arg_* into Status.ma. Commented out …
(edit)
@2171
8 years
mulligan
Finished the commutations
(edit)
@2168
8 years
sacerdot
No more daemons left! All axioms are real axioms.
(edit)
@2167
8 years
sacerdot
Only one daemon left.
(edit)
@2166
8 years
sacerdot
1. less daemons 2. more easily usable statement
(edit)
@2165
8 years
sacerdot
Only three daemons left.
(edit)
@2164
8 years
sacerdot
More steady progress.
(edit)
@2163
8 years
sacerdot
Steady progress.
(add)
@2160
8 years
mulligan
Added a new scratch file Test.ma for working on lemmas that are needed …
Note:
See
TracRevisionLog
for help on using the revision log.
Download in other formats:
RSS Feed
ChangeLog