Changeset 135 for Deliverables/D4.1

Timestamp:

Sep 27, 2010, 3:50:00 PM (10 years ago)

Author:

mulligan

Message:

Fixed checksum calculation check. Requires a *half add* (i.e. ignore
carry when summing), not a full add. This is not obvious from the Keil
website describing the calculation. Tested on example programs on Keil
website, and it works fine.

Location:

Deliverables/D4.1

Files:

• IntelHex.ml (modified) (2 diffs)
• Util.ml (modified) (1 diff)

Deliverables/D4.1/IntelHex.ml

@@ -198 +198 @@
       [] -> (cry, bs)
     | hd::tl ->
-        aux (full_add hd bs cry) tl
+        aux (half_add hd bs) tl
   in
     aux (false, (vect_of_int 0 `Eight)) r
@@ -227 +227 @@
 
 (* DPM: Debug
-   let Some entry = intel_hex_format_of_string ":00000001FF";;
+   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];;
+   let Some entry = intel_hex_format_of_string ":02000004FFFFFC";;
    checksum_valid $ List.hd entry;;
 *)

Deliverables/D4.1/Util.ml

@@ -6 +6 @@
 
 let flip f a b = f b a
+;;
+
+let fst (a, b) = a
+;;
+
+let snd (a, b) = b
 ;;