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 15, 2021

• [SMTChecker] Synthesize untrusted functions called externally

  

  Leonardo Alt

  committed
  007d398

  Copy full SHA for 007d398

Commits on Jan 12, 2021

• Output internal calls

  

  Leonardo Alt

  committed
  b3c3836

  Copy full SHA for b3c3836

• 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 Jul 23, 2020

• Update tests

  

  Leonardo Alt

  committed
  003c9b9

  Copy full SHA for 003c9b9

Commits on Jun 22, 2020

• Added error codes to SyntaxTest expectations (updated tests)

  a3d4

  committed
  e04ceda

  Copy full SHA for e04ceda

Commits on May 9, 2019

• [SMTChecker] Fix ICE in branch-inline function call-modify local variable

  

  Leonardo Alt

  committed
  3d52a6c

  Copy full SHA for 3d52a6c

Commits on Mar 20, 2019

• [SMTChecker] Support modifiers

  

  Leonardo Alt

  committed
  9659f40

  Copy full SHA for 9659f40

Loading