source: Deliverables/D4.1/BitVectors.mli

Revision Log Mode:


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