source: Deliverables/D4.1/BitVectors.mli

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @162   11 years mulligan Timers implemented (including demonic thirteen bit timer).
(edit) @147   11 years mulligan Changes made today: we now have an emulator that is able to emulate …
(edit) @140   11 years sacerdot More cleanup.
(edit) @98   11 years mulligan preliminary pretty-printing function (no usable output)
(edit) @97   11 years mulligan Move to polymorphic variants everywhere (scary...)
(edit) @95   11 years mulligan fixed typing errors in ASMInterpret up to execute1.
(edit) @92   11 years mulligan Fixed physical interface file. Refactoring ASMInterface.
(edit) @90   11 years mulligan Ported physical.ml to be compatible with new bitvector code, started …
(edit) @89   11 years mulligan Fixed a really annoying bug in vect_to_int and int_to_vect
(copy) @88   11 years mulligan int_of_vect implemented.
copied from Deliverables/D4.1/bit_vectors.mli:
(add) @87   11 years mulligan Moved tentative to bit_vectors. Added .mli file.
Note: See TracRevisionLog for help on using the revision log.