Changeset 2960 for driver


Ignore:
Timestamp:
Mar 26, 2013, 4:51:40 PM (7 years ago)
Author:
sacerdot
Message:

New extraction, it diverges in RTL execution now.

Location:
driver
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • driver/cerco.ml

    r2934 r2960  
    5757  | Error m -> failwith (Error.errormsg m)
    5858in
     59prerr_endline "GOO1";
    5960let labelled = output.Extracted.Compiler.c_labelled_clight in
    6061let l_costmap = output.Extracted.Compiler.c_clight_cost_map in
  • driver/error.ml

    r2826 r2960  
    7878| FramesEmptyOnPop -> "FramesEmptyOnPop"
    7979| RepeatedCostLabel0 -> "RepeatedCostLabel0"
     80| StackOverflow -> "StackOverflow"
    8081
    8182
Note: See TracChangeset for help on using the changeset viewer.