# # 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.