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 Nov 23, 2020

• [SMTChecker] Do not report warning when encountered a Type identifier. The operations are supported now.

  

  Martin Blicha

  committed
  66125b7

  Copy full SHA for 66125b7

Commits on Nov 3, 2020

• [SMTChecker] report SMTEncoder warnings also via CHC

  

  Leonardo Alt

  committed
  daf859c

  Copy full SHA for daf859c

Commits on Jun 22, 2020

• Added error codes to SyntaxTest expectations (updated tests)

  a3d4

  committed
  e04ceda

  Copy full SHA for e04ceda

Commits on Nov 18, 2019

• [SMTChecker] Fix ICE in abi.decode

  

  Leonardo Alt

  committed
  d818746

  Copy full SHA for d818746

Commits on Nov 19, 2018

• [SMTChecker] Support bound function calls

  

  Leonardo Alt

  committed
  06c3f09

  Copy full SHA for 06c3f09

Loading