Search:
Login
Preferences
Help/Guide
About Trac
Wiki
Timeline
Roadmap
Browse Source
View Tickets
Search
Context Navigation
View Latest Revision
source:
src
/
ASM
/
AssemblyProof.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)
@939
8 years
sacerdot
Long Jmp case finished.
(edit)
@938
8 years
sacerdot
…
(edit)
@937
8 years
mulligan
resolved conflict in assembly_proof, more lemmas added
(edit)
@936
8 years
sacerdot
Ticks are now handled correctly everywhere and the main proof takes …
(edit)
@935
8 years
mulligan
changes to status and assembly proof
(edit)
@934
8 years
sacerdot
…
(edit)
@933
8 years
sacerdot
New proof strategy.
(edit)
@932
8 years
sacerdot
…
(edit)
@931
8 years
sacerdot
…
(edit)
@930
8 years
sacerdot
Comment, Cost, ADD, ADC cases done.
(edit)
@929
8 years
mulligan
added ticks_of function
(edit)
@926
8 years
sacerdot
Main theorem false because of ticks :-(
(edit)
@925
8 years
sacerdot
…
(edit)
@924
8 years
sacerdot
…
(edit)
@923
8 years
sacerdot
Main theorem made nice... but unprovable at the moment.
(edit)
@921
8 years
mulligan
resolved conflict, fixed bugs
(edit)
@919
8 years
sacerdot
Back to a readable statement.
(edit)
@916
8 years
sacerdot
Fix for jump_expansion_policy.
(edit)
@915
8 years
mulligan
finished changes to fetch_assembly_pseudo2
(edit)
@912
8 years
sacerdot
Readable main theorem statement.
(edit)
@911
8 years
sacerdot
Type of set_code_memory generalized.
(edit)
@909
9 years
sacerdot
Back to the main theorem.
(edit)
@908
9 years
sacerdot
Next big lemma proved!
(edit)
@906
9 years
sacerdot
…
(edit)
@905
9 years
mulligan
work from today
(edit)
@904
9 years
sacerdot
Cleanup.
(edit)
@903
9 years
sacerdot
Statement of new main lemma (as axiom).
(edit)
@902
9 years
sacerdot
Cleanup.
(edit)
@901
9 years
sacerdot
Second main lemma proved.
(edit)
@897
9 years
sacerdot
Proof completed, fetch and assembly are mutual inverses.
(edit)
@896
9 years
sacerdot
Proof finished (but ugly) :-)
(edit)
@894
9 years
sacerdot
Bug more evident.
(edit)
@893
9 years
sacerdot
Cleanup.
(edit)
@892
9 years
sacerdot
First fundamental lemma almost finished.
(edit)
@890
9 years
sacerdot
Better statement, begin of uniform proof.
(edit)
@889
9 years
sacerdot
Minor changes because of the new, weaker (but much faster) delift.
(edit)
@885
9 years
sacerdot
Proof almost finished, but rewritings are extremely slow.
(edit)
@884
9 years
sacerdot
…
(edit)
@883
9 years
sacerdot
Merged done well.
(add)
@877
9 years
mulligan
work from today
Note:
See
TracRevisionLog
for help on using the revision log.
Download in other formats:
RSS Feed
ChangeLog