#
# ChangeLog for etc/campbell
#
# Generated by Trac 1.2
# Mar 3, 2021, 8:25:06 PM

Tue, 26 Feb 2013 14:35:00 GMT campbell [2735]
	* etc/campbell/dev-notes/2013-02-25-sim-relation-properties-in-femeasurable.txt (added)

	Note about loose end in FEMeasurable.


Tue, 19 Feb 2013 11:23:52 GMT campbell [2678]
	* etc/campbell/dev-notes/2013-02-19-single-source-step-simulations.txt (added)
	* src/common/FEMeasurable.ma (modified)

	Switch to single source step simulations for front-end measurable ...


Tue, 15 Jan 2013 14:42:57 GMT campbell [2580]
	* etc/campbell/dev-notes/2013-01-14-expr-eval-order.txt (added)

	Note on ptr + int vs int + ptr.


Fri, 30 Nov 2012 12:15:14 GMT campbell [2509]
	* etc/campbell/dev-notes/2012-11-26-top-level-front-end.txt (added)

	misc note


Fri, 23 Nov 2012 10:22:45 GMT campbell [2485]
	* etc/campbell/dev-notes/2012-11-23-clight-cminor-callstate.pdf (added)

	Sketch of Clight/Cminor callstate simulation


Thu, 22 Nov 2012 14:49:39 GMT campbell [2482]
	* etc/campbell/dev-notes/2012-10-31-clight-to-cminor.txt (modified)

	Note about front-end simulations


Fri, 16 Nov 2012 17:41:52 GMT campbell [2472]
	* etc/campbell/dev-notes/2012-10-31-clight-to-cminor.txt (modified)

	Misc clight->cminor notes.


Mon, 12 Nov 2012 15:39:56 GMT campbell [2454]
	* etc/campbell/dev-notes/2012-10-31-clight-to-cminor.txt (modified)

	More misc notes on clight->cminor.


Tue, 06 Nov 2012 15:04:26 GMT campbell [2434]
	* etc/campbell/dev-notes/2012-10-10-pointer-off-the-end.txt (modified)
	* etc/campbell/dev-notes/2012-10-15-instrumenting-semantics.txt (added)
	* etc/campbell/dev-notes/2012-10-18-front-end-correctness.txt (added)
	* etc/campbell/dev-notes/2012-10-30-stuttering-and-termination.txt (added)
	* etc/campbell/dev-notes/2012-10-31-clight-to-cminor.txt (added)
	* etc/campbell/dev-notes/2012-11-01-shadowed-function-names.txt (added)

	Misc notes.


Fri, 12 Oct 2012 10:59:56 GMT campbell [2394]
	* etc (added)
	* etc/campbell (added)
	* etc/campbell/dev-notes (added)
	* etc/campbell/dev-notes/2011-07-28-envs.patch (added)
	* etc/campbell/dev-notes/2011-07-28-envs.txt (added)
	* etc/campbell/dev-notes/2011-08-25-cminor-labels.txt (added)
	* etc/campbell/dev-notes/2011-09-06-light-to-minor-tmp.txt (added)
	* etc/campbell/dev-notes/2011-09-23-runtime.txt (added)
	* etc/campbell/dev-notes/2011-10-12-rtlabs-typing.txt (added)
	* etc/campbell/dev-notes/2011-10-18-rtlabs-typing-cont (added)
	* etc/campbell/dev-notes/2011-10-24-freshness.txt (added)
	* etc/campbell/dev-notes/2012-01-06-tracetermination.txt (added)
	* etc/campbell/dev-notes/2012-01-11-non-terminating-traces.txt (added)
	* etc/campbell/dev-notes/2012-01-19-non-terminating-traces.txt (added)
	* etc/campbell/dev-notes/2012-01-27-tailcalls-in-structured-traces.txt (added)
	* etc/campbell/dev-notes/2012-02-06-RTLabs-as-after-return.txt (added)
	* etc/campbell/dev-notes/2012-02-16-labels-present.txt (added)
	* etc/campbell/dev-notes/2012-02-17-nontermination.txt (added)
	* etc/campbell/dev-notes/2012-03-22-finite-memory.txt (added)
	* etc/campbell/dev-notes/2012-03-30-flattening.txt (added)
	* etc/campbell/dev-notes/2012-04-04-flattening2.txt (added)
	* etc/campbell/dev-notes/2012-04-10-overall.txt (added)
	* etc/campbell/dev-notes/2012-04-26-label-sim.txt (added)
	* etc/campbell/dev-notes/2012-05-02-label-switch.txt (added)
	* etc/campbell/dev-notes/2012-05-10-globalenvs-transformations.txt (added)
	* etc/campbell/dev-notes/2012-05-24-memory-coalese.txt (added)
	* etc/campbell/dev-notes/2012-05-30-function-ids-for-rtlabs-traces.txt (added)
	* etc/campbell/dev-notes/2012-06-29-cost-label-uniqueness.txt (added)
	* etc/campbell/dev-notes/2012-07-03-switch-costs.txt (added)
	* etc/campbell/dev-notes/2012-07-10-reducing-memory-spaces.txt (added)
	* etc/campbell/dev-notes/2012-08-03-cost-loop-breaking.txt (added)
	* etc/campbell/dev-notes/2012-08-08-toolstick.txt (added)
	* etc/campbell/dev-notes/2012-08-15-unsigned-offsets.txt (added)
	* etc/campbell/dev-notes/2012-08-22-cost-label-checking.txt (added)
	* etc/campbell/dev-notes/2012-08-29-cost-label-bug.txt (added)
	* etc/campbell/dev-notes/2012-09-10-clight-labelled-states.txt (added)
	* etc/campbell/dev-notes/2012-09-12-pointer-off-the-end.txt (added)
	* etc/campbell/dev-notes/2012-09-18-goto-label-skips.txt (added)
	* etc/campbell/dev-notes/2012-10-09-cost-labels-in-syntax.patch (added)
	* etc/campbell/dev-notes/2012-10-10-pointer-off-the-end.txt (added)
	* etc/campbell/dev-notes/2012-10-11-measurable-points-and-simulations.txt (added)
	* etc/campbell/dev-notes/README (added)

	I've kept the odd note on bits of CerCo work I've been doing.  James ...