#
# ChangeLog for driver/clightParser.ml
#
# Generated by Trac 1.2
# Mar 1, 2021, 3:12:32 PM

Thu, 28 Mar 2013 15:56:38 GMT sacerdot [3013]
	* driver/clightParser.ml (modified)

	Temporary parsing files removed.


Wed, 06 Feb 2013 16:03:20 GMT campbell [2620]
	* driver (added)
	* driver/build (added)
	* driver/clightFromC.ml (added)
	* driver/clightParser.ml (added)
	* driver/clightParser.mli (added)
	* driver/exec.ml (added)
	* extracted/aSM.ml (modified)
	* extracted/build (added)
	* extracted/compiler.ml (modified)
	* extracted/floats.ml (modified)
	* extracted/floats.mli (modified)

	Sufficient hacking to run the extracted Clight semantics.