source: src/ASM/Policy.ma

Revision Log Mode:


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.