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 Oct 26, 2021

• SMTChecker tests

  

  Leo Alt

  committed
  38b0cf7

  Copy full SHA for 38b0cf7

Commits on Apr 8, 2021

• Update old tests

  

  Leonardo Alt

  committed
  0a4afa7

  Copy full SHA for 0a4afa7

Commits on Mar 30, 2021

• Report out of bounds index access

  

  Leonardo Alt

  committed
  dbd067d

  Copy full SHA for dbd067d

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 Jun 22, 2020

• Added error codes to SyntaxTest expectations (updated tests)

  a3d4

  committed
  e04ceda

  Copy full SHA for e04ceda

Commits on Sep 2, 2019

• [SMTChecker] Zero-initialize arrays

  

  Leonardo Alt

  committed
  a774b2d

  Copy full SHA for a774b2d

Commits on May 6, 2019

• [SMTChecker] Support delete

  

  Leonardo Alt

  committed
  2139c20

  Copy full SHA for 2139c20

Loading