| Merge branch 'coma_smarter_scc' into 'master' |
|
More...
|
about 1 month ago
|
| coma_logic: ignore fake dependencies in mutually recursive handlers |
|
More...
|
about 1 month ago
|
| Merge branch 'sqrt2_irrational_simplified' into 'master' |
|
More...
|
about 1 month ago
|
| sqrt 2 irrational simplified |
|
More...
|
about 1 month ago
|
| Merge branch 'sqrt2_irrational' into 'master' |
|
More...
|
about 1 month ago
|
| new example: sqrt 2 is irrational |
|
More...
|
about 1 month ago
|
| Merge branch 'structural_variants' into 'master' |
|
More...
|
about 2 months ago
|
| vc: extend default wf-ordering for algebraic variants |
|
More...
|
about 2 months ago
|
| Merge branch 'insertion_sort_list' into 'master' |
|
More...
|
about 2 months ago
|
| examples/insertion_sort_list: add a couple of variants |
|
More...
|
about 2 months ago
|
| Merge branch 'insertion-sort-list' into 'master' |
|
More...
|
2 months ago
|
| new example: insertion sort on lists, variant |
|
More...
|
2 months ago
|
| Merge branch 'compat-5.4-using-ppxlib' into 'master' |
|
More...
|
2 months ago
|
| Merge branch 'ressurect_sudoko_js' into 'master' |
|
More...
|
2 months ago
|
| Merge branch 'js-nat-to-zarith' into 'master' |
|
More...
|
2 months ago
|
| pp of let/val program function (spec only) |
|
More...
|
2 months ago
|
| Merge branch '891-why3-pp-add-support-for-val-declarations' into 'master' |
|
More...
|
2 months ago
|
| Merge branch '917-improve-why3-pp' into 'master' |
|
More...
|
2 months ago
|
| minor improvements in Why3 pp latex output |
|
More...
|
2 months ago
|
| Merge branch 'fix_alter_ergo_driver_no_ae_sqrt_real' into 'master' |
|
More...
|
2 months ago
|
| Merge branch 'avoid_assert_failure_on_session_merging' into 'master' |
|
More...
|
2 months ago
|
| Merge branch 'produce_special_float_values_in_model' into 'master' |
|
More...
|
3 months ago
|
| Produce special float values in counterexamples |
|
More...
|
3 months ago
|
| fix issue with file Ids in sessions |
|
More...
|
3 months ago
|
| There is no symbol `ae.sqrt_real` parsed by Alt-Ergo 2.6 |
|
More...
|
3 months ago
|
| [Debug_option] Use default ppxlib ast for better compatibility |
|
More...
|
3 months ago
|
| Adapt ppx_debug_optim to ppxlib |
|
More...
|
3 months ago
|
| Merge branch 'topic/kanig-905-altergo' into 'master' |
|
More...
|
3 months ago
|
| Alt-Ergo 2.6 driver, functions on reals, float rounding |
|
More...
|
3 months ago
|
| update release doc |
|
More...
|
3 months ago
|
