source: extracted/PROBLEMS @ 2817

Last change on this file since 2817 was 2773, checked in by sacerdot, 7 years ago
  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 size: 325 bytes
Line 
1=========================
2AXIOMS TO BE IMPLEMENTED:
3=========================
4
5In order to plug the untrusted code, the following files needs manual
6intervention:
7
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 TracBrowser for help on using the repository browser.