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