#
# ChangeLog for src/ASM/Interpret2.ma
#
# Generated by Trac 1.2
# Feb 26, 2021, 11:33:58 PM

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


Fri, 25 May 2012 07:18:04 GMT campbell [1996]
	* src/ASM/Interpret2.ma (modified)
	* src/correctness.ma (added)

	Work on correctness from yesterday.


Wed, 14 Dec 2011 12:40:08 GMT sacerdot [1606]
	* src/ASM/ASMCosts.ma (modified)
	* src/ASM/Assembly.ma (modified)
	* src/ASM/Interpret.ma (modified)
	* src/ASM/Interpret2.ma (modified)
	* src/ASM/StatusProofs.ma (modified)

	Porting to last library of Matita.


Thu, 24 Nov 2011 10:44:25 GMT sacerdot [1550]
	* src/ASM/Interpret2.ma (modified)

	Repaired after use of Russell for execute_1.


Fri, 18 Nov 2011 12:03:14 GMT campbell [1515]
	* src/ASM/ASM.ma (modified)
	* src/ASM/Erase.ma (modified)
	* src/ASM/I8051.ma (modified)
	* src/ASM/Interpret.ma (modified)
	* src/ASM/Interpret2.ma (modified)
	* src/ASM/Status.ma (modified)
	* src/ASM/StatusProofs.ma (modified)
	* src/Clight/TypeComparison.ma (modified)
	* src/Clight/fresh.ma (modified)
	* src/Clight/label.ma (modified)
	* src/Clight/test/insertsort.test.ma (modified)
	* src/Clight/toCminor.ma (modified)
	* src/Cminor/toRTLabs.ma (modified)
	* src/ERTL/ERTLToLTL.ma (modified)
	* src/LIN/LINToASM.ma (modified)
	* src/LTL/LTLToLIN.ma (modified)
	* src/RTLabs/RTLabsToRTL.ma (modified)
	* src/common/Graphs.ma (modified)
	* src/common/Identifiers.ma (modified)
	* src/common/PositiveMap.ma (added)
	* src/common/PreIdentifiers.ma (modified)
	* src/joint/Erasure.ma (modified)
	* src/joint/SemanticUtils.ma (modified)
	* src/joint/TranslateUtils.ma (modified)
	* src/utilities/binary/positive.ma (modified)
	* src/utilities/extralib.ma (modified)
	* src/utilities/extranat.ma (modified)

	Add type of maps on positive binary numbers, and use them for ...


Tue, 01 Nov 2011 20:39:49 GMT sacerdot [1478]
	* src/ASM/Interpret2.ma (modified)

	Almost completed (up to is_finals).


Tue, 01 Nov 2011 16:04:14 GMT sacerdot [1476]
	* src/ASM/Interpret2.ma (modified)

	...


Tue, 01 Nov 2011 14:14:09 GMT sacerdot [1475]
	* src/ASM/Interpret2.ma (added)

	Towards the two fullexec transition systems that represent ...