| Json list and record correct empty values. |
|
More...
|
almost 7 years ago
|
| Order of arguments in transformation error messages. |
|
More...
|
almost 7 years ago
|
| Fixed transformation proved update |
|
More...
|
almost 7 years ago
|
| Patch on lexer.mli to avoid errors in make. |
|
More...
|
almost 7 years ago
|
| Added default value for timeout (as done in former session). |
|
More...
|
almost 7 years ago
|
| fix CE bench for using official CVC4 1.5 release |
|
More...
|
almost 7 years ago
|
| "Extraction: |
|
More...
|
almost 7 years ago
|
| union-find example (wip) |
|
More...
|
almost 7 years ago
|
| Exception for print. |
|
More...
|
almost 7 years ago
|
| Added list of terms for instantiate. |
|
More...
|
almost 7 years ago
|
| Destruct now possible on implications. |
|
More...
|
almost 7 years ago
|
| Support for CVC4 1.5 |
|
More...
|
almost 7 years ago
|
| Launching provers on file/trans/theory node allowed again. |
|
More...
|
almost 7 years ago
|
| ITP does not use drivers anymore for printing task |
|
More...
|
almost 7 years ago
|
| extraction: fixed detection of functors |
|
More...
|
almost 7 years ago
|
| extraction: fixed global names with --modular |
|
More...
|
almost 7 years ago
|
| Update session using Coq (in progress) |
|
More...
|
almost 7 years ago
|
| Extraction: functors (wip) |
|
More...
|
almost 7 years ago
|
| Extraction: path for definitions inside sub-modules |
|
More...
|
almost 7 years ago
|
| extraction: fixed names for toplevel definitions (wip) |
|
More...
|
almost 7 years ago
|
| Simplified the focus_on_label registering. |
|
More...
|
almost 7 years ago
|
| Improved printing on tactics errors (ongoing) |
|
More...
|
almost 7 years ago
|
| Extraction of sub-modules (wip) |
|
More...
|
almost 7 years ago
|
| Fix problem with sanitizer that would prevent = reparsing because of "infix =" naming. |
|
More...
|
almost 7 years ago
|
| Create a tag only once. Repeating this creation causes segmentation faults and raises Gtk exceptions. |
|
More...
|
almost 7 years ago
|
| minor ungoing improvements to exception raising and error message printing. |
|
More...
|
almost 7 years ago
|
| Removing eprintf |
|
More...
|
almost 7 years ago
|
| Adding documentation of transformation after their failure. Adding catching of an exception. |
|
More...
|
almost 7 years ago
|
| help on specific transformation. |
|
More...
|
almost 7 years ago
|
| minor, removed warning |
|
More...
|
almost 7 years ago
|
