| Merge branch '590-unlisted-write-effect' into 'master' |
|
More...
|
over 3 years ago
|
| Merge branch 'opam-ppx_deriving' into 'master' |
|
More...
|
over 3 years ago
|
| tentative fix for #590 |
|
More...
|
over 3 years ago
|
| tentative fix for #590 |
|
More...
|
over 3 years ago
|
| Merge branch 'why3-mode' into 'master' |
|
More...
|
over 3 years ago
|
| Mark ppx_deriving as an explicit optional dependency (fix #596). |
|
More...
|
over 3 years ago
|
| Mark ppx_deriving as an explicit optional dependency (fix #596). |
|
More...
|
over 3 years ago
|
| Make why3-mode a major mode derived from prog-mode. |
|
More...
|
over 3 years ago
|
| Adapt to Isabelle2021-1 |
|
More...
|
over 3 years ago
|
| Merge branch 'alt-ergo-exp' into 'master' |
|
More...
|
over 3 years ago
|
| U622-016 Update Alt-Ergo driver |
|
More...
|
over 3 years ago
|
| Merge branch 'fixed-python-lexer' into 'master' |
|
More...
|
over 3 years ago
|
| fixed Python lexer |
|
More...
|
over 3 years ago
|
| Fix API usage in examples |
|
More...
|
over 3 years ago
|
| Use the user-configurated libdir and datadir |
|
More...
|
over 3 years ago
|
| Save libdir and datadir in why3.conf |
|
More...
|
over 3 years ago
|
| micro-Python: new example |
|
More...
|
over 3 years ago
|
| Merge branch 'infer/fix_bool' into 'master' |
|
More...
|
over 3 years ago
|
| Merge branch 'session/update_power' into 'master' |
|
More...
|
over 3 years ago
|
| update session with newer provers |
|
More...
|
over 3 years ago
|
| fix assertion failure |
|
More...
|
over 3 years ago
|
| Allow cloning defined logic symbols |
|
More...
|
almost 4 years ago
|
| Merge branch 'fix/print_back_hypotheses' into 'master' |
|
More...
|
almost 4 years ago
|
| Print again the hypotheses in task, that were wrongly removed by a former commit |
|
More...
|
almost 4 years ago
|
| Merge branch 'continue_strategy_when_internal_failure' into 'master' |
|
More...
|
almost 4 years ago
|
| in case of internal failure on a prover call, strategy should continue |
|
More...
|
almost 4 years ago
|
| in case of internal failure on a prover call, strategy should continue |
|
More...
|
almost 4 years ago
|
| Merge branch 'do_not_catch_callback_exceptions' into 'master' |
|
More...
|
almost 4 years ago
|
| 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
|
