All pull requests

Pull requests

• Warn when inadequate user-provided triggers are dropped

  #1375·hra687261 opened Oct 15, 2026Contributor·

  ·
  1

• Add the SMT-LIB FPA theory prelude

  #1371·hra687261 opened Sep 18, 2026Contributor·

  ·
  2

• Flatten integer and real literals ((- x) instead of (0 - x))

  #1369·hra687261 opened Sep 1, 2026Contributor·

  ·

• Bump the OCaml compiler versions in the CI

  #1366·Halbaroth opened Jul 8, 2026Collaborator·

  ·
  11

• Support reasoning over most the SMT-LIB FPA theory symbols

  #1364·hra687261 opened Jun 24, 2026Contributor·

  ·
  79

• Make it possible to enable/disable theories (and load their preludes or not) using the set-option command in SMT-LIB files

  #1363·hra687261 opened Jun 18, 2026Contributor·

  ·

• Refactor JS worker for Try Why3

  javascript
  #1351·Halbaroth opened Apr 30, 2026Collaborator·

  ·

• Add dolmen binary in Nix shell

  build
  #1338·Halbaroth opened Feb 17, 2026Collaborator·

  ·

• refactor(bv): Simplify bv2nat mapping using right shifts

  #1320·bclement-ocp opened Apr 22, 2025Collaborator·

  ·
  2

• Fix build with dune package management

  #1319·Sudha247 opened Apr 18, 2025·

  ·
  4

• Fix 1023

  bugoptimization
  #1291·Halbaroth opened Feb 11, 2025Collaborator·

  ·
  28

• [Draft] Add imperative mode

  #1288·Halbaroth opened Feb 6, 2025Collaborator·

  ·

• Fix 1243

  #1282·Halbaroth opened Jan 30, 2025Collaborator·

  ·
  1

• Use constant terms as identifiers in names and variables

  clean-upfrontend
  #1281·Halbaroth opened Jan 30, 2025Collaborator·

  ·
  5

• Replace fresh terms by abstract values in all subterms

  #1280·Halbaroth opened Jan 28, 2025Collaborator·

  ·
  1

• Fix issue 929

  bugmodels
  #1209·Halbaroth opened Aug 14, 2024Collaborator·

  ·
  1

  23

• feat(shostak): Transparent abstracted constants

  #1198·bclement-ocp opened Aug 7, 2024Collaborator·

  ·
  14

• Update docs: free releases licensed under Apache 2.0

  #1116·tuohy opened May 13, 2024·

  ·

• Support get-value statement

  enhancementfrontendmodels
  #1032·Halbaroth opened Jan 26, 2024Collaborator·

  ·
  53

• Partial documentation of SatML

  documentation
  #1026·Halbaroth opened Jan 16, 2024Collaborator·

  ·

• Incremental version of the solver

  #1000·Stevendeo opened Dec 4, 2023Member·

  ·
  81

• WIP: Nix for CI?

  #997·bclement-ocp opened Dec 4, 2023Collaborator·

  ·
  1

• DO NOT MERGE: Flambda tests

  #928·Stevendeo opened Nov 8, 2023Member·

  ·
  5

• Preserve mapping between old and new representatives with AC symbols

  backlog
  #823·bclement-ocp opened Sep 15, 2023Collaborator·

  ·
  1

  1

• Check ground models with Dolmen

  build
  #790·Halbaroth opened Aug 24, 2023Collaborator·

  ·

  · 2.7.0
  1