#
# ChangeLog for src/ASM/PolicyStep.ma
#
# Generated by Trac 1.2
# Apr 18, 2021, 1:07:00 AM

Mon, 03 Sep 2012 07:03:24 GMT boender [2316]
	* src/ASM/ASM.ma (modified)
	* src/ASM/Assembly.ma (modified)
	* src/ASM/Policy.ma (modified)
	* src/ASM/PolicyFront.ma (modified)
	* src/ASM/PolicyStep.ma (modified)
	* src/ASM/Status.ma (modified)

	- committed temporary version: true version has to wait until I ...


Wed, 25 Jul 2012 22:38:42 GMT sacerdot [2264]
	* src/ASM/Assembly.ma (modified)
	* src/ASM/AssemblyProofSplitSplit.ma (modified)
	* src/ASM/Fetch.ma (modified)
	* src/ASM/Interpret.ma (modified)
	* src/ASM/Policy.ma (modified)
	* src/ASM/PolicyFront.ma (modified)
	* src/ASM/PolicyStep.ma (modified)
	* src/ASM/Status.ma (modified)

	1) Major change: we now always use the efficient way of resolving ...


Tue, 24 Jul 2012 17:15:24 GMT sacerdot [2248]
	* src/ASM/PolicyStep.ma (modified)

	Final changes. All daemons removed, but the real one (open goal).


Tue, 24 Jul 2012 15:51:11 GMT sacerdot [2246]
	* src/ASM/PolicyStep.ma (modified)

	Final technical lemma streamlined. Maybe it can be streamlined even
	more.


Tue, 24 Jul 2012 14:50:20 GMT sacerdot [2245]
	* src/ASM/PolicyStep.ma (modified)

	Temporary commit to have a backtracking point. Yes, I know this ...


Tue, 24 Jul 2012 12:47:26 GMT sacerdot [2244]
	* src/ASM/PolicyStep.ma (modified)

	Technical lemma used.


Tue, 24 Jul 2012 12:31:25 GMT sacerdot [2243]
	* src/ASM/PolicyStep.ma (modified)

	One more lemma streamlined, one to go + one to be completed.


Tue, 24 Jul 2012 11:01:55 GMT sacerdot [2242]
	* src/ASM/PolicyStep.ma (modified)

	jump_expansion_step3 streamlined


Tue, 24 Jul 2012 09:51:49 GMT boender [2241]
	* src/ASM/PolicyStep.ma (modified)

	- merged changes by Claudio


Tue, 24 Jul 2012 09:40:43 GMT sacerdot [2240]
	* src/ASM/PolicyStep.ma (modified)

	All "interesting" technical lemmas singled out, proofs to be
	uncommented.


Tue, 24 Jul 2012 09:09:29 GMT sacerdot [2239]
	* src/ASM/PolicyStep.ma (modified)

	One more lemma polished.


Mon, 23 Jul 2012 21:31:57 GMT sacerdot [2238]
	* src/ASM/PolicyStep.ma (modified)

	Taken out lemma integrated.


Mon, 23 Jul 2012 21:11:27 GMT sacerdot [2237]
	* src/ASM/PolicyStep.ma (modified)

	Even shorter version.


Mon, 23 Jul 2012 20:46:06 GMT sacerdot [2236]
	* src/ASM/PolicyStep.ma (modified)

	One subproof made shorter.


Fri, 20 Jul 2012 16:15:40 GMT sacerdot [2225]
	* src/ASM/Policy.ma (modified)
	* src/ASM/PolicyFront.ma (modified)
	* src/ASM/PolicyStep.ma (modified)

	Minor and major improvements everywhere, shortened proofs.


Fri, 20 Jul 2012 00:05:56 GMT sacerdot [2220]
	* src/ASM/PolicyStep.ma (modified)

	Some minor speed up and daemon-uncommenting.


Thu, 19 Jul 2012 15:12:50 GMT sacerdot [2215]
	* src/ASM/PolicyStep.ma (modified)

	Some speed up.


Wed, 18 Jul 2012 13:57:09 GMT boender [2211]
	* src/ASM/Policy.ma (modified)
	* src/ASM/PolicyFront.ma (modified)
	* src/ASM/PolicyStep.ma (modified)
	* src/ASM/Util.ma (modified)

	- finished proof of sigma specification
	- added some stuff to Util, ...


Wed, 04 Jul 2012 11:23:00 GMT boender [2152]
	* src/ASM/Policy.ma (modified)
	* src/ASM/PolicyFront.ma (modified)
	* src/ASM/PolicyStep.ma (modified)

	- this should compile


Thu, 28 Jun 2012 18:08:58 GMT boender [2141]
	* src/ASM/Policy.ma (modified)
	* src/ASM/PolicyFront.ma (modified)
	* src/ASM/PolicyStep.ma (modified)

	- committed working version


Wed, 20 Jun 2012 14:51:35 GMT boender [2102]
	* src/ASM/PolicyFront.ma (modified)
	* src/ASM/PolicyStep.ma (modified)

	- some small changes


Tue, 19 Jun 2012 14:43:50 GMT boender [2101]
	* src/ASM/Assembly.ma (modified)
	* src/ASM/Policy.ma (modified)
	* src/ASM/PolicyFront.ma (modified)
	* src/ASM/PolicyStep.ma (modified)
	* src/utilities/extralib.ma (modified)

	- renamed medium to absolute jump
	- revised proofs of policy, some ...


Wed, 13 Jun 2012 13:44:20 GMT boender [2059]
	* src/ASM/Policy.ma (modified)
	* src/ASM/PolicyFront.ma (modified)
	* src/ASM/PolicyStep.ma (modified)

	- updated Policy to work better


Fri, 08 Jun 2012 16:17:02 GMT sacerdot [2038]
	* src/ASM/PolicyStep.ma (modified)

	split => vsplit


Fri, 08 Jun 2012 15:16:22 GMT boender [2034]
	* src/ASM/Policy.ma (modified)
	* src/ASM/PolicyFront.ma (added)
	* src/ASM/PolicyStep.ma (added)

	- split Policy into three separate files for ease (and indeed ...