#
# ChangeLog for src/Clight/switchRemoval.ma
#
# Generated by Trac 1.2
# Feb 27, 2021, 11:40:31 PM

Fri, 20 Jul 2012 18:28:57 GMT garnier [2227]
	* src/Clight/switchRemoval.ma (modified)

	* New version of the switch removal algorithm, described at the top ...


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.