Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on May 2, 2026

• Merge pull request #493 from ftsrg/chccomp-update

  Show description for 34590d2
  leventeBajczi

  authored
  34590d2

  Copy full SHA for 34590d2

• Updated integration test and chc script

  leventeBajczi

  committed
  48315fe

  Copy full SHA for 48315fe

• updated portfolio

  leventeBajczi

  committed
  fa8ce50

  Copy full SHA for fa8ce50

Commits on Apr 30, 2026

• Better timeout

  leventeBajczi

  committed
  31031b0

  Copy full SHA for 31031b0

• Updated benchexec invocation

  leventeBajczi

  committed
  2130cc1

  Copy full SHA for 2130cc1

• Updated xmls

  leventeBajczi

  committed
  ed3a5ba

  Copy full SHA for ed3a5ba

• Updated timeout command

  leventeBajczi

  committed
  d0b5024

  Copy full SHA for d0b5024

• Fixed portfolio, fixed tests

  leventeBajczi

  committed
  cde2b19

  Copy full SHA for cde2b19

• copyright update

  leventeBajczi

  committed
  8ca0897

  Copy full SHA for 8ca0897

• spotless

  leventeBajczi

  committed
  9a70182

  Copy full SHA for 9a70182

• New major version

  leventeBajczi

  committed
  cbd7ffc

  Copy full SHA for cbd7ffc

• Added chccomp26 portfolio

  leventeBajczi

  committed
  7dd2336

  Copy full SHA for 7dd2336

Commits on Apr 29, 2026

• Merge pull request #492 from ftsrg/mdd-proof-fold

  Show description for aad887e
  leventeBajczi

  authored
  aad887e

  Copy full SHA for aad887e

• spotless

  leventeBajczi

  committed
  2bc9167

  Copy full SHA for 2bc9167

• version bump

  leventeBajczi

  committed
  168efa7

  Copy full SHA for 168efa7

• Added pathutils.folding

  leventeBajczi

  committed
  8ff7f60

  Copy full SHA for 8ff7f60

Commits on Apr 22, 2026

• Removed deprecated flag from chc

  leventeBajczi

  committed
  0b09a73

  Copy full SHA for 0b09a73

Commits on Apr 20, 2026

• Merge pull request #491 from ftsrg/fix-chc-script

  Show description for 769e3bf
  leventeBajczi

  authored
  769e3bf

  Copy full SHA for 769e3bf

• Bump version from 6.29.1 to 6.29.2

  leventeBajczi

  authored
  63323d4

  Copy full SHA for 63323d4

• Add scriptName to Theta-chccomp configuration

  leventeBajczi

  authored
  5807c91

  Copy full SHA for 5807c91

Commits on Apr 16, 2026

• Merge pull request #489 from ftsrg/btor2-fixes

  Show description for 86a6079
  AdamZsofi

  authored
  86a6079

  Copy full SHA for 86a6079

• applied copyright

  AdamZsofi

  committed
  2e424de

  Copy full SHA for 2e424de

• Version bump

  thetabotmaintainer[bot]

  committed
  67c40da

  Copy full SHA for 67c40da

• chc btor2 pass fix

  AdamZsofi

  committed
  8c90938

  Copy full SHA for 8c90938

• fix btor2 opti flag description and verbose visitor logger

  AdamZsofi

  committed
  3eb6b9d

  Copy full SHA for 3eb6b9d

Commits on Apr 12, 2026

• Merge pull request #348 from szaboeva2004/btor2xcfa

  Show description for d4644f0
  AdamZsofi

  authored
  d4644f0

  Copy full SHA for d4644f0

Commits on Apr 10, 2026

• spotless applied

  

  Szabó Éva Mária

  committed
  cbfd19f

  Copy full SHA for cbfd19f

• Delete buildSrc/.kotlin/errors/errors-1772713203715.log

  AdamZsofi

  authored
  1beaa9c

  Copy full SHA for 1beaa9c

• Merge remote-tracking branch 'origin/btor2xcfa' into btor2xcfa

  

  Szabó Éva Mária

  committed
  da4dfe4

  Copy full SHA for da4dfe4

• updated README, and made the suggestions

  

  Szabó Éva Mária

  committed
  3ce5168

  Copy full SHA for 3ce5168

Commits on Apr 8, 2026

• Merge branch 'master' into btor2xcfa

  AdamZsofi

  authored
  b1ac96b

  Copy full SHA for b1ac96b

• Version bump

  AdamZsofi

  committed
  64475d2

  Copy full SHA for 64475d2

• run apply copyright

  AdamZsofi

  committed
  bc222da

  Copy full SHA for bc222da

Commits on Apr 7, 2026

• Merge branch 'fix-release'

  leventeBajczi

  committed
  23fed95

  Copy full SHA for 23fed95

• fixed naming

  leventeBajczi

  committed
  af38c76

  Copy full SHA for af38c76