#
# ChangeLog for src/joint/Erasure.ma
#
# Generated by Trac 1.2
# Apr 12, 2021, 7:17:42 PM

Thu, 21 Jun 2012 15:21:02 GMT campbell [2103]
	* src/Clight/SimplifyCasts.ma (modified)
	* src/Clight/label.ma (modified)
	* src/Clight/labelSimulation.ma (modified)
	* src/Cminor/toRTLabs.ma (modified)
	* src/ERTL/ERTLToLTL.ma (modified)
	* src/LTL/LTLToLIN.ma (modified)
	* src/RTL/RTLTailcall.ma (modified)
	* src/RTL/RTLToERTL.ma (modified)
	* src/RTLabs/RTLabsToRTL.ma (modified)
	* src/RTLabs/RTLabsToRTL_paolo.ma (modified)
	* src/common/AST.ma (modified)
	* src/joint/Erasure.ma (modified)

	Make transform_*program take a more general transformation to make ...


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


Fri, 28 Oct 2011 13:05:23 GMT mulligan [1472]
	* src/joint/Erasure.ma (moved)

	moved proof utils to erasure.ma


Fri, 28 Oct 2011 13:05:07 GMT mulligan [1471]
	* src/joint/Joint.ma (modified)
	* src/joint/ProofUtils.ma (modified)

	finished erasure and generalised so as to work on arbitrary joint ...