Ignore:
Timestamp:
Mar 7, 2011, 7:00:08 PM (9 years ago)
Author:
campbell
Message:

Oops, wrong bitvector negation.

File:
1 edited

Legend:

Unmodified
Added
Removed

  • Deliverables/D3.1/C-semantics/Csem.ma

    r638 r648  
    7474  [ Tint _ _ ⇒
    7575      match v with
    76       [ Vint n ⇒ Some ? (Vint (negation_bv wordsize n))
    77       | _ => None ?
     76      [ Vint n ⇒ Some ? (Vint (two_complement_negation wordsize n))
     77      | _ ⇒ None ?
    7878      ]
    7979  | Tfloat _ ⇒
Note: See TracChangeset for help on using the changeset viewer.