| Merge branch 'insertion_sort_list' into 'master' |
|
More...
|
about 22 hours ago
|
| examples/insertion_sort_list: add a couple of variants |
|
More...
|
about 23 hours ago
|
| Merge branch 'insertion-sort-list' into 'master' |
|
More...
|
4 days ago
|
| new example: insertion sort on lists, variant |
|
More...
|
5 days ago
|
| Merge branch 'compat-5.4-using-ppxlib' into 'master' |
|
More...
|
12 days ago
|
| Merge branch 'ressurect_sudoko_js' into 'master' |
|
More...
|
14 days ago
|
| Merge branch 'js-nat-to-zarith' into 'master' |
|
More...
|
14 days ago
|
| Merge branch '891-why3-pp-add-support-for-val-declarations' into 'master' |
|
More...
|
14 days ago
|
| pp of let/val program function (spec only) |
|
More...
|
14 days ago
|
| Merge branch '917-improve-why3-pp' into 'master' |
|
More...
|
18 days ago
|
| minor improvements in Why3 pp latex output |
|
More...
|
18 days ago
|
| Merge branch 'fix_alter_ergo_driver_no_ae_sqrt_real' into 'master' |
|
More...
|
18 days ago
|
| Merge branch 'avoid_assert_failure_on_session_merging' into 'master' |
|
More...
|
19 days ago
|
| Merge branch 'produce_special_float_values_in_model' into 'master' |
|
More...
|
20 days ago
|
| Produce special float values in counterexamples |
|
More...
|
20 days ago
|
| fix issue with file Ids in sessions |
|
More...
|
20 days ago
|
| There is no symbol `ae.sqrt_real` parsed by Alt-Ergo 2.6 |
|
More...
|
20 days ago
|
| [Debug_option] Use default ppxlib ast for better compatibility |
|
More...
|
20 days ago
|
| Adapt ppx_debug_optim to ppxlib |
|
More...
|
25 days ago
|
| Merge branch 'topic/kanig-905-altergo' into 'master' |
|
More...
|
25 days ago
|
| Alt-Ergo 2.6 driver, functions on reals, float rounding |
|
More...
|
25 days ago
|
| update release doc |
|
More...
|
27 days ago
|
| Merge branch 'bugfix/v1.8' |
|
More...
|
27 days ago
|
| Version 1.8.1 |
|
More...
|
27 days ago
|
| update headers |
|
More...
|
27 days ago
|
| prepare release |
|
More...
|
27 days ago
|
| do not map IEEE floats theory to Alt-Ergo's own theory |
|
More...
|
about 1 month ago
|
| Merge branch '905-alt-ergo-driver-creates-inconsistencies-for-floating-points' into 'master' |
|
More...
|
about 1 month ago
|
| Merge branch '898-ide-file-path-attributes-on-modules-containing-are-not-normalized' into 'master' |
|
More...
|
about 1 month ago
|
| ensures paths are normalized for theories and files |
|
More...
|
about 1 month ago
|
