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

• Update overflow tests

  

  Leonardo Alt

  committed
  80ab56d

  Copy full SHA for 80ab56d

Loading