source: src/ASM/PolicyFront.ma

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @3103   8 years mckinna Simplified "include" dependencies
(edit) @3098   8 years sacerdot Performance improvement.
(edit) @3078   8 years tranquil fixed change of Mov
(edit) @3039   8 years tranquil * merged and extended MovSuccessor? and Mov in one instruction (Mov dst …
(edit) @3034   8 years sacerdot Bug fixed: COST instructions are now assembled as NOP to prevent the …
(edit) @2713   8 years sacerdot PolicyFront?.ma repaired
(edit) @2653   8 years sacerdot …
(edit) @2652   8 years sacerdot String type changed definition.
(edit) @2318   8 years boender - now it compiles
(edit) @2316   8 years boender - committed temporary version: true version has to wait until I …
(edit) @2273   9 years sacerdot 1. lemmas moved from all files to Test.ma 2. most of the lemmas in …
(edit) @2264   9 years sacerdot 1) Major change: we now always use the efficient way of resolving …
(edit) @2235   9 years sacerdot Towards smaller proofs.
(edit) @2225   9 years sacerdot Minor and major improvements everywhere, shortened proofs.
(edit) @2222   9 years sacerdot More robust to possible future changes to the "in match" semantics …
(edit) @2221   9 years boender - removed cases daemon from PolicyFront?
(edit) @2213   9 years boender - removed one cases daemon
(edit) @2211   9 years boender - finished proof of sigma specification - added some stuff to Util, as …
(edit) @2152   9 years boender - this should compile
(edit) @2141   9 years boender - committed working version
(edit) @2102   9 years boender - some small changes
(edit) @2101   9 years boender - renamed medium to absolute jump - revised proofs of policy, some …
(edit) @2059   9 years boender - updated Policy to work better
(edit) @2048   9 years boender - factorised jump decisions
(edit) @2047   9 years mulligan Big bugs in policy calculations found. Waiting for Jaap's commit.
(add) @2034   9 years boender - split Policy into three separate files for ease (and indeed …
Note: See TracRevisionLog for help on using the revision log.