| controller_itp: do not catch exceptions in callback after a transformation success |
|
More...
|
almost 4 years ago
|
| controller_itp: do not catch exceptions in callback after a transformation success |
|
More...
|
almost 4 years ago
|
| fix sessions |
|
More...
|
almost 4 years ago
|
| fix bench: Alt-Ergo precise version 2.3.3 is required |
|
More...
|
almost 4 years ago
|
| Merge branch 'hide_unused' into 'master' |
|
More...
|
almost 4 years ago
|
| Do not print unused symbols in tasks in the IDE |
|
More...
|
almost 4 years ago
|
| Merge branch 'fix-configure-detection-camlzip' into 'master' |
|
More...
|
almost 4 years ago
|
| Merge branch 'micro-python-pow' into 'master' |
|
More...
|
almost 4 years ago
|
| configure: fixed detection of camlzip |
|
More...
|
almost 4 years ago
|
| configure: fixed detection of camlzip |
|
More...
|
almost 4 years ago
|
| micro-Python: added support for built-in function pow |
|
More...
|
almost 4 years ago
|
| Merge branch 'issue597' into 'master' |
|
More...
|
almost 4 years ago
|
| Expr: do not subst formulas into terms (fix #597) |
|
More...
|
almost 4 years ago
|
| doc: small presentation fixes |
|
More...
|
almost 4 years ago
|
| doc: fixes about the MLCFG front-end |
|
More...
|
almost 4 years ago
|
| Merge branch 'inferloop-oracles' into 'master' |
|
More...
|
almost 4 years ago
|
| Add a bench category for inferloop. |
|
More...
|
almost 4 years ago
|
| Fix some obsolete oracles. |
|
More...
|
almost 4 years ago
|
| Avoid OCaml warning. |
|
More...
|
almost 4 years ago
|
| Merge branch 'fix_define_funs_rec' into 'master' |
|
More...
|
almost 4 years ago
|
| Some documentation in driver |
|
More...
|
almost 4 years ago
|
| Merge branch '594-anomaly-model-term-has-no-location' into 'master' |
|
More...
|
almost 4 years ago
|
| Fix define-funs-rec |
|
More...
|
almost 4 years ago
|
| Use interfaces in cursor_examples.mlw |
|
More...
|
almost 4 years ago
|
| Refactor use of Printer.printer_mapping |
|
More...
|
almost 4 years ago
|
| Always select last non-empty counterexample in Itp_server (for now) |
|
More...
|
almost 4 years ago
|
| Don't create empty CE when CEs aren't requested |
|
More...
|
almost 4 years ago
|
| Move get_counterexmp from Inlining to Driver |
|
More...
|
almost 4 years ago
|
| Merge branch 'fix_smt_par_printer_ambiguous_application' into 'master' |
|
More...
|
almost 4 years ago
|
| Fix copyright headers. |
|
More...
|
almost 4 years ago
|
