Search:
Login
Preferences
Help/Guide
About Trac
Wiki
Timeline
Roadmap
Browse Source
View Tickets
Search
Context Navigation
View Latest Revision
source:
src
/
ASM
/
PolicyFront.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)
@2713
7 years
sacerdot
PolicyFront?
.ma repaired
(edit)
@2653
7 years
sacerdot
…
(edit)
@2652
7 years
sacerdot
String type changed definition.
(edit)
@2318
7 years
boender
- now it compiles
(edit)
@2316
7 years
boender
- committed temporary version: true version has to wait until I …
(edit)
@2273
7 years
sacerdot
1. lemmas moved from all files to Test.ma 2. most of the lemmas in …
(edit)
@2264
7 years
sacerdot
1) Major change: we now always use the efficient way of resolving …
(edit)
@2235
7 years
sacerdot
Towards smaller proofs.
(edit)
@2225
8 years
sacerdot
Minor and major improvements everywhere, shortened proofs.
(edit)
@2222
8 years
sacerdot
More robust to possible future changes to the "in match" semantics …
(edit)
@2221
8 years
boender
- removed cases daemon from
PolicyFront?
(edit)
@2213
8 years
boender
- removed one cases daemon
(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)
@2048
8 years
boender
- factorised jump decisions
(edit)
@2047
8 years
mulligan
Big bugs in policy calculations found. Waiting for Jaap's commit.
(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