#
# ChangeLog for src/Clight/switchRemoval.ma
#
# Generated by Trac 1.2
# Feb 25, 2021, 4:55:35 AM

Thu, 14 Jun 2012 08:30:21 GMT garnier [2076]
	* src/Clight/switchRemoval.ma (modified)

	First steps towards a simulation proof for switch removal.


Mon, 04 Jun 2012 14:13:24 GMT garnier [2016]
	* src/Clight/switchRemoval.ma (modified)

	Slight change in simplification strategy to better match the
	semantics


Thu, 03 May 2012 17:13:54 GMT garnier [1915]
	* src/Clight/switchRemoval.ma (modified)

	Correction of a typo in switchRemoval.


Mon, 09 Apr 2012 09:53:35 GMT campbell [1883]
	* src/Clight/switchRemoval.ma (added)
	* src/Clight/test/switcher.test.ma (modified)

	Ilias' switch removal code, plus a test.