Commits

Breadcrumbs

History for

ondevelop

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 24, 2024

• Support bytes concat in formal verification (#14685)

  pgebal

  authored
  ce98680

  Copy full SHA for ce98680

Commits on Aug 15, 2023

• Purge using namespace from libsolidity/formal

  nikola-matic

  committed
  d0a5556

  Copy full SHA for d0a5556

Commits on Dec 28, 2020

• [SMTChecker] Detect errors caused by reentrancy

  

  Martin Blicha

  committed
  f76ff35

  Copy full SHA for f76ff35

Commits on Dec 17, 2020

• [SMTChecker] Fix analysis of overriding modifiers

  

  Martin Blicha

  committed
  7078e8f

  Copy full SHA for 7078e8f

• SMTChecker support ABI functions as UFs

  

  Leonardo Alt

  committed
  2cbf33c

  Copy full SHA for 2cbf33c

Commits on Dec 4, 2020

• Use nonlinear clauses instead of inlining for base constructors

  

  Leonardo Alt

  committed
  7490ffb

  Copy full SHA for 7490ffb

Commits on Nov 4, 2020

• Fix CHC false positives when using branches inside modifiers

  

  Leonardo Alt

  committed
  1dbd8f8

  Copy full SHA for 1dbd8f8

Commits on Oct 16, 2020

• [SMTChecker] Support crypto functions in CHC

  

  Leonardo Alt

  committed
  54f76e0

  Copy full SHA for 54f76e0

Commits on Oct 13, 2020

• Add tx constraints to CHC

  

  Leonardo Alt

  committed
  aec4560

  Copy full SHA for aec4560

• [SMTChecker] Fix implicit constructor summary predicate

  

  Leonardo Alt

  committed
  1e568d7

  Copy full SHA for 1e568d7

Commits on Oct 12, 2020

• Add this and state to CHC

  

  Leonardo Alt

  committed
  18cf01c

  Copy full SHA for 18cf01c

Commits on Sep 15, 2020

• Refactor CHC sorts

  

  Leonardo Alt

  committed
  d87e15e

  Copy full SHA for d87e15e

Loading