#
# ChangeLog for extracted/lINToASM.mli
#
# Generated by Trac 1.2
# Jan 16, 2021, 8:21:46 PM

Sat, 23 Feb 2013 00:16:55 GMT sacerdot [2717]
	* extracted/aSM.ml (modified)
	* extracted/aSM.mli (modified)
	* extracted/aSMCosts.ml (modified)
	* extracted/aSMCosts.mli (modified)
	* extracted/aSMCostsSplit.ml (modified)
	* extracted/aSMCostsSplit.mli (modified)
	* extracted/aST.ml (modified)
	* extracted/aST.mli (modified)
	* extracted/abstractStatus.ml (modified)
	* extracted/abstractStatus.mli (modified)
	* extracted/arithmetic.ml (modified)
	* extracted/arithmetic.mli (modified)
	* extracted/assembly.ml (added)
	* extracted/assembly.mli (added)
	* extracted/assocList.ml (added)
	* extracted/assocList.mli (added)
	* extracted/backEndOps.ml (added)
	* extracted/backEndOps.mli (added)
	* extracted/bindLists.ml (added)
	* extracted/bindLists.mli (added)
	* extracted/bind_new.ml (added)
	* extracted/bind_new.mli (added)
	* extracted/bitVectorTrie.ml (modified)
	* extracted/bitVectorTrieSet.ml (added)
	* extracted/bitVectorTrieSet.mli (added)
	* extracted/bitVectorZ.ml (modified)
	* extracted/bitVectorZ.mli (modified)
	* extracted/blocks.ml (added)
	* extracted/blocks.mli (added)
	* extracted/byteValues.ml (modified)
	* extracted/byteValues.mli (modified)
	* extracted/casts.ml (modified)
	* extracted/casts.mli (modified)
	* extracted/cexec.ml (modified)
	* extracted/cexec.mli (modified)
	* extracted/cexecInd.ml (modified)
	* extracted/cexecInd.mli (modified)
	* extracted/cexecSound.ml (modified)
	* extracted/cexecSound.mli (modified)
	* extracted/classifyOp.ml (modified)
	* extracted/classifyOp.mli (modified)
	* extracted/cminor_syntax.ml (modified)
	* extracted/cminor_syntax.mli (modified)
	* extracted/compiler.ml (modified)
	* extracted/compiler.mli (modified)
	* extracted/costLabel.ml (modified)
	* extracted/costLabel.mli (modified)
	* extracted/csem.ml (modified)
	* extracted/csem.mli (modified)
	* extracted/csyntax.ml (modified)
	* extracted/csyntax.mli (modified)
	* extracted/deqsets.ml (modified)
	* extracted/deqsets_extras.ml (added)
	* extracted/deqsets_extras.mli (added)
	* extracted/division.ml (modified)
	* extracted/eRTL.ml (added)
	* extracted/eRTL.mli (added)
	* extracted/eRTLToERTLptr.ml (added)
	* extracted/eRTLToERTLptr.mli (added)
	* extracted/eRTLptr.ml (added)
	* extracted/eRTLptr.mli (added)
	* extracted/eRTLptrToLTL.ml (added)
	* extracted/eRTLptrToLTL.mli (added)
	* extracted/errorMessages.ml (modified)
	* extracted/errorMessages.mli (modified)
	* extracted/errors.ml (modified)
	* extracted/events.ml (modified)
	* extracted/events.mli (modified)
	* extracted/exp.ml (added)
	* extracted/exp.mli (added)
	* extracted/fetch.ml (modified)
	* extracted/fetch.mli (modified)
	* extracted/fixpoints.ml (added)
	* extracted/fixpoints.mli (added)
	* extracted/fresh.ml (modified)
	* extracted/fresh.mli (modified)
	* extracted/frontEndMem.ml (modified)
	* extracted/frontEndMem.mli (modified)
	* extracted/frontEndOps.ml (modified)
	* extracted/frontEndOps.mli (modified)
	* extracted/frontEndVal.ml (modified)
	* extracted/frontEndVal.mli (modified)
	* extracted/frontend_misc.ml (modified)
	* extracted/frontend_misc.mli (modified)
	* extracted/genMem.ml (modified)
	* extracted/genMem.mli (modified)
	* extracted/globalenvs.ml (modified)
	* extracted/globalenvs.mli (modified)
	* extracted/graphs.ml (modified)
	* extracted/graphs.mli (modified)
	* extracted/i8051.ml (added)
	* extracted/i8051.mli (added)
	* extracted/iO.ml (modified)
	* extracted/iO.mli (modified)
	* extracted/iOMonad.ml (modified)
	* extracted/identifiers.ml (modified)
	* extracted/initialisation.ml (modified)
	* extracted/initialisation.mli (modified)
	* extracted/integers.ml (modified)
	* extracted/integers.mli (modified)
	* extracted/interference.ml (added)
	* extracted/interference.mli (added)
	* extracted/interpret.ml (modified)
	* extracted/interpret.mli (modified)
	* extracted/joint.ml (added)
	* extracted/joint.mli (added)
	* extracted/joint_LTL_LIN.ml (added)
	* extracted/joint_LTL_LIN.mli (added)
	* extracted/lIN.ml (added)
	* extracted/lIN.mli (added)
	* extracted/lINToASM.ml (added)
	* extracted/lINToASM.mli (added)
	* extracted/lTL.ml (added)
	* extracted/lTL.mli (added)
	* extracted/lTLToLIN.ml (added)
	* extracted/lTLToLIN.mli (added)
	* extracted/label.ml (modified)
	* extracted/label.mli (modified)
	* extracted/linearise.ml (added)
	* extracted/linearise.mli (added)
	* extracted/liveness.ml (added)
	* extracted/liveness.mli (added)
	* extracted/memProperties.ml (modified)
	* extracted/memProperties.mli (modified)
	* extracted/memoryInjections.ml (modified)
	* extracted/memoryInjections.mli (modified)
	* extracted/pointers.ml (modified)
	* extracted/pointers.mli (modified)
	* extracted/policy.ml (added)
	* extracted/policy.mli (added)
	* extracted/policyFront.ml (added)
	* extracted/policyFront.mli (added)
	* extracted/policyStep.ml (added)
	* extracted/policyStep.mli (added)
	* extracted/positiveMap.ml (modified)
	* extracted/positiveMap.mli (modified)
	* extracted/preIdentifiers.ml (modified)
	* extracted/rTL.ml (added)
	* extracted/rTL.mli (added)
	* extracted/rTLToERTL.ml (added)
	* extracted/rTLToERTL.mli (added)
	* extracted/rTLabsToRTL.ml (added)
	* extracted/rTLabsToRTL.mli (added)
	* extracted/rTLabs_syntax.ml (modified)
	* extracted/rTLabs_syntax.mli (modified)
	* extracted/registerSet.ml (added)
	* extracted/registerSet.mli (added)
	* extracted/set_adt.ml (added)
	* extracted/set_adt.mli (added)
	* extracted/simplifyCasts.ml (modified)
	* extracted/simplifyCasts.mli (modified)
	* extracted/smallstep.ml (modified)
	* extracted/smallstep.mli (modified)
	* extracted/smallstepExec.ml (modified)
	* extracted/smallstepExec.mli (modified)
	* extracted/state.ml (added)
	* extracted/state.mli (added)
	* extracted/status.ml (modified)
	* extracted/status.mli (modified)
	* extracted/statusProofs.ml (modified)
	* extracted/statusProofs.mli (modified)
	* extracted/structuredTraces.ml (modified)
	* extracted/structuredTraces.mli (modified)
	* extracted/switchRemoval.ml (modified)
	* extracted/switchRemoval.mli (modified)
	* extracted/toCminor.ml (modified)
	* extracted/toCminor.mli (modified)
	* extracted/toRTLabs.ml (modified)
	* extracted/toRTLabs.mli (modified)
	* extracted/translateUtils.ml (added)
	* extracted/translateUtils.mli (added)
	* extracted/typeComparison.ml (modified)
	* extracted/typeComparison.mli (modified)
	* extracted/util.ml (modified)
	* extracted/util.mli (modified)
	* extracted/utilBranch.ml (modified)
	* extracted/utilBranch.mli (modified)
	* extracted/values.ml (modified)
	* extracted/values.mli (modified)
	* extracted/z.ml (modified)

	Extracted code for the whole compiler.
	The space cost model is not ...