- 01 Feb, 2023 2 commits
-
-
MARCHE Claude authored
compactify the output of the bench-ce script See merge request !804
-
MARCHE Claude authored
-
- 31 Jan, 2023 2 commits
-
-
MARCHE Claude authored
Resolve "Term size explosion in reduction engine" Closes #703 See merge request !756
-
MARCHE Claude authored
-
- 30 Jan, 2023 1 commit
-
-
MARCHE Claude authored
-
- 26 Jan, 2023 2 commits
-
-
Benjamin Terra-Jorge authored
Forbid using different names for constructors and fields when substituting definitions See merge request !799
-
Benjamin Terra-Jorge authored
-
- 23 Jan, 2023 12 commits
-
-
François Bobot authored
Fix tester for 2.6par solver See merge request !798
-
François Bobot authored
Fix tester in adt for only 2.6 compliant solver
-
Benjamin Terra-Jorge authored
Clone defined logical symbols Closes #666 See merge request !680
-
Benjamin Terra-Jorge authored
-
Benjamin Terra-Jorge authored
-
Benjamin Terra-Jorge authored
-
Benjamin Terra-Jorge authored
-
Benjamin Terra-Jorge authored
-
Benjamin Terra-Jorge authored
-
Benjamin Terra-Jorge authored
-
Benjamin Terra-Jorge authored
-
Benjamin Terra-Jorge authored
-
- 22 Jan, 2023 4 commits
-
-
Jacques-Henri Jourdan authored
SMTv2 printer: use as keyword for any V26 solver, because data types may need this. See merge request !797
-
Jacques-Henri Jourdan authored
Controller_itp: don't catch Not_found, so that the backtrace for this... See merge request !796
-
Jacques-Henri Jourdan authored
-
Jacques-Henri Jourdan authored
Controller_itp: don't catch Not_found, so that the backtrace for this exception is visibile in debug mode.
-
- 20 Jan, 2023 2 commits
-
-
MARCHE Claude authored
complements on BDDinfer See merge request !795
-
MARCHE Claude authored
support for unary -, div and mod in logic support for <-> in logic support for calls inside conditions of if and while support for `check` fixed compilation warnings
-
- 19 Jan, 2023 1 commit
-
-
François Bobot authored
[Colibri2] add steps See merge request !787
-
- 16 Jan, 2023 6 commits
-
-
MARCHE Claude authored
Fail for line numbers out of bounds only in 32-bits architectures See merge request !792
-
-
MARCHE Claude authored
support for logic defs + decompile translations bool <-> prop See merge request !794
-
MARCHE Claude authored
-
Guillaume Melquiond authored
Fix conjunctions in Isabelle (fix #491). See merge request !793
-
-
- 13 Jan, 2023 3 commits
-
-
Guillaume Melquiond authored
Use OCaml 5.0.0 as the latest compiler in the continuous integration. See merge request !791
-
Guillaume Melquiond authored
-
Guillaume Melquiond authored
-
- 11 Jan, 2023 1 commit
-
-
MARCHE Claude authored
Resolve "Regressions with Gappa" Closes #724 See merge request !788
-
- 10 Jan, 2023 1 commit
-
-
MARCHE Claude authored
-
- 09 Jan, 2023 3 commits
-
-
Jacques-Henri Jourdan authored
Support for the match construct in smtv2 printer. See merge request !779
-
Jacques-Henri Jourdan authored
-
Jacques-Henri Jourdan authored
-