Commits

Breadcrumbs

History for

ondevelop

User selector

All users

Datepicker

All time

Commit History

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 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 9, 2020

• Move CHC counterexamples to primary location

  

  Leonardo Alt

  committed
  3c142e0

  Copy full SHA for 3c142e0

Commits on Oct 30, 2020

• [SMTChecker] More precise creation of verification targets.

  

  Martin Blicha

  committed
  c1a57ff

  Copy full SHA for c1a57ff

Commits on Aug 14, 2020

• Update overflow tests

  

  Leonardo Alt

  committed
  80ab56d

  Copy full SHA for 80ab56d

Loading