#
# ChangeLog for src/Clight/cerco
#
# Generated by Trac 1.2
# Jan 23, 2021, 6:54:51 PM

Wed, 23 Mar 2011 10:37:24 GMT campbell [707]
	* src/Clight/cerco/ASM.ma (deleted)
	* src/Clight/cerco/Arithmetic.ma (deleted)
	* src/Clight/cerco/BitVector.ma (deleted)
	* src/Clight/cerco/BitVectorTrie.ma (deleted)
	* src/Clight/cerco/BitVectorZ.ma (deleted)
	* src/Clight/cerco/Char.ma (deleted)
	* src/Clight/cerco/Fetch.ma (deleted)
	* src/Clight/cerco/Interpret.ma (deleted)
	* src/Clight/cerco/Status.ma (deleted)
	* src/Clight/cerco/String.ma (deleted)
	* src/Clight/cerco/Util.ma (deleted)
	* src/Clight/cerco/Vector.ma (deleted)

	Remove old branch, which was merged after the move to src.


Fri, 18 Mar 2011 11:30:38 GMT campbell [694]
	* src/Clight (moved)

	Start moving Clight into common directory.


Fri, 04 Mar 2011 17:20:26 GMT campbell [636]
	* Deliverables/D3.1/C-semantics/AST.ma (modified)
	* Deliverables/D3.1/C-semantics/Errors.ma (modified)
	* Deliverables/D3.1/C-semantics/Values.ma (modified)
	* Deliverables/D3.1/C-semantics/cerco/Vector.ma (modified)

	A few definitions that will be useful for some preliminary rtlabs ...