Search:
Login
Preferences
Help/Guide
About Trac
Wiki
Timeline
Roadmap
Browse Source
View Tickets
Search
Context Navigation
View Latest Revision
source:
src
/
ASM
/
PolicyStep.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)
@2264
8 years
sacerdot
1) Major change: we now always use the efficient way of resolving …
(edit)
@2248
8 years
sacerdot
Final changes. All daemons removed, but the real one (open goal).
(edit)
@2246
8 years
sacerdot
Final technical lemma streamlined. Maybe it can be streamlined even more.
(edit)
@2245
8 years
sacerdot
Temporary commit to have a backtracking point. Yes, I know this breaks …
(edit)
@2244
8 years
sacerdot
Technical lemma used.
(edit)
@2243
8 years
sacerdot
One more lemma streamlined, one to go + one to be completed.
(edit)
@2242
8 years
sacerdot
jump_expansion_step3 streamlined
(edit)
@2241
8 years
boender
- merged changes by Claudio
(edit)
@2240
8 years
sacerdot
All "interesting" technical lemmas singled out, proofs to be uncommented.
(edit)
@2239
8 years
sacerdot
One more lemma polished.
(edit)
@2238
8 years
sacerdot
Taken out lemma integrated.
(edit)
@2237
8 years
sacerdot
Even shorter version.
(edit)
@2236
8 years
sacerdot
One subproof made shorter.
(edit)
@2225
8 years
sacerdot
Minor and major improvements everywhere, shortened proofs.
(edit)
@2220
8 years
sacerdot
Some minor speed up and daemon-uncommenting.
(edit)
@2215
8 years
sacerdot
Some speed up.
(edit)
@2211
8 years
boender
- finished proof of sigma specification - added some stuff to Util, as …
(edit)
@2152
8 years
boender
- this should compile
(edit)
@2141
8 years
boender
- committed working version
(edit)
@2102
8 years
boender
- some small changes
(edit)
@2101
8 years
boender
- renamed medium to absolute jump - revised proofs of policy, some …
(edit)
@2059
8 years
boender
- updated Policy to work better
(edit)
@2038
8 years
sacerdot
split => vsplit
(add)
@2034
8 years
boender
- split Policy into three separate files for ease (and indeed …
Note:
See
TracRevisionLog
for help on using the revision log.
Download in other formats:
RSS Feed
ChangeLog