Changeset 88 for Deliverables/D4.1/Nibble.ml
- Timestamp:
- Sep 20, 2010, 10:35:53 AM (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Deliverables/D4.1/Nibble.ml
r86 r88 66 66 | 8 -> Some (Bit.from_int 1, Bit.from_int 0, Bit.from_int 0, Bit.from_int 0) 67 67 | 9 -> Some (Bit.from_int 1, Bit.from_int 0, Bit.from_int 0, Bit.from_int 1) 68 | 10 -> Some (Bit.from_int 1, B it.from_int 0, Bit.from_int 1, Bit.from_int 0)68 | 10 -> Some (Bit.from_int 1, B(l -&- r) -|- (c -&- (l -^- r)it.from_int 0, Bit.from_int 1, Bit.from_int 0) 69 69 | 11 -> Some (Bit.from_int 1, Bit.from_int 0, Bit.from_int 1, Bit.from_int 1) 70 70 | 12 -> Some (Bit.from_int 1, Bit.from_int 1, Bit.from_int 0, Bit.from_int 0) … … 88 88 | 1 -> Some b3 89 89 | 2 -> Some b2 90 | 3 -> Some b1 90 | 3 -> Some b1(l -&- r) -|- (c -&- (l -^- r) 91 91 | _ -> None 92 92
Note: See TracChangeset
for help on using the changeset viewer.