Changeset 135 for Deliverables/D4.1
- Timestamp:
- Sep 27, 2010, 3:50:00 PM (10 years ago)
- Location:
- Deliverables/D4.1
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
Deliverables/D4.1/IntelHex.ml
r134 r135 198 198 [] -> (cry, bs) 199 199 | hd::tl -> 200 aux ( full_add hd bs cry) tl200 aux (half_add hd bs) tl 201 201 in 202 202 aux (false, (vect_of_int 0 `Eight)) r … … 227 227 228 228 (* DPM: Debug 229 let Some entry = intel_hex_format_of_string ":00000001FF";; 229 let tot = complement <*> snd $ add_bytes [vect_of_int 2 `Eight; vect_of_int 0 `Eight; vect_of_int 0 `Eight; vect_of_int 4 `Eight; vect_of_int 255 `Eight; vect_of_int 255 `Eight];; 230 let Some entry = intel_hex_format_of_string ":02000004FFFFFC";; 230 231 checksum_valid $ List.hd entry;; 231 232 *) -
Deliverables/D4.1/Util.ml
r131 r135 6 6 7 7 let flip f a b = f b a 8 ;; 9 10 let fst (a, b) = a 11 ;; 12 13 let snd (a, b) = b 8 14 ;; 9 15
Note: See TracChangeset
for help on using the changeset viewer.