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/clight/clightInterpret.ml

    r624 r630  
    296296
    297297let eval_div = function
    298 (*
    299298  | ((v1,t1),(v2,t2)) when t1=t2 && is_int_type t1 -> Value.div v1 v2
    300 *)
    301   (* TODO: temporary hack! *)
    302   | ((v1,t1),(v2,t2)) when t1=t2 && is_int_type t1 -> Value.divu v1 v2
    303299  | ((v1,t1),(v2,t2)) when t1=t2 && is_float_type t1 ->
    304300      assert false (*Not supported*)
Note: See TracChangeset for help on using the changeset viewer.