Commits

Branch selector

 next

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 21, 2025

• Merge pull request #1335 from hra687261/print_errors

  Show description for 4d1e17e
  hra687261

  authored
  4d1e17e

  Copy full SHA for 4d1e17e

Commits on Oct 20, 2025

• Register exn printer for Errors.Error _

  hra687261

  committed
  d4c14ee

  Copy full SHA for d4c14ee

Commits on Sep 9, 2025

• Upgrade dolmen version

  Show description for 22f29ed
  bclement-ocp

  committed
  22f29ed

  Copy full SHA for 22f29ed

Commits on Sep 3, 2025

• Do not leak non-abstract names in model

  Show description for 5e6f31a
  bclement-ocp

  committed
  5e6f31a

  Copy full SHA for 5e6f31a

Commits on Aug 19, 2025

• fix: Disable "axiom replaced with" warning (#1328)

  Show description for e0dfc35
  bclement-ocp

  authored
  e0dfc35

  Copy full SHA for e0dfc35

Commits on Jul 22, 2025

• The `Firebug` module of `js_of_ocaml` is deprecated (#1327)

  Show description for 21da95d
  Halbaroth

  authored
  21da95d

  Copy full SHA for 21da95d

Commits on Jun 23, 2025

• Bump nixpkgs to 25.05 (#1326)

  Show description for 53d7ab3
  Halbaroth

  authored
  53d7ab3

  Copy full SHA for 53d7ab3

Commits on Apr 30, 2025

• Add back the `Loc` module

  Show description for 9780605
  bclement-ocp

  committed
  9780605

  Copy full SHA for 9780605

Commits on Apr 22, 2025

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

  Show description for 8c717b4
  bclement-ocp

  committed
  8c717b4

  Copy full SHA for 8c717b4

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

  Show description for a22d216
  bclement-ocp

  committed
  a22d216

  Copy full SHA for a22d216

Commits on Apr 15, 2025

• Report the number of steps that trigger the bound (#1317)

  bclement-ocp

  authored
  adaa8ce

  Copy full SHA for adaa8ce

• fix: Break potentially infinite loop with steps counter (#1316)

  Show description for 3153e7e
  bclement-ocp

  authored
  3153e7e

  Copy full SHA for 3153e7e

Commits on Apr 14, 2025

• Move guard creation from Satml_frontend to Satml (#1313)

  Show description for 292f306
  bclement-ocp

  authored
  292f306

  Copy full SHA for 292f306

Commits on Mar 24, 2025

• Remove sphinx-markdown-tables (#1312)

  Halbaroth

  authored
  5450acf

  Copy full SHA for 5450acf

• Update the installation documentation (#1307)

  Show description for d7bac42
  Halbaroth

  authored
  d7bac42

  Copy full SHA for d7bac42

• feat: Interactive prompt in interactive mode (#1310)

  Show description for 5f65a22
  bclement-ocp

  authored
  5f65a22

  Copy full SHA for 5f65a22

• chore: Add .git-blame-ignore-revs (#1311)

  Show description for 460ee1b
  bclement-ocp

  authored
  460ee1b

  Copy full SHA for 460ee1b

• Remove Tableaux-CDCL solver (#1309)

  Show description for 59fd0c2
  bclement-ocp

  authored
  59fd0c2

  Copy full SHA for 59fd0c2

Commits on Mar 19, 2025

• Create a custom ADT for Th_util.answer (#1304)

  Show description for acc5b48
  Halbaroth

  authored
  acc5b48

  Copy full SHA for acc5b48

Commits on Mar 10, 2025

• packaging: Avoid Cmdliner 2.0 (#1308)

  Show description for 6a47b13
  bclement-ocp

  authored
  6a47b13

  Copy full SHA for 6a47b13

Commits on Mar 5, 2025

• Add a test to cover corner cases in `add_predicate` (#1305)

  Show description for 7351948
  Halbaroth

  authored
  7351948

  Copy full SHA for 7351948

Commits on Mar 3, 2025

• Remove labels on Symbols and Xliteral (#1266)

  Show description for f48cb88
  Halbaroth

  authored
  f48cb88

  Copy full SHA for f48cb88

Commits on Feb 24, 2025

• Remove the `Record` theory (#1095)

  Show description for 2c6d421
  Halbaroth

  authored
  2c6d421

  Copy full SHA for 2c6d421

Commits on Feb 19, 2025

• Remove get_first_interpretation adn get_every_interpretation (#1299)

  Show description for 76deb5a
  Halbaroth

  authored
  76deb5a

  Copy full SHA for 76deb5a

• Always raise `Unsat` in `Satml.assume` if the environment is already (#1301)

  Show description for d306f9f
  Halbaroth

  authored
  d306f9f

  Copy full SHA for d306f9f

Commits on Feb 17, 2025

• Add assertion levels in SatML (#1297)

  Show description for cbe944f
  Halbaroth

  authored
  cbe944f

  Copy full SHA for cbe944f

• Fix warnings (#1298)

  Show description for b7777e1
  Halbaroth

  authored
  b7777e1

  Copy full SHA for b7777e1

Commits on Feb 11, 2025

• Fix dependencies and `dune utop` (#1292)

  Show description for 837293e
  Halbaroth

  authored
  837293e

  Copy full SHA for 837293e

Commits on Feb 7, 2025

• Escape quotes when printing SMT-LIB error messages (#1289)

  Show description for 465a4b2
  bclement-ocp

  authored
  465a4b2

  Copy full SHA for 465a4b2

Commits on Feb 6, 2025

• Remove get file (#1286)

  Show description for 6125ee1
  Halbaroth

  authored
  6125ee1

  Copy full SHA for 6125ee1

• Use Dolmen locations in recoverable/fatal errors (#1284)

  Halbaroth

  authored
  d1de99e

  Copy full SHA for d1de99e

Commits on Feb 4, 2025

• Remove Preprocess status in Frontend (#1285)

  Show description for 1b7fd77
  Halbaroth

  authored
  1b7fd77

  Copy full SHA for 1b7fd77

Commits on Feb 3, 2025

• Use OCaml 5.3.0 in CI

  

  Halbaroth

  authored and

  bclement-ocp

  committed
  3198371

  Copy full SHA for 3198371

Commits on Jan 28, 2025

• Disable flaky qfbv-timeout test

  Show description for 0be6928
  bclement-ocp

  committed
  0be6928

  Copy full SHA for 0be6928

Commits on Jan 27, 2025

• Documentation of Arrays_rel (#1268)

  Halbaroth

  authored
  2f10948

  Copy full SHA for 2f10948

Pagination

Previous

Next