Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 5, 2025

• Merge pull request #821 from pysmt/fix_issue_819

  Show description for 4a59e6a
  mikand

  authored
  4a59e6a

  Copy full SHA for 4a59e6a

• Removed redundant except

  mikand

  committed
  9043805

  Copy full SHA for 9043805

• Fixed wrong class name

  mikand

  committed
  b10fedb

  Copy full SHA for b10fedb

• Fixed missing init parameter when probing functionality of Msat-based QE

  mikand

  committed
  0763d5c

  Copy full SHA for 0763d5c

Commits on May 27, 2025

• Merge pull request #768 from pysmt/fix-767

  Show description for bb26023
  mikand

  authored
  bb26023

  Copy full SHA for bb26023

• Merge pull request #812 from pysmt/fix_809

  Show description for 9cf1bd0
  mikand

  authored
  9cf1bd0

  Copy full SHA for 9cf1bd0

• Merge pull request #439 from pysmt/optimization

  Show description for d1a1a25
  mikand

  authored
  d1a1a25

  Copy full SHA for d1a1a25

Commits on May 23, 2025

• fix(parser): fix parser annotations

  Framba-Luca

  committed
  ddeedca

  Copy full SHA for ddeedca

• fix(test parser): fixed a test where annotations with : are considered like keyword-value instead of keyword-keyword

  Framba-Luca

  committed
  4ea90dd

  Copy full SHA for 4ea90dd

• minor fix

  Framba-Luca

  committed
  1c56620

  Copy full SHA for 1c56620

• Add last tests and cleanup

  Framba-Luca

  committed
  d190366

  Copy full SHA for d190366

Commits on May 22, 2025

• fix(optimsat): fixed optimsat on subsequent optimizations

  Framba-Luca

  committed
  93f3302

  Copy full SHA for 93f3302

Commits on May 21, 2025

• fix(test): skip optimsat in cnf test (and not only msat)

  Framba-Luca

  committed
  29e8353

  Copy full SHA for 29e8353

• Merge branch 'master' into optimization

  Framba-Luca

  committed
  8b3ea2f

  Copy full SHA for 8b3ea2f

• fix(optimsat): optimsat raises an exception when it is reused due to the incapability of removing an asserted goal. Also add some tests to check subsequent optimizations

  Framba-Luca

  committed
  965bde6

  Copy full SHA for 965bde6

• Merge pull request #806 from pysmt/fix_802

  Show description for bbfe2c5
  mikand

  authored
  bbfe2c5

  Copy full SHA for bbfe2c5

• Merge pull request #808 from pysmt/z3_version_4_15

  Show description for ac64b84
  mikand

  authored
  ac64b84

  Copy full SHA for ac64b84

• fix(goal): removed gpmpy2 check in max_smt goal since now it is using Int and Real that already do the check in a unified way

  Framba-Luca

  committed
  1dd1138

  Copy full SHA for 1dd1138

Commits on May 20, 2025

• backup commit

  Framba-Luca

  committed
  7bc414a

  Copy full SHA for 7bc414a

• chore(contributors): add Nguyen Gia Phong to contributors

  Framba-Luca

  committed
  f8b2eea

  Copy full SHA for f8b2eea

• Backup commit: add some optimization tests on subsequent optimizations and add a way to destroy already asserted objectives, but it does not work

  Framba-Luca

  committed
  91214ac

  Copy full SHA for 91214ac

Commits on May 19, 2025

• chore(Z3 version): bump Z3 version from 4.13 to 4.15

  Framba-Luca

  committed
  e1a1b6e

  Copy full SHA for e1a1b6e

• fix(test): add a skip on test with mathsat, with relative issue

  Framba-Luca

  committed
  7f2abda

  Copy full SHA for 7f2abda

• fix(CNFizer): fix bug in walk_theory_op with boolean formulaes

  Framba-Luca

  committed
  faab095

  Copy full SHA for faab095

• test(CNF): add test to trigger issue 802

  Framba-Luca

  committed
  745e42f

  Copy full SHA for 745e42f

• fix(omt-test): add a method that returns only solver names that are non diverging for unbounded cases and use that method in tests that use the Real logic, avoiding non-endin tests in CI

  Framba-Luca

  committed
  0306e0c

  Copy full SHA for 0306e0c

Commits on May 16, 2025

• fix(binary optimization strategy): moved some code around and fixed some edge cases. maxsmt on real with binary strategy could diverge

  Framba-Luca

  committed
  ebc15cf

  Copy full SHA for ebc15cf

Commits on May 15, 2025

• Fix: Implemented requested changes; add test on binary search; add fixes to binary search

  Framba-Luca

  committed
  e03edd7

  Copy full SHA for e03edd7

Commits on May 14, 2025

• Merge pull request #803 from pysmt/fix_801

  Show description for 8aaf1d3
  mikand

  authored
  8aaf1d3

  Copy full SHA for 8aaf1d3

Commits on May 13, 2025

• test: add regression test; add myself to contributors and mailmap

  Framba-Luca

  committed
  5bb9d8b

  Copy full SHA for 5bb9d8b

• chore(optimization): cleanup PR code; implementing some requested changes

  Framba-Luca

  committed
  7a081d9

  Copy full SHA for 7a081d9

• fix(CNFizer): in walk_function changed old function_symbol with the new method name function_name

  Framba-Luca

  committed
  811c8a6

  Copy full SHA for 811c8a6

Commits on May 12, 2025

• Merge branch 'master' into optimization

  Framba-Luca

  committed
  a9a90a1

  Copy full SHA for a9a90a1

• Merge pull request #800 from pysmt/fix-btor-ci

  Show description for b8ecdc8
  mikand

  authored
  b8ecdc8

  Copy full SHA for b8ecdc8

• Removed leftover debug print

  mikand

  committed
  e8cb1de

  Copy full SHA for e8cb1de

Pagination

Previous

Next