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 Jul 19, 2021

• Update tests due to nondeterminism

  

  Leo Alt

  committed
  e46abd0

  Copy full SHA for e46abd0

Commits on Apr 8, 2021

• Update old tests

  

  Leonardo Alt

  committed
  0a4afa7

  Copy full SHA for 0a4afa7

Commits on Mar 12, 2021

• Fix bug in virtual functions called by constructor.

  

  Leonardo Alt

  committed
  998346e

  Copy full SHA for 998346e

Commits on Mar 11, 2021

• Fix CHC cex order

  

  Leonardo Alt

  committed
  6fd76e8

  Copy full SHA for 6fd76e8

Commits on Jan 12, 2021

• Remove extra line breaks

  

  Leonardo Alt

  committed
  f1ae24a

  Copy full SHA for f1ae24a

Commits on Jan 4, 2021

• Add contract name to called function in cex

  

  Leonardo Alt

  committed
  b02722e

  Copy full SHA for b02722e

Commits on Dec 30, 2020

• [SMTChecker] Support check/unchecked

  

  Leonardo Alt

  committed
  78d55e6

  Copy full SHA for 78d55e6

Commits on Dec 17, 2020

• Add and update tests

  

  Leonardo Alt

  committed
  50be39f

  Copy full SHA for 50be39f

Commits on Dec 9, 2020

• Move CHC counterexamples to primary location

  

  Leonardo Alt

  committed
  3c142e0

  Copy full SHA for 3c142e0

Commits on Sep 25, 2020

• [SMTChecker] Add engine prefix to verification target error messages

  

  Leonardo Alt

  committed
  e6bd185

  Copy full SHA for e6bd185

Commits on Sep 9, 2020

• [SMTChecker] Change warning message

  

  Leonardo Alt

  committed
  00f6b30

  Copy full SHA for 00f6b30

Commits on Jul 23, 2020

• Fix tests after rebase

  

  Leonardo Alt

  committed
  95484d9

  Copy full SHA for 95484d9

Commits on Jul 7, 2020

• Update tests.

  chriseth

  committed
  9743390

  Copy full SHA for 9743390

Commits on Jun 22, 2020

• Added error codes to SyntaxTest expectations (updated tests)

  a3d4

  committed
  e04ceda

  Copy full SHA for e04ceda

Commits on Nov 28, 2019

• [SMTChecker] Add support to constructors

  

  Leonardo Alt

  committed
  a352abe

  Copy full SHA for a352abe

Loading