#
# ChangeLog for src/common/Identifiers.ma
#
# Generated by Trac 1.2
# Apr 23, 2021, 2:32:32 PM

Tue, 19 Apr 2011 10:22:32 GMT campbell [761]
	* src/ASM/BitVectorTrie.ma (modified)
	* src/Cminor/semantics.ma (modified)
	* src/Cminor/test/sum-bad.ma (added)
	* src/RTLabs/RTLabs-sem.ma (modified)
	* src/common/Identifiers.ma (modified)
	* src/utilities/Coqlib.ma (modified)
	* src/utilities/option.ma (added)

	Enforce the use of declared identifiers/registers in Cminor/RTLabs.


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


Thu, 14 Apr 2011 15:54:37 GMT mulligan [753]
	* src/ERTL/ERTL.ma (modified)
	* src/ERTL/ERTLToLTL.ma (modified)
	* src/LTL/Branch.ma (deleted)
	* src/LTL/LTL.ma (modified)
	* src/LTL/LTLToLIN.ma (modified)
	* src/common/Identifiers.ma (modified)
	* src/utilities/BitVectorTrieSet.ma (modified)

	Work from today.


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.


Mon, 04 Apr 2011 15:13:08 GMT campbell [736]
	* src/RTLabs/RTLabs-sem.ma (modified)
	* src/RTLabs/RTLabs-syntax.ma (modified)
	* src/RTLabs/import.ma (modified)
	* src/common/Graphs.ma (modified)
	* src/common/Identifiers.ma (added)
	* src/common/Registers.ma (modified)

	Extra type safety for identifiers.