Changeset 2773 for driver/exec.ml


Ignore:
Timestamp:
Mar 4, 2013, 10:03:33 AM (8 years ago)
Author:
sacerdot
Message:
  1. everything extracted again after all bugs in Matita's extraction have been fixed. No more need for manual patching
  2. new extraction after file reorganization (by James)
File:
1 edited

Legend:

Unmodified
Added
Removed
  • driver/exec.ml

    r2721 r2773  
    22
    33let rec run g s =
    4   (match Extracted.Cexec.is_final0 s with
     4  (match Extracted.Cexec.is_final s with
    55  | Extracted.Types.None ->
    66    (match Extracted.Cexec.exec_step g s with
     
    2525let OK mid = Extracted.Compiler.front_end cl in
    2626let rtlabs = Extracted.Types.snd mid in
    27 let g = Extracted.Cexec.make_global0 cl in
    28 let OK s0 = Extracted.Cexec.make_initial_state0 cl in
     27let g = Extracted.Cexec.make_global cl in
     28let OK s0 = Extracted.Cexec.make_initial_state cl in
    2929let r = run g s0 in
    3030exit (bv_to_int r)
Note: See TracChangeset for help on using the changeset viewer.