#
# ChangeLog for src/common/CostLabel.ma
#
# Generated by Trac 1.2
# Mar 7, 2021, 10:47:14 AM

Mon, 26 Sep 2011 12:52:22 GMT sacerdot [1268]
	* src/LIN/LINToASM.ma (modified)
	* src/common/AST.ma (modified)
	* src/common/CostLabel.ma (modified)
	* src/utilities/IdentifierTools.ma (deleted)

	1) AST/Identifier.ma no longer used, utilities/IdentifierTools no ...


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


Fri, 08 Apr 2011 12:06:46 GMT campbell [747]
	* src/Clight/AST.ma (deleted)
	* src/Clight/Csyntax.ma (modified)
	* src/RTLabs/RTLabs-syntax.ma (modified)
	* src/common/AST.ma (modified)
	* src/common/CostLabel.ma (modified)
	* src/common/Globalenvs.ma (modified)
	* src/common/Integers.ma (modified)
	* src/common/Maps.ma (modified)
	* src/common/Values.ma (modified)
	* src/utilities/Coqlib.ma (modified)

	Merge the two AST files together (although some definitions still ...


Mon, 04 Apr 2011 15:13:10 GMT campbell [738]
	* src/Clight/AST.ma (modified)
	* src/RTLabs/RTLabs-syntax.ma (modified)
	* src/RTLabs/import.ma (modified)
	* src/common/CostLabel.ma (modified)
	* src/common/Graphs.ma (modified)
	* src/common/Identifiers.ma (modified)
	* src/common/Registers.ma (modified)

	Use lower case names for identifiers for consistency with CompCert ...


Mon, 04 Apr 2011 15:13:09 GMT campbell [737]
	* src/Clight/AST.ma (modified)
	* src/RTLabs/RTLabsMatitaPrinter.ml (modified)
	* src/RTLabs/test/search.ma (modified)
	* src/common/CostLabel.ma (modified)
	* src/common/Identifiers.ma (modified)

	Use more abstract identifiers in Clight / RTLabs.


Tue, 29 Mar 2011 16:21:16 GMT campbell [720]
	* src/Clight/Csyntax.ma (modified)
	* src/RTLabs/RTLabs-syntax.ma (modified)
	* src/common/CostLabel.ma (moved)
	* src/common/Events.ma (modified)

	Sort out cost labels.


Fri, 18 Mar 2011 15:28:26 GMT campbell [700]
	* src/ASM/BitVector.ma (modified)
	* src/ASM/BitVectorZ.ma (modified)
	* src/ASM/Vector.ma (modified)
	* src/Clight/AST.ma (modified)
	* src/Clight/Animation.ma (modified)
	* src/Clight/Cexec.ma (modified)
	* src/Clight/CexecComplete.ma (modified)
	* src/Clight/CexecEquiv.ma (modified)
	* src/Clight/CexecSound.ma (modified)
	* src/Clight/CostLabel.ma (modified)
	* src/Clight/Csem.ma (modified)
	* src/Clight/Csyntax.ma (modified)
	* src/common/Events.ma (modified)
	* src/common/Floats.ma (modified)
	* src/common/Globalenvs.ma (modified)
	* src/common/IOMonad.ma (modified)
	* src/common/Integers.ma (modified)
	* src/common/Maps.ma (modified)
	* src/common/Mem.ma (modified)
	* src/common/Smallstep.ma (modified)
	* src/common/SmallstepExec.ma (modified)
	* src/common/Values.ma (modified)

	Get Clight semantics going again (except for problems CexecEquiv that ...