#
# ChangeLog for src/ASM/WellLabeled.ma
#
# Generated by Trac 1.2
# Feb 25, 2021, 4:21:02 AM

Fri, 08 Jun 2012 14:32:03 GMT sacerdot [2032]
	* src/ASM/ASM.ma (modified)
	* src/ASM/Arithmetic.ma (modified)
	* src/ASM/Assembly.ma (modified)
	* src/ASM/AssemblyProof.ma (modified)
	* src/ASM/AssemblyProofSplit.ma (modified)
	* src/ASM/Interpret.ma (modified)
	* src/ASM/Policy.ma (modified)
	* src/ASM/Status.ma (modified)
	* src/ASM/StatusProofs.ma (modified)
	* src/ASM/Util.ma (modified)
	* src/ASM/Vector.ma (modified)
	* src/ASM/WellLabeled.ma (modified)
	* src/Clight/Csem.ma (modified)
	* src/Clight/SimplifyCasts.ma (modified)
	* src/Clight/casts.ma (modified)
	* src/Cminor/toRTLabs.ma (modified)
	* src/RTL/RTLToERTL.ma (modified)
	* src/RTLabs/RTLabsToRTL.ma (modified)
	* src/RTLabs/RTLabsToRTL_paolo.ma (modified)
	* src/common/FrontEndOps.ma (modified)
	* src/common/FrontEndVal.ma (modified)
	* src/common/Integers.ma (modified)
	* src/common/Values.ma (modified)

	!! BEWARE: major commit !!

	1) [affects everybody]
	   split for ...


Mon, 07 Nov 2011 09:56:13 GMT mulligan [1494]
	* src/ASM/Interpret.ma (modified)
	* src/ASM/WellLabeled.ma (modified)

	changes to get everything compiling again


Fri, 04 Nov 2011 16:01:39 GMT mulligan [1493]
	* src/ASM/ASM.ma (modified)
	* src/ASM/Assembly.ma (modified)
	* src/ASM/WellLabeled.ma (modified)

	finished well labeled check, up to injectivity of the label map


Thu, 03 Nov 2011 16:24:41 GMT mulligan [1487]
	* src/ASM/WellLabeled.ma (added)

	committing some code for well labelling