Commits

Breadcrumbs

History for

ondevelop

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 9, 2023

• Report safe properties in BMC and CHC

  

  Leo Alt

  committed
  21c0f78

  Copy full SHA for 21c0f78

Commits on Apr 8, 2021

• Update old tests

  

  Leonardo Alt

  committed
  0a4afa7

  Copy full SHA for 0a4afa7

Commits on Dec 30, 2020

• [SMTChecker] Support check/unchecked

  

  Leonardo Alt

  committed
  78d55e6

  Copy full SHA for 78d55e6

Commits on Dec 11, 2020

• [SMTChecker] Adding unary increment and decrement as under/overflow verification targets for the CHC engine

  

  Martin Blicha

  committed
  8927015

  Copy full SHA for 8927015

Commits on Dec 9, 2019

• Set tests that CVC4 can't handle to Z3 only

  

  Leonardo Alt

  committed
  beed0f6

  Copy full SHA for beed0f6

Commits on Sep 13, 2019

• [SMTChecker] Add loop support

  

  Leonardo Alt

  committed
  e1c238e

  Copy full SHA for e1c238e

Loading