#
# ChangeLog for src/utilities/lists.ma
#
# Generated by Trac 1.2
# Jan 23, 2021, 1:09:37 PM

Thu, 08 Nov 2012 13:27:54 GMT tranquil [2443]
	* src/ERTL/ERTLToLTL.ma (modified)
	* src/LIN/LINToASM.ma (modified)
	* src/LIN/joint_LTL_LIN_semantics.ma (modified)
	* src/LIN/semantics.ma (modified)
	* src/LTL/semantics.ma (modified)
	* src/common/ByteValues.ma (modified)
	* src/joint/SemanticUtils.ma (modified)
	* src/joint/Traces.ma (modified)
	* src/joint/TranslateUtils.ma (modified)
	* src/joint/lineariseProof.ma (modified)
	* src/joint/semantics.ma (modified)
	* src/utilities/deqsets.ma (modified)
	* src/utilities/lists.ma (modified)

	changed joint's stack pointer and internal stack


Wed, 07 Nov 2012 16:11:41 GMT piccolo [2440]
	* src/joint/linearise.ma (modified)
	* src/utilities/lists.ma (modified)

	fixed range_strong and linearise
	(commit by Paolo, he's to blame in case)


Fri, 31 Aug 2012 14:12:35 GMT campbell [2314]
	* src/ASM/Util.ma (modified)
	* src/RTLabs/CostCheck.ma (modified)
	* src/RTLabs/Traces.ma (modified)
	* src/common/Identifiers.ma (modified)
	* src/utilities/bool.ma (added)
	* src/utilities/listb.ma (added)
	* src/utilities/lists.ma (modified)

	Move generic definitions from recent commit to appropriate places.


Thu, 30 Aug 2012 14:47:58 GMT campbell [2306]
	* src/utilities/lists.ma (modified)

	An insertion sort for testing purposes.


Thu, 02 Aug 2012 16:40:15 GMT campbell [2292]
	* src/Cminor/toRTLabs.ma (modified)
	* src/RTLabs/syntax.ma (modified)
	* src/utilities/lists.ma (modified)

	More RTLabs invariants.


Tue, 15 May 2012 15:51:25 GMT tranquil [1949]
	* src/common/Errors.ma (modified)
	* src/common/IOMonad.ma (modified)
	* src/common/Identifiers.ma (modified)
	* src/common/StructuredTraces.ma (modified)
	* src/joint/Joint_paolo.ma (modified)
	* src/joint/blocks.ma (modified)
	* src/joint/semantics_blocks.ma (modified)
	* src/joint/semantics_paolo.ma (modified)
	* src/utilities/extralib.ma (modified)
	* src/utilities/lists.ma (modified)
	* src/utilities/monad.ma (modified)
	* src/utilities/option.ma (modified)

	* lemma trace rel to eq flatten trace
	* some more properties of ...


Fri, 06 Apr 2012 18:02:10 GMT tranquil [1882]
	* src/ASM/ASM.ma (modified)
	* src/ASM/Status.ma (modified)
	* src/ASM/Util.ma (modified)
	* src/RTL/RTL_paolo.ma (modified)
	* src/RTLabs/RTLabsToRTL_paolo.ma (modified)
	* src/RTLabs/semantics.ma (modified)
	* src/common/AST.ma (modified)
	* src/common/Errors.ma (modified)
	* src/common/Graphs.ma (modified)
	* src/common/IOMonad.ma (modified)
	* src/common/Identifiers.ma (modified)
	* src/common/LabelledObjects.ma (added)
	* src/common/Pointers.ma (modified)
	* src/common/PositiveMap.ma (modified)
	* src/joint/BEMem.ma (modified)
	* src/joint/Joint_paolo.ma (modified)
	* src/joint/TranslateUtils_paolo.ma (modified)
	* src/joint/blocks.ma (added)
	* src/joint/semanticsUtils_paolo.ma (modified)
	* src/joint/semantics_blocks.ma (added)
	* src/joint/semantics_paolo.ma (modified)
	* src/utilities/bindLists.ma (modified)
	* src/utilities/extralib.ma (modified)
	* src/utilities/lists.ma (modified)
	* src/utilities/monad.ma (modified)
	* src/utilities/option.ma (modified)
	* src/utilities/state.ma (modified)
	* src/utilities/trace.ma (modified)

	big update, alas incomplete:
	joint changed a bit, and all BE ...


Tue, 17 Jan 2012 12:13:08 GMT tranquil [1647]
	* src/Clight/Cexec.ma (modified)
	* src/Clight/CexecSound.ma (modified)
	* src/common/Errors.ma (modified)
	* src/common/IOMonad.ma (modified)
	* src/utilities/bindLists.ma (modified)
	* src/utilities/lists.ma (modified)
	* src/utilities/monad.ma (modified)
	* src/utilities/option.ma (modified)
	* src/utilities/state.ma (modified)

	* corrected some notation problems
	* adapted Cligth with slight ...


Mon, 19 Dec 2011 13:48:37 GMT campbell [1631]
	* src/Clight/toCminor.ma (modified)
	* src/Cminor/initialisation.ma (modified)
	* src/Cminor/syntax.ma (modified)
	* src/Cminor/toRTLabs.ma (modified)
	* src/common/Identifiers.ma (modified)
	* src/utilities/lists.ma (modified)

	Use fact that type environments in Cminor have distinct variables to ...


Mon, 19 Dec 2011 13:48:36 GMT campbell [1630]
	* src/Clight/toCminor.ma (modified)
	* src/utilities/lists.ma (modified)

	Remainder of freshness in Clight to Cminor pass.


Mon, 19 Dec 2011 13:48:35 GMT campbell [1628]
	* src/Clight/fresh.ma (modified)
	* src/utilities/binary/positive.ma (modified)
	* src/utilities/lists.ma (modified)

	Show that the universe generated by Clight/fresh.ma is good.


Mon, 19 Dec 2011 13:48:33 GMT campbell [1626]
	* src/Clight/toCminor.ma (modified)
	* src/Cminor/initialisation.ma (modified)
	* src/Cminor/semantics.ma (modified)
	* src/Cminor/syntax.ma (modified)
	* src/Cminor/toRTLabs.ma (modified)
	* src/RTLabs/syntax.ma (modified)
	* src/common/Errors.ma (modified)
	* src/utilities/lists.ma (added)

	Add extra type safety in front end.  NB: critical freshness parts ...