Commits

Breadcrumbs

History for

ondevelop

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 21, 2024

• SMTChecker: Add SMT callback to SMTChecker tests

  blishko

  committed
  3e5516c

  Copy full SHA for 3e5516c

Commits on Jun 11, 2024

• SMTChecker: Upgrade CVC4 to cvc5

  Show description for b8ba5da
  blishko

  committed
  b8ba5da

  Copy full SHA for b8ba5da

Commits on May 24, 2024

• SMTChecker: Add SMTShowProvedSafe option for use in SMT checker tests

  pgebal

  committed
  f80d45d

  Copy full SHA for f80d45d

Commits on Sep 19, 2023

• Refactor AnalysisFramework to share more features between test cases that depend on it

  cameel

  committed
  309a8de

  Copy full SHA for 309a8de

Commits on Aug 7, 2023

• Make better use of virtual functions to customize CommonSyntaxTest in test cases based on it

  cameel

  committed
  aecb11e

  Copy full SHA for aecb11e

Commits on Jul 24, 2023

• SMTChecker: Keep counterexamples on test expectation update

  blishko

  committed
  2e38798

  Copy full SHA for 2e38798

Commits on Jun 2, 2023

• Add optional bounds to unroll loops in BMC model checker

  pgebal

  committed
  f15b826

  Copy full SHA for f15b826

Commits on Oct 26, 2021

• Add SMTCheckerTest isoltest option to ignore invariants

  

  Leo Alt

  committed
  37215ff

  Copy full SHA for 37215ff

Commits on Aug 9, 2021

• Do not create VCs for underoverflow by default for Sol >=0.8

  

  Leo Alt

  committed
  ee6285d

  Copy full SHA for ee6285d

Commits on Dec 9, 2020

• Move CHC counterexamples to primary location

  

  Leonardo Alt

  committed
  3c142e0

  Copy full SHA for 3c142e0

Commits on Nov 6, 2020

• Isoltets SMTChecker option and BMC specific tests

  

  Leonardo Alt

  committed
  00858c0

  Copy full SHA for 00858c0

Commits on Jul 17, 2020

• Add SPDX license identifier if not present already in source file

  Show description for b7adb2a
  sacgrover

  committed
  b7adb2a

  Copy full SHA for b7adb2a

Commits on Jul 11, 2020

• Add nooptions label to smt checks.

  ekpyron

  committed
  c8f2514

  Copy full SHA for c8f2514

Commits on May 20, 2020

• Rename namespace

  

  Leonardo Alt

  committed
  45eba27

  Copy full SHA for 45eba27

• Create libsmtutil

  

  Leonardo Alt

  committed
  087605e

  Copy full SHA for 087605e

Commits on Mar 9, 2020

• Introduced TestCase::shouldRun().

  a3d4

  committed
  29b770c

  Copy full SHA for 29b770c

Commits on Jan 7, 2020

• Adapt tests directory to C++ namespace changes.

  

  christianparpart

  authored and

  ekpyron

  committed
  ed45b00

  Copy full SHA for ed45b00

Commits on Dec 9, 2019

• Add SMTCheckerTest for isoltest

  

  Leonardo Alt

  committed
  2250417

  Copy full SHA for 2250417

Loading