Changeset 717 for src/Clight/Csem.ma


Ignore:
Timestamp:
Mar 29, 2011, 5:54:36 PM (9 years ago)
Author:
campbell
Message:

Clean up Clight examples; better temporary definition of multiply.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/Clight/Csem.ma

    r700 r717  
    183183      match v1 with
    184184      [ Vint n1 ⇒ match v2 with
    185         [ Vint n2 ⇒ Some ? (Vint (\snd (split ? wordsize wordsize (multiplication ? n1 n2))))
     185          [ Vint n2 ⇒ Some ? (Vint (mul n1 n2))
     186(*        [ Vint n2 ⇒ Some ? (Vint (\snd (split ? wordsize wordsize (multiplication ? n1 n2))))*)
    186187        | _ ⇒ None ? ]
    187188      | _ ⇒ None ? ]
Note: See TracChangeset for help on using the changeset viewer.