Changeset 2773 for extracted/PROBLEMS


Ignore:
Timestamp:
Mar 4, 2013, 10:03:33 AM (7 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
  • extracted/PROBLEMS

    r2743 r2773  
    1 ================
    2 EXTRACTION BUGS:
    3 ================
    4 
    5 1. In some situations the types implemented with = __ in the .mli
    6    are less general than those in the .ml
    7 
    81=========================
    92AXIOMS TO BE IMPLEMENTED:
     
    136intervention:
    147
    15 a) compiler.ml
    16 b) set_adt needs to be removed to favour the untrusted implementation
     8a) compiler.ml: the two failwith must be replaced with calls to the
     9   untrusted code
     10b) the build script removed set_adt to favour the untrusted implementation
Note: See TracChangeset for help on using the changeset viewer.