Commits

Branch selector

 main

User selector

All users

All time

Commit History

Commits on Apr 4, 2024

• Make binaries and libraries relocatable (#10588)

  Show description for 0f08d9e
  daniel-larraz

  authored
  0f08d9e

  Copy full SHA for 0f08d9e

• Add internal infrastructure for user plugins (#10247)

  Show description for cedc17d
  ajreynol

  authored
  cedc17d

  Copy full SHA for cedc17d

• Replace CVC5_FATAL with Exception for unexpected results (#10571)

  daniel-larraz

  authored
  d1e1c4e

  Copy full SHA for d1e1c4e

• Silence test regress3/issue4170.smt (#10572)

  Show description for 8ec9f70
  daniel-larraz

  authored
  8ec9f70

  Copy full SHA for 8ec9f70

• Ensure ACI_NORM is deterministic wrt ordering (#10580)

  Show description for a0411b4
  ajreynol

  authored
  a0411b4

  Copy full SHA for a0411b4

Commits on Apr 3, 2024

• Add portfolio config option (#10579)

  Show description for 111bb76
  daniel-larraz

  authored
  111bb76

  Copy full SHA for 111bb76

• Add a check for potential null pointer deref in proof_checker.cpp (#10574)

  Show description for 6a3ffc4
  aytey

  authored
  6a3ffc4

  Copy full SHA for 6a3ffc4

• PyPi: Set up Python virtual environment (#10570)

  Show description for 21531aa
  daniel-larraz

  authored
  21531aa

  Copy full SHA for 21531aa

• ci: Update update-pr action to newest version. (#10576)

  mpreiner

  authored
  a1b585a

  Copy full SHA for a1b585a

• Remove spurious check for incremental with unsat core assumptions (#10511)

  Show description for 548dc95
  ajreynol

  authored
  548dc95

  Copy full SHA for 548dc95

• Fix unsoundness in monotonicity lemma for SINE (#10573)

  Show description for 58202dc
  ajreynol

  authored
  58202dc

  Copy full SHA for 58202dc

• Add value-based refinement for arith/bv conversion (#10577)

  ajreynol

  authored
  70edd2a

  Copy full SHA for 70edd2a

Commits on Apr 2, 2024

• Fixes for HO model building (#10526)

  Show description for 43e7b89
  ajreynol

  authored
  43e7b89

  Copy full SHA for 43e7b89

• Update names for internal BV operators (#10479)

  Show description for 01e33e7
  ajreynol

  authored
  01e33e7

  Copy full SHA for 01e33e7

• ci: Set macOS version with MACOSX_DEPLOYMENT_TARGET (#10525)

  Show description for f863dac
  daniel-larraz

  authored
  f863dac

  Copy full SHA for f863dac

• Remove superfluous 'lbsd' for Editline (#8071)

  Show description for 9d7c8df
  aytey

  authored
  9d7c8df

  Copy full SHA for 9d7c8df

• Fix usage of purify skolems in MBQI (#10523)

  Show description for 6ec98d1
  ajreynol

  authored
  6ec98d1

  Copy full SHA for 6ec98d1

• Fix some spelling errors noticed by Debian lintian (#10492)

  Show description for a6011d4
  swt2c

  authored
  a6011d4

  Copy full SHA for a6011d4

• Add some build options for disabling certain compile/link flags (#10491)

  Show description for 3dcf26f
  swt2c

  authored
  3dcf26f

  Copy full SHA for 3dcf26f

• Migrating GLPK patches from 4.52 to 5.0 (#7041)

  Show description for 26ed1e9
  aytey

  authored
  26ed1e9

  Copy full SHA for 26ed1e9

• Java API: Refactor to expose TermManager. (#10531)

  Show description for 354fc41
  aniemetz

  authored
  354fc41

  Copy full SHA for 354fc41

• Fix model soundness with `--sygus-inst --no-cegqi` (#10524)

  Show description for e21d672
  ajreynol

  authored
  e21d672

  Copy full SHA for e21d672

• Add node manager to node converter (#10545)

  Show description for ee588d4
  ajreynol

  authored
  ee588d4

  Copy full SHA for ee588d4

Commits on Apr 1, 2024

• c++ API: Refactor statistics handling. (#10530)

  Show description for b9b4e1b
  aniemetz

  authored
  b9b4e1b

  Copy full SHA for b9b4e1b

• Add rewrites for new internal BV operators (#10519)

  Show description for fbe9c58
  ajreynol

  authored
  fbe9c58

  Copy full SHA for fbe9c58

• Minor optimization for CEGQI (#10553)

  ajreynol

  authored
  8402cd4

  Copy full SHA for 8402cd4

• Fix FindCoCoA cmake file (#10463)

  Show description for 43aaed1
  Sarkoxed

  authored
  43aaed1

  Copy full SHA for 43aaed1

• ci: Build Python wheels for arm64 Linux (#10554)

  daniel-larraz

  authored
  e9006f7

  Copy full SHA for e9006f7

• Fix more issues with uncovered methods in nightlies (#10567)

  ajreynol

  authored
  5e75e54

  Copy full SHA for 5e75e54

• ci: Set up Python virtual environment (#10569)

  Show description for 3b9175d
  daniel-larraz

  authored
  3b9175d

  Copy full SHA for 3b9175d

Commits on Mar 28, 2024

• Export the `SKOLEM` kind (#10564)

  Show description for 1e91ae5
  ajreynol

  authored
  1e91ae5

  Copy full SHA for 1e91ae5

• Implement printing for skolems (#10563)

  Show description for 2d67bee
  ajreynol

  authored
  2d67bee

  Copy full SHA for 2d67bee

• Fix uncovered API errors due to skolem ids (#10561)

  Show description for 7af25ed
  ajreynol

  authored
  7af25ed

  Copy full SHA for 7af25ed

• Rename SkolemFunId to SkolemId (#10560)

  ajreynol

  authored
  8e723ca

  Copy full SHA for 8e723ca

• Do not use skolem interface for INPUT_VARIABLE (#10559)

  Show description for 9999037
  ajreynol

  authored
  9999037

  Copy full SHA for 9999037