#
# ChangeLog for src/ASM/PolicyFront.ma
#
# Generated by Trac 1.2
# Mar 4, 2021, 5:40:06 AM

Fri, 22 Feb 2013 21:39:26 GMT sacerdot [2713]
	* src/ASM/PolicyFront.ma (modified)
	* src/BACKEND_BROKEN_FILES (modified)

	PolicyFront.ma repaired


Fri, 08 Feb 2013 12:45:22 GMT sacerdot [2653]
	* src/ASM/Policy.ma (modified)
	* src/ASM/PolicyFront.ma (modified)

	...


Fri, 08 Feb 2013 10:49:55 GMT sacerdot [2652]
	* src/ASM/Policy.ma (modified)
	* src/ASM/PolicyFront.ma (modified)
	* src/ASM/PolicyStep.ma (modified)

	String type changed definition.


Mon, 03 Sep 2012 10:42:47 GMT boender [2318]
	* src/ASM/Policy.ma (modified)
	* src/ASM/PolicyFront.ma (modified)

	- now it compiles


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 ...


Sun, 29 Jul 2012 22:46:19 GMT sacerdot [2273]
	* src/ASM/AssemblyProofSplit.ma (modified)
	* src/ASM/AssemblyProofSplitSplit.ma (modified)
	* src/ASM/PolicyFront.ma (modified)
	* src/ASM/Test.ma (modified)

	1. lemmas moved from all files to Test.ma
	2. most of the lemmas in ...


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 ...


Mon, 23 Jul 2012 19:22:02 GMT sacerdot [2235]
	* src/ASM/PolicyFront.ma (modified)

	Towards smaller proofs.


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 08:58:15 GMT sacerdot [2222]
	* src/ASM/PolicyFront.ma (modified)
	* src/common/Identifiers.ma (modified)

	More robust to possible future changes to the "in match" semantics ...


Fri, 20 Jul 2012 08:46:29 GMT boender [2221]
	* src/ASM/Assembly.ma (modified)
	* src/ASM/PolicyFront.ma (modified)

	- removed cases daemon from PolicyFront


Wed, 18 Jul 2012 15:57:26 GMT boender [2213]
	* src/ASM/PolicyFront.ma (modified)

	- removed one cases daemon


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


Tue, 12 Jun 2012 12:46:54 GMT boender [2048]
	* src/ASM/Assembly.ma (modified)
	* src/ASM/PolicyFront.ma (modified)

	- factorised jump decisions


Tue, 12 Jun 2012 12:18:16 GMT mulligan [2047]
	* src/ASM/Assembly.ma (modified)
	* src/ASM/AssemblyProofSplit.ma (modified)
	* src/ASM/AssemblyProofSplitSplit.ma (modified)
	* src/ASM/Interpret.ma (modified)
	* src/ASM/PolicyFront.ma (modified)

	Big bugs in policy calculations found.  Waiting for Jaap's commit.


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 ...