#
# ChangeLog for etc
#
# Generated by Trac 1.2
# Jan 22, 2021, 2:21:15 AM

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