#
# ChangeLog for src/ASM/AbstractStatus.ma
#
# Generated by Trac 1.2
# Mar 7, 2021, 10:49:38 AM

Mon, 18 Mar 2013 23:33:13 GMT sacerdot [2899]
	* src/ASM/ASMCosts.ma (modified)
	* src/ASM/ASMCostsSplit.ma (modified)
	* src/ASM/AbstractStatus.ma (modified)
	* src/ASM/Assembly.ma (modified)
	* src/ASM/AssemblyProof.ma (modified)
	* src/ASM/AssemblyProofSplitSplit.ma (modified)
	* src/ASM/CostsProof.ma (modified)
	* src/ASM/Interpret.ma (modified)
	* src/ASM/Interpret2.ma (modified)
	* src/compiler.ma (modified)
	* src/semantics.ma (modified)

	1. some renaming ASM_xxx to OC_xxx
	2. ASM_pre_classified_system ...


Sun, 03 Mar 2013 20:58:28 GMT mckinna [2770]
	* src/ASM/ASMCosts.ma (modified)
	* src/ASM/AbstractStatus.ma (modified)
	* src/ASM/Fetch.ma (modified)
	* src/ASM/Interpret.ma (modified)
	* src/ASM/Status.ma (modified)
	* src/utilities/option.ma (modified)

	WARNING: another big commit, touching many files in ASM/*.ma

	This ...


Fri, 22 Feb 2013 16:56:31 GMT sacerdot [2705]
	* src/ASM/ASM.ma (modified)
	* src/ASM/AbstractStatus.ma (modified)
	* src/ASM/Assembly.ma (modified)
	* src/ASM/Interpret.ma (modified)
	* src/BACKEND_BROKEN_FILES (modified)
	* src/compiler.ma (modified)

	More progress in ASM towards implementing the new pseudoinstructions.


Sun, 02 Dec 2012 16:45:36 GMT mckinna [2516]
	* src/ASM/ASMCosts.ma (modified)
	* src/ASM/ASMCostsSplit.ma (modified)
	* src/ASM/AbstractStatus.ma (modified)
	* src/ASM/Assembly.ma (modified)
	* src/ASM/AssemblyProof.ma (modified)
	* src/ASM/AssemblyProofSplit.ma (modified)
	* src/ASM/CostsProof.ma (modified)
	* src/ASM/Fetch.ma (modified)
	* src/ASM/Interpret2.ma (modified)

	removed typedefs; restored older versions; moved typedefs to ...


Tue, 27 Nov 2012 17:01:50 GMT mckinna [2498]
	* src/ASM/ASMCosts.ma (modified)
	* src/ASM/ASMCostsSplit.ma (modified)
	* src/ASM/AbstractStatus.ma (modified)
	* src/ASM/Assembly.ma (modified)
	* src/ASM/AssemblyProof.ma (modified)
	* src/ASM/AssemblyProofSplit.ma (modified)
	* src/ASM/CostsProof.ma (modified)
	* src/ASM/Fetch.ma (modified)
	* src/ASM/Interpret2.ma (modified)

	Refactor:
	Typedefs object_code and costlabel_map lifted out from ...


Mon, 14 May 2012 17:56:15 GMT sacerdot [1944]
	* src/ASM/AbstractStatus.ma (modified)
	* src/common/StructuredTraces.ma (modified)

	common/StructuredTraces no longer depends on ASM/AbstractStatus
	(again)


Mon, 14 May 2012 08:37:08 GMT mulligan [1939]
	* src/ASM/AbstractStatus.ma (added)
	* src/ASM/AssemblyProof.ma (modified)
	* src/ASM/Interpret.ma (modified)
	* src/common/StructuredTraces.ma (modified)

	Changes to get things to compile and to avoid the dependency ...