Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 15, 2025

• Updated MacOS CircleCI resource class

  Tomaqa

  committed
  e4c8030

  Copy full SHA for e4c8030

Commits on Dec 12, 2025

• Flushing the output after printing resolution proof

  Tomaqa

  committed
  775b2d7

  Copy full SHA for 775b2d7

Commits on Nov 27, 2025

• Added (protected) eraseTermName into TermNames

  Tomaqa

  committed
  94b8573

  Copy full SHA for 94b8573

Commits on Nov 24, 2025

• Tracking partitions is explicitly required by unsat cores and interpolation

  Tomaqa

  committed
  01e2ee9

  Copy full SHA for 01e2ee9

Commits on Nov 17, 2025

• Partially fixed regression tests with get-assignment if tracking partitions

  Show description for fe95a92
  Tomaqa

  committed
  fe95a92

  Copy full SHA for fe95a92

• Added :produce-assignments which implies tracking partitions

  Show description for a40fd7e
  Tomaqa

  committed
  a40fd7e

  Copy full SHA for a40fd7e

Commits on Nov 14, 2025

• Expose (install) ModelBuilder.h

  Tomaqa

  committed
  824a116

  Copy full SHA for 824a116

Commits on Nov 6, 2025

• Changed Logic::isBoolAtom to isBoolVar and added isLiteral

  Tomaqa

  committed
  c4fdfa6

  Copy full SHA for c4fdfa6

Commits on Nov 5, 2025

• Fixed tests and examples to explicitly enable producing models

  Tomaqa

  committed
  0688cb7

  Copy full SHA for 0688cb7

• Not producing models by default

  Tomaqa

  committed
  9d3a55e

  Copy full SHA for 9d3a55e

• Running regression tests in CI also in release modes

  Tomaqa

  committed
  5baade4

  Copy full SHA for 5baade4

Commits on Oct 31, 2025

• Refactored string functions in Logic and clarified the use of SMT-LIB2 format

  Tomaqa

  committed
  df81ce5

  Copy full SHA for df81ce5

• Renamed a parameter in Logic::printTerm and removed an unused one

  Tomaqa

  committed
  c64efa2

  Copy full SHA for c64efa2

Commits on Oct 23, 2025

• Removed extra newlines after error messages in regression test outputs

  Tomaqa

  committed
  273eaaf

  Copy full SHA for 273eaaf

• Exiting with error status if the Interpreter outputs an error

  Show description for 5b8b439
  Tomaqa

  committed
  5b8b439

  Copy full SHA for 5b8b439

Commits on Sep 16, 2025

• Introduced command line options that invoke get-* commands after each check-sat gracefully

  Tomaqa

  committed
  8bcb4b5

  Copy full SHA for 8bcb4b5

• Introduced command line options for producing models and unsat cores

  Tomaqa

  committed
  d0d96a8

  Copy full SHA for d0d96a8

• Checking also term names in NamedUnsatCore-s in unit tests

  Tomaqa

  committed
  08eb18e

  Copy full SHA for 08eb18e

• Added getting term names out of NamedUnsatCore-s

  Tomaqa

  committed
  58614ec

  Copy full SHA for 58614ec

Commits on Jul 24, 2025

• Fixed unit tests for stopping solvers and made them not depend on concrete runtime

  Tomaqa

  committed
  7cef5bc

  Copy full SHA for 7cef5bc

• Basic unit tests for stopping solvers

  Tomaqa

  committed
  9bcd732

  Copy full SHA for 9bcd732

• Unified stopping of solvers

  Show description for 8b9608a
  Tomaqa

  committed
  8b9608a

  Copy full SHA for 8b9608a

Commits on Jul 18, 2025

• Removed unused and misleading init flag from CoreSMTSolver

  Tomaqa

  committed
  6722f3b

  Copy full SHA for 6722f3b

Commits on Jun 16, 2025

• Updated README and copyright years

  Tomaqa

  committed
  518adb0

  Copy full SHA for 518adb0

• Post-release update

  Tomaqa

  committed
  28d5eaf

  Copy full SHA for 28d5eaf

• Updated changelog

  Tomaqa

  committed
  34bc1b8

  Copy full SHA for 34bc1b8

Commits on Jun 12, 2025

• Included SMT-LIB unsat-core options into command-line options

  Tomaqa

  committed
  e9262a5

  Copy full SHA for e9262a5

Commits on Jun 6, 2025

• Post-release update

  Tomaqa

  committed
  9213b55

  Copy full SHA for 9213b55

• Updated changelog and version

  Tomaqa

  committed
  3a90e58

  Copy full SHA for 3a90e58

• Fix assertion violation in split clauses

  Show description for 7d5fa91
  blishko

  committed
  7d5fa91

  Copy full SHA for 7d5fa91

• Substitutions: Add detection of conflict in arithmetic substitutions

  Show description for f8c898d
  blishko

  committed
  f8c898d

  Copy full SHA for f8c898d

Commits on Apr 22, 2025

• Substitutions: Add one more transitive closure computation at the end

  Show description for a14fd65
  blishko

  committed
  a14fd65

  Copy full SHA for a14fd65

Commits on Apr 20, 2025

• Core: Fix split clause handling

  Show description for b7f0443
  blishko

  committed
  b7f0443

  Copy full SHA for b7f0443

Commits on Apr 11, 2025

• Polynomial: Add helper function to multiply by a constant

  blishko

  committed
  d80f673

  Copy full SHA for d80f673

• Unify transformations between PTRef and polynomial representations

  blishko

  committed
  f0f2e35

  Copy full SHA for f0f2e35

Pagination

Previous

Next