source: src/ASM/PolicyStep.ma

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @2652   7 years sacerdot String type changed definition.
(edit) @2317   7 years boender - small changes to make things compile
(edit) @2316   7 years boender - committed temporary version: true version has to wait until I …
(edit) @2264   7 years sacerdot 1) Major change: we now always use the efficient way of resolving …
(edit) @2248   7 years sacerdot Final changes. All daemons removed, but the real one (open goal).
(edit) @2246   7 years sacerdot Final technical lemma streamlined. Maybe it can be streamlined even more.
(edit) @2245   7 years sacerdot Temporary commit to have a backtracking point. Yes, I know this breaks …
(edit) @2244   7 years sacerdot Technical lemma used.
(edit) @2243   7 years sacerdot One more lemma streamlined, one to go + one to be completed.
(edit) @2242   7 years sacerdot jump_expansion_step3 streamlined
(edit) @2241   7 years boender - merged changes by Claudio
(edit) @2240   7 years sacerdot All "interesting" technical lemmas singled out, proofs to be uncommented.
(edit) @2239   7 years sacerdot One more lemma polished.
(edit) @2238   7 years sacerdot Taken out lemma integrated.
(edit) @2237   7 years sacerdot Even shorter version.
(edit) @2236   7 years sacerdot One subproof made shorter.
(edit) @2225   7 years sacerdot Minor and major improvements everywhere, shortened proofs.
(edit) @2220   7 years sacerdot Some minor speed up and daemon-uncommenting.
(edit) @2215   7 years sacerdot Some speed up.
(edit) @2211   7 years boender - finished proof of sigma specification - added some stuff to Util, as …
(edit) @2152   7 years boender - this should compile
(edit) @2141   7 years boender - committed working version
(edit) @2102   7 years boender - some small changes
(edit) @2101   7 years boender - renamed medium to absolute jump - revised proofs of policy, some …
(edit) @2059   7 years boender - updated Policy to work better
(edit) @2038   7 years sacerdot split => vsplit
(add) @2034   7 years boender - split Policy into three separate files for ease (and indeed …
Note: See TracRevisionLog for help on using the revision log.