Changeset 648 for Deliverables/D3.1/C-semantics/Csem.ma
- Timestamp:
- Mar 7, 2011, 7:00:08 PM (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Deliverables/D3.1/C-semantics/Csem.ma
r638 r648 74 74 [ Tint _ _ ⇒ 75 75 match v with 76 [ Vint n ⇒ Some ? (Vint ( negation_bvwordsize n))77 | _ =>None ?76 [ Vint n ⇒ Some ? (Vint (two_complement_negation wordsize n)) 77 | _ ⇒ None ? 78 78 ] 79 79 | Tfloat _ ⇒
Note: See TracChangeset
for help on using the changeset viewer.