#
# ChangeLog for Deliverables/D4.1/Matita/Assembly.ma
#
# Generated by Trac 1.2
# Jan 25, 2021, 4:54:31 AM

Fri, 26 Nov 2010 16:38:04 GMT sacerdot [316]
	* Deliverables/D4.1/Matita/ASM.ma (modified)
	* Deliverables/D4.1/Matita/Assembly.ma (modified)
	* Deliverables/D4.1/Matita/Fetch.ma (added)
	* Deliverables/D4.1/Matita/Status.ma (modified)
	* Deliverables/D4.1/Matita/Vector.ma (modified)
	* Deliverables/D4.1/Matita/depends (modified)

	REGISTER now takes a BitVector 3


Fri, 26 Nov 2010 14:24:16 GMT sacerdot [312]
	* Deliverables/D4.1/Matita/Assembly.ma (modified)

	arguments of split reversed


Fri, 26 Nov 2010 00:12:40 GMT sacerdot [309]
	* Deliverables/D4.1/Matita/Assembly.ma (modified)

	assembly1 is finally compiling in about 37s!


Thu, 25 Nov 2010 23:49:08 GMT sacerdot [308]
	* Deliverables/D4.1/Matita/Assembly.ma (modified)

	More explicit typing solves one of the points.


Thu, 25 Nov 2010 23:25:19 GMT sacerdot [307]
	* Deliverables/D4.1/Matita/Assembly.ma (modified)

	assembly1 completed, but two cases commented out since they require ...


Thu, 25 Nov 2010 23:19:42 GMT sacerdot [306]
	* Deliverables/D4.1/Matita/Assembly.ma (modified)

	...


Thu, 25 Nov 2010 23:10:35 GMT sacerdot [305]
	* Deliverables/D4.1/Matita/Assembly.ma (modified)

	...


Thu, 25 Nov 2010 23:06:03 GMT sacerdot [304]
	* Deliverables/D4.1/Matita/Assembly.ma (modified)

	...


Thu, 25 Nov 2010 22:41:15 GMT sacerdot [303]
	* Deliverables/D4.1/Matita/Assembly.ma (modified)

	...


Thu, 25 Nov 2010 22:30:35 GMT sacerdot [302]
	* Deliverables/D4.1/Matita/Assembly.ma (modified)

	...


Thu, 25 Nov 2010 22:19:22 GMT sacerdot [301]
	* Deliverables/D4.1/Matita/Assembly.ma (modified)

	...


Thu, 25 Nov 2010 22:12:48 GMT sacerdot [300]
	* Deliverables/D4.1/Matita/Assembly.ma (modified)

	...


Thu, 25 Nov 2010 21:55:45 GMT sacerdot [299]
	* Deliverables/D4.1/Matita/Assembly.ma (modified)

	...


Thu, 25 Nov 2010 21:44:45 GMT sacerdot [298]
	* Deliverables/D4.1/Matita/Assembly.ma (modified)

	...


Thu, 25 Nov 2010 21:36:13 GMT sacerdot [297]
	* Deliverables/D4.1/Matita/ASM.ma (modified)
	* Deliverables/D4.1/Matita/Assembly.ma (modified)

	...


Thu, 25 Nov 2010 21:17:33 GMT sacerdot [296]
	* Deliverables/D4.1/Matita/Assembly.ma (modified)

	...


Thu, 25 Nov 2010 14:09:42 GMT sacerdot [293]
	* Deliverables/D4.1/Matita/ASM.ma (modified)
	* Deliverables/D4.1/Matita/Assembly.ma (modified)

	...


Wed, 24 Nov 2010 22:15:13 GMT sacerdot [284]
	* Deliverables/D4.1/Matita/Assembly.ma (modified)

	...


Wed, 24 Nov 2010 22:01:24 GMT sacerdot [283]
	* Deliverables/D4.1/Matita/ASM.ma (modified)
	* Deliverables/D4.1/Matita/Assembly.ma (modified)

	Bug fixed in type declaration of BIT/N_BIT.


Wed, 24 Nov 2010 18:11:36 GMT sacerdot [282]
	* Deliverables/D4.1/Matita/Assembly.ma (modified)

	...


Wed, 24 Nov 2010 17:29:12 GMT mulligan [281]
	* Deliverables/D4.1/Matita/Arithmetic.ma (modified)
	* Deliverables/D4.1/Matita/Assembly.ma (modified)
	* Deliverables/D4.1/Matita/Bool.ma (modified)
	* Deliverables/D4.1/Matita/Cartesian.ma (modified)
	* Deliverables/D4.1/Matita/Status.ma (modified)
	* Deliverables/D4.1/Matita/depends (modified)

	Resolved conflicts.


Wed, 24 Nov 2010 16:19:38 GMT sacerdot [279]
	* Deliverables/D4.1/Matita/Assembly.ma (modified)
	* Deliverables/D4.1/Matita/Cartesian.ma (modified)

	Notation moved to Cartesian.


Wed, 24 Nov 2010 12:43:28 GMT mulligan [272]
	* Deliverables/D4.1/Matita/Arithmetic.ma (modified)
	* Deliverables/D4.1/Matita/Assembly.ma (modified)
	* Deliverables/D4.1/Matita/Vector.ma (modified)

	Changes from this morning.


Wed, 24 Nov 2010 00:00:41 GMT sacerdot [271]
	* Deliverables/D4.1/Matita/ASM.ma (modified)
	* Deliverables/D4.1/Matita/Assembly.ma (modified)
	* Deliverables/D4.1/Matita/BitVector.ma (modified)
	* Deliverables/D4.1/Matita/depends (modified)

	assembly1 defined on ACALL and ADD: it seems it will become too
	slow...


Tue, 23 Nov 2010 17:11:49 GMT sacerdot [269]
	* Deliverables/D4.1/Matita/Assembly.ma (modified)
	* Deliverables/D4.1/Matita/BitVector.ma (modified)
	* Deliverables/D4.1/Matita/Vector.ma (modified)

	- ...


Tue, 23 Nov 2010 16:05:07 GMT sacerdot [264]
	* Deliverables/D4.1/Matita/ASM.ma (modified)
	* Deliverables/D4.1/Matita/Assembly.ma (added)
	* Deliverables/D4.1/Matita/Char.ma (modified)
	* Deliverables/D4.1/Matita/String.ma (modified)
	* Deliverables/D4.1/Matita/depends (modified)

	- new axiomatic data type for Strings
	- new file for Assembly