Changeset 2620 for extracted/floats.ml


Ignore:
Timestamp:
Feb 6, 2013, 5:03:20 PM (7 years ago)
Author:
campbell
Message:

Sufficient hacking to run the extracted Clight semantics.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/floats.ml

    r2601 r2620  
    4646
    4747type float (* AXIOM TO BE REALIZED *)
    48 
     48(*
    4949(** val fzero : float **)
    5050let fzero =
     
    106106let eq_dec0 =
    107107  failwith "AXIOM TO BE REALIZED"
    108 
     108*)
Note: See TracChangeset for help on using the changeset viewer.