#
# ChangeLog for src/ASM/Assembly.ma
#
# Generated by Trac 1.2
# Jan 22, 2021, 8:34:45 AM

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


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


Fri, 20 May 2011 16:09:00 GMT mulligan [820]
	* src/ASM/ASM.ma (modified)
	* src/ASM/Assembly.ma (modified)
	* src/ASM/Fetch.ma (modified)
	* src/ASM/Interpret.ma (modified)

	changes to get the semantics of pseudoassembly working


Mon, 18 Apr 2011 10:30:53 GMT mulligan [757]
	* src/ASM/ASM.ma (modified)
	* src/ASM/Assembly.ma (modified)
	* src/ASM/I8051.ma (modified)
	* src/ASM/Interpret.ma (modified)
	* src/ASM/Status.ma (modified)
	* src/ERTL/ERTLToLTL.ma (modified)
	* src/LIN/JointLTLLIN.ma (modified)
	* src/LIN/LIN.ma (modified)
	* src/LIN/LINToASM.ma (modified)
	* src/LTL/LTL.ma (modified)
	* src/LTL/LTLToLIN.ma (modified)
	* src/common/AST.ma (modified)
	* src/common/CostLabel.ma (modified)
	* src/common/Identifiers.ma (modified)
	* src/common/Registers.ma (modified)

	Lots more fixing to get both front and backends using same ...


Tue, 29 Mar 2011 16:17:57 GMT mulligan [719]
	* src/ASM/Assembly.ma (added)

	Added missing assembly file ported to matita.