Changeset 3043 for driver


Ignore:
Timestamp:
Mar 29, 2013, 6:38:26 PM (7 years ago)
Author:
sacerdot
Message:

New major extraction that should have solved all remaining issues.
As tests/PROBLEMI shows, we still have some bugs with:

a) initialization of global data (regression)
b) function pointers call

Location:
driver
Files:
1 added
1 edited

Legend:

Unmodified
Added
Removed
  • driver/printer.ml

    r3014 r3043  
    5959 ; print_Op2 = print_op2
    6060 ; print_nat = (fun n -> string_of_int (Extracted.Glue.int_of_matitanat n))
     61 ; print_bitvector = (fun _ n -> string_of_int (Extracted.Glue.int_of_bitvector n))
    6162 }
    6263
Note: See TracChangeset for help on using the changeset viewer.