Changeset 2780 for driver/IntelHex.ml
 Timestamp:
 Mar 6, 2013, 2:59:22 AM (7 years ago)
 File:

 1 edited
Legend:
 Unmodified
 Added
 Removed

driver/IntelHex.ml
r2779 r2780 14 14 15 15 let int_of_vect v = 16 Extracted.Glue.int_of_matitanat (Extracted. BitVector.bv_to_nat(Extracted.Glue.matitanat_of_int 0 (* dummy *)) v);;16 Extracted.Glue.int_of_matitanat (Extracted.Arithmetic.nat_of_bitvector (Extracted.Glue.matitanat_of_int 0 (* dummy *)) v);; 17 17 18 18 (* CSC: can overflow!!! *) … … 20 20 let hex_string_of_vect v = Printf.sprintf "%0 2X" (int_of_vect v);; 21 21 22 let complement v = Extracted. Arithmetic.two_complement_negation(Extracted.Glue.matitanat_of_int 8) v22 let complement v = Extracted.BitVector.negation_bv (Extracted.Glue.matitanat_of_int 8) v 23 23 24 24 let divide_with_remainder x y = (x / y, x mod y) … … 34 34 35 35 let vect_of_int k n = 36 nat_to_bv (Extracted.Glue.matitanat_of_int (size_lookup n)) k 36 Extracted.Vector.reverse 37 (Extracted.Glue.matitanat_of_int (size_lookup n)) 38 (nat_to_bv (Extracted.Glue.matitanat_of_int (size_lookup n)) k) 37 39 38 40 let from_word v = … … 282 284 else 283 285 let code = WordMap.find (vect_of_int address `Sixteen) code_mem in 286 (*prerr_string ("M(" ^ string_of_int address ^ "=" ^ string_of_int (int_of_vect (vect_of_int address `Sixteen)) ^ ")" ^ hex_string_of_vect code ^ " ");*) 284 287 aux (chunk  1) (address + 1) start_address (code::rbuff) lbuff 285 288 in
Note: See TracChangeset
for help on using the changeset viewer.