#
# ChangeLog for Deliverables/D4.1/Matita/Status.ma
#
# Generated by Trac 1.2
# Jan 19, 2021, 6:13:39 PM

Mon, 29 Nov 2010 12:42:00 GMT mulligan [329]
	* Deliverables/D4.1/Matita/Char.ma (modified)
	* Deliverables/D4.1/Matita/Interpret.ma (modified)
	* Deliverables/D4.1/Matita/List.ma (modified)
	* Deliverables/D4.1/Matita/Nat.ma (modified)
	* Deliverables/D4.1/Matita/Status.ma (modified)
	* Deliverables/D4.1/Matita/String.ma (modified)
	* Deliverables/D4.1/Matita/Vector.ma (modified)
	* Deliverables/D4.1/Matita/depends (modified)

	Commit to restore deleted file.


Fri, 26 Nov 2010 16:45:04 GMT mulligan [317]
	* Deliverables/D4.1/Matita/Status.ma (modified)

	Fixed problems with arguments of register change.


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 15:53:56 GMT mulligan [314]
	* Deliverables/D4.1/Matita/BitVector.ma (modified)
	* Deliverables/D4.1/Matita/Status.ma (modified)

	Finished all get_ and set_arg_* functions.


Fri, 26 Nov 2010 14:33:32 GMT mulligan [313]
	* Deliverables/D4.1/Matita/Arithmetic.ma (modified)
	* Deliverables/D4.1/Matita/BitVector.ma (modified)
	* Deliverables/D4.1/Matita/Status.ma (modified)

	Added axioms for addition for claudio.


Fri, 26 Nov 2010 12:28:13 GMT mulligan [311]
	* Deliverables/D4.1/Matita/Status.ma (modified)
	* Deliverables/D4.1/Matita/Vector.ma (modified)

	get_arg_16 complete.


Fri, 26 Nov 2010 10:26:26 GMT mulligan [310]
	* Deliverables/D4.1/Matita/Status.ma (modified)

	Most of get_arg_16 done.


Thu, 25 Nov 2010 14:51:56 GMT mulligan [294]
	* Deliverables/D4.1/Matita/Status.ma (modified)

	get and set_arg_16 implemented.


Thu, 25 Nov 2010 11:48:34 GMT mulligan [290]
	* Deliverables/D4.1/Matita/Status.ma (modified)

	Moved definitions around so related are grouped together.


Thu, 25 Nov 2010 11:47:30 GMT mulligan [289]
	* Deliverables/D4.1/Matita/Status.ma (modified)

	Writing at stack pointer implemented.


Thu, 25 Nov 2010 11:28:13 GMT mulligan [288]
	* Deliverables/D4.1/Matita/Status.ma (modified)

	Set flags implemented.


Thu, 25 Nov 2010 10:49:27 GMT mulligan [287]
	* Deliverables/D4.1/Matita/Status.ma (modified)

	Reading at stack pointer added.


Thu, 25 Nov 2010 10:18:27 GMT mulligan [286]
	* Deliverables/D4.1/Matita/Arithmetic.ma (modified)
	* Deliverables/D4.1/Matita/Status.ma (modified)

	Added bit address lookup for registers.


Thu, 25 Nov 2010 09:53:04 GMT mulligan [285]
	* Deliverables/D4.1/Matita/Status.ma (modified)

	Get and set for bitaddressable SFRs now completed.


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 15:16:02 GMT mulligan [276]
	* Deliverables/D4.1/Matita/Status.ma (modified)

	Messed up a file.


Tue, 23 Nov 2010 16:42:20 GMT mulligan [267]
	* Deliverables/D4.1/Matita/Status.ma (moved)

	Renamed Interpret to Status.


Tue, 23 Nov 2010 16:10:40 GMT mulligan [266]
	* Deliverables/D4.1/Matita/BitVector.ma (modified)
	* Deliverables/D4.1/Matita/Interpret.ma (modified)
	* Deliverables/D4.1/Matita/Vector.ma (modified)

	Changes to bitvector.