# # ChangeLog for Deliverables/D4.1/physical.mli # # Generated by Trac 1.2 # Apr 14, 2021, 7:32:53 PM Mon, 20 Sep 2010 15:40:16 GMT mulligan [92] * Deliverables/D4.1/ASM.mli (modified) * Deliverables/D4.1/ASMInterpret.ml (modified) * Deliverables/D4.1/BitVectors.ml (modified) * Deliverables/D4.1/BitVectors.mli (modified) * Deliverables/D4.1/physical.ml (modified) * Deliverables/D4.1/physical.mli (modified) Fixed physical interface file. Refactoring ASMInterface. Mon, 20 Sep 2010 13:30:27 GMT mulligan [91] * Deliverables/D4.1/ASMInterpret.ml (modified) * Deliverables/D4.1/physical.ml (modified) * Deliverables/D4.1/physical.mli (modified) Finished porting/fix type errors in physical. Mon, 20 Sep 2010 08:35:53 GMT mulligan [88] * Deliverables/D4.1/BitVectors.ml (moved) * Deliverables/D4.1/BitVectors.mli (moved) * Deliverables/D4.1/Byte.ml (modified) * Deliverables/D4.1/Nibble.ml (modified) * Deliverables/D4.1/physical.ml (modified) * Deliverables/D4.1/physical.mli (modified) int_of_vect implemented. Tue, 14 Sep 2010 13:12:52 GMT mulligan [72] * Deliverables/D4.1/ASMInterpret.ml (modified) * Deliverables/D4.1/physical.mli (modified) DA instruction implemented: pretty complex! Tue, 14 Sep 2010 12:40:33 GMT mulligan [71] * Deliverables/D4.1/ASMInterpret.ml (modified) * Deliverables/D4.1/physical.mli (modified) Two more jump instructions implemented. Fri, 10 Sep 2010 13:37:44 GMT mulligan [58] * Deliverables/D4.1/ASMInterpret.ml (modified) * Deliverables/D4.1/physical.ml (modified) * Deliverables/D4.1/physical.mli (modified) Bug fixed in CJNE instruction. More jump instructions implemented. Wed, 08 Sep 2010 16:09:01 GMT mulligan [46] * Deliverables/D4.1/ASM.mli (modified) * Deliverables/D4.1/ASMInterpret.ml (modified) * Deliverables/D4.1/Pretty.ml (modified) * Deliverables/D4.1/physical.ml (modified) * Deliverables/D4.1/physical.mli (modified) MOV done. Wed, 08 Sep 2010 10:30:28 GMT mulligan [44] * Deliverables/D4.1/ASMInterpret.ml (modified) * Deliverables/D4.1/Pretty.ml (added) * Deliverables/D4.1/physical.ml (modified) * Deliverables/D4.1/physical.mli (modified) Added pretty printing functions for bits, bytes, words etc. Wed, 08 Sep 2010 09:24:01 GMT mulligan [42] * Deliverables/D4.1/ASMInterpret.ml (modified) * Deliverables/D4.1/physical.ml (modified) * Deliverables/D4.1/physical.mli (modified) Address1 function completed for instructions A--M. Wed, 08 Sep 2010 08:43:47 GMT mulligan [41] * Deliverables/D4.1/ASMInterpret.ml (modified) * Deliverables/D4.1/physical.ml (modified) * Deliverables/D4.1/physical.mli (modified) More added to address1 function. Weird type error? Thu, 02 Sep 2010 16:30:29 GMT sacerdot [28] * Deliverables/D4.1/ASM.mli (modified) * Deliverables/D4.1/ASMInterpret.ml (added) * Deliverables/D4.1/Makefile (added) * Deliverables/D4.1/physical.ml (added) * Deliverables/D4.1/physical.mli (modified) 1) all the opcodes are there in ASM syntax (but no labels, ... Thu, 02 Sep 2010 10:17:44 GMT sacerdot [27] * Deliverables/D4.1/ASM.mli (added) * Deliverables/D4.1/physical.mli (added) The 8051 instruction set (syntax only).