Search:
Login
Preferences
Help/Guide
About Trac
Wiki
Timeline
Roadmap
Browse Source
View Tickets
Search
Context Navigation
View Latest Revision
source:
src
/
ASM
/
Policy.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)
@1940
8 years
boender
- committed new version of final invariant
(edit)
@1937
8 years
boender
- filled in some of the gaps in the proof of Policy - reverted …
(edit)
@1934
8 years
boender
- various & sundry moves of lemmas to better places - integrated …
(edit)
@1933
8 years
boender
- slight revamp
(edit)
@1932
8 years
boender
- added some more dependent types (we love 'em)
(edit)
@1931
8 years
boender
- added latest bvt alias - temporary "cases daemon" commit of new …
(edit)
@1886
8 years
boender
- improvements for disambiguation and quick(er) typing
(edit)
@1879
8 years
boender
- Policy compiles until the end, still some (fairly trivial) cases …
(edit)
@1810
8 years
boender
- new version of policy that compiles up to the final glue
(edit)
@1809
8 years
boender
- committed partially compiling version of policy (up until …
(edit)
@1615
8 years
sacerdot
Policy now depends on Assembly and not the other way around.
(add)
@1614
8 years
boender
- split policy from assembly
Note:
See
TracRevisionLog
for help on using the revision log.
Download in other formats:
RSS Feed
ChangeLog