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 Mar 30, 2021

• Add local vars to cex

  

  Leonardo Alt

  committed
  ba97d6a

  Copy full SHA for ba97d6a

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 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 Aug 20, 2020

• [SMTChecker] Supporting conditional operator

  mijovic

  committed
  3f97a10

  Copy full SHA for 3f97a10

Loading