Ignore:
Timestamp:
Mar 3, 2011, 6:27:12 PM (10 years ago)
Author:
ayache
Message:

Paris update in D2.2.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051/src/common/intValue.ml

    r619 r630  
    117117
    118118  (* Signed value of [a]. *)
    119   let signed a = sub_big_int (cast a) half_bound
     119  let signed a =
     120    let a = cast a in
     121    if lt_big_int a half_bound then a
     122    else sub_big_int a _mod
    120123
    121124  let signed_op op a b = op (signed a) (signed b)
Note: See TracChangeset for help on using the changeset viewer.