#
# ChangeLog for src/ASM/AssemblyProof.ma
#
# Generated by Trac 1.2
# Mar 6, 2021, 12:51:47 PM

Fri, 27 May 2011 10:40:19 GMT mulligan [851]
	* src/ASM/AssemblyProof.ma (modified)

	strong foldl added


Thu, 26 May 2011 22:58:34 GMT sacerdot [850]
	* src/ASM/AssemblyProof.ma (modified)

	More informative foldl: foldll.


Thu, 26 May 2011 16:41:33 GMT sacerdot [849]
	* src/ASM/AssemblyProof.ma (modified)
	* src/common/AST.ma (modified)

	...


Thu, 26 May 2011 16:26:57 GMT sacerdot [848]
	* src/ASM/AssemblyProof.ma (modified)

	...


Thu, 26 May 2011 12:16:36 GMT sacerdot [847]
	* src/ASM/AssemblyProof.ma (modified)

	Several bugs fixed in Matita.


Wed, 25 May 2011 16:10:04 GMT mulligan [846]
	* src/ASM/Assembly.ma (modified)
	* src/ASM/AssemblyProof.ma (modified)

	changes


Wed, 25 May 2011 16:09:38 GMT sacerdot [845]
	* src/ASM/AssemblyProof.ma (modified)

	Nightmare...


Wed, 25 May 2011 12:33:44 GMT sacerdot [841]
	* src/ASM/AssemblyProof.ma (modified)

	Minor changes.


Wed, 25 May 2011 11:57:55 GMT sacerdot [840]
	* src/ASM/Assembly.ma (modified)
	* src/ASM/AssemblyProof.ma (modified)

	sigma defined


Wed, 25 May 2011 11:31:15 GMT sacerdot [839]
	* src/ASM/AssemblyProof.ma (modified)

	More experiments.


Wed, 25 May 2011 10:08:24 GMT sacerdot [838]
	* src/ASM/AssemblyProof.ma (modified)

	Restored.


Wed, 25 May 2011 09:06:59 GMT sacerdot [835]
	* src/ASM/AssemblyProof.ma (modified)

	Old experiments removed.


Tue, 24 May 2011 22:10:24 GMT sacerdot [834]
	* src/ASM/AssemblyProof.ma (modified)

	Russell at work.


Tue, 24 May 2011 21:19:53 GMT sacerdot [833]
	* src/ASM/Assembly.ma (modified)
	* src/ASM/AssemblyProof.ma (modified)

	Bug fixed to make the file compile.
	But the type of the assembly ...


Tue, 24 May 2011 16:40:13 GMT mulligan [832]
	* src/ASM/ASM.ma (modified)
	* src/ASM/Assembly.ma (modified)
	* src/ASM/AssemblyProof.ma (modified)

	work from today


Tue, 24 May 2011 14:01:41 GMT sacerdot [831]
	* src/ASM/AssemblyProof.ma (modified)

	Progress in proofs.


Tue, 24 May 2011 12:06:01 GMT sacerdot [829]
	* src/ASM/AssemblyProof.ma (modified)

	...


Tue, 24 May 2011 11:32:07 GMT sacerdot [828]
	* src/ASM/AssemblyProof.ma (modified)

	Proof statement.


Tue, 24 May 2011 11:26:43 GMT sacerdot [827]
	* src/ASM/AssemblyProof.ma (modified)
	* src/ASM/Interpret.ma (modified)
	* src/ASM/Status.ma (modified)

	The preamble is now part of the PseudoStatus.


Mon, 23 May 2011 16:39:41 GMT mulligan [826]
	* src/ASM/AssemblyProof.ma (modified)

	start of proof


Mon, 23 May 2011 16:12:51 GMT mulligan [825]
	* src/ASM/Assembly.ma (modified)
	* src/ASM/AssemblyProof.ma (modified)
	* src/ASM/Interpret.ma (modified)

	lots of refactoring, finally got something to prove


Mon, 23 May 2011 14:24:13 GMT mulligan [823]
	* src/ASM/AssemblyProof.ma (added)

	added new file for proof of correctness of pseudo-assembly
	translation