Commits

Breadcrumbs

History for

ondevelop

User selector

All users

Datepicker

All time

Commit History

Commits on Aug 15, 2024

• Pass vector of SMT expressions to SymbolicFunctionVariable function

  Show description for b9b1d08
  

  zo9999

  authored and

  blishko

  committed
  b9b1d08

  Copy full SHA for b9b1d08

Commits on Mar 23, 2021

• Replace `TypePointer` with `Type const*`

  Marenz

  committed
  e197ebb

  Copy full SHA for e197ebb

Commits on Nov 23, 2020

• [SMTChecker] Added support for struct constructor.

  

  Martin Blicha

  committed
  80d7434

  Copy full SHA for 80d7434

Commits on Nov 2, 2020

• [SMTChecker] Fix internal error when array.push() is used as LHS of assignment

  

  Leonardo Alt

  committed
  e38d0db

  Copy full SHA for e38d0db

Commits on Oct 23, 2020

• Fix ICE on conditions with tuples of rationals

  

  Leonardo Alt

  committed
  d3d77e4

  Copy full SHA for d3d77e4

Commits on Sep 3, 2020

• [SMTChecker] Support structs

  

  Leonardo Alt

  committed
  e61b731

  Copy full SHA for e61b731

Commits on Jul 17, 2020

• Add SPDX license identifier if not present already in source file

  Show description for b7adb2a
  sacgrover

  committed
  b7adb2a

  Copy full SHA for b7adb2a

Commits on Jun 10, 2020

• Adding fixes for signedness warnings in libsolidity

  Show description for c6e4943
  

  mijovic

  and

  cameel

  committed
  c6e4943

  Copy full SHA for c6e4943

Commits on May 20, 2020

• Rename namespace

  

  Leonardo Alt

  committed
  45eba27

  Copy full SHA for 45eba27

• Create libsmtutil

  

  Leonardo Alt

  committed
  087605e

  Copy full SHA for 087605e

Commits on May 14, 2020

• [SMTChecker] Support array length

  

  Leonardo Alt

  committed
  a0c605a

  Copy full SHA for a0c605a

Commits on Apr 8, 2020

• [SMTChecker] Add and use tuple sort

  

  Leonardo Alt

  committed
  5d9dd65

  Copy full SHA for 5d9dd65

Commits on Apr 6, 2020

• Allow constructing symbolic arrays from smt sort

  

  Leonardo Alt

  committed
  2cfa44b

  Copy full SHA for 2cfa44b

Commits on Jan 7, 2020

• C++ namespace cleanup (except tests).

  

  christianparpart

  authored and

  ekpyron

  committed
  6b23412

  Copy full SHA for 6b23412

Commits on Nov 18, 2019

• [SMTChecker] Fix ICE in abi.decode

  

  Leonardo Alt

  committed
  d818746

  Copy full SHA for d818746

Commits on Nov 13, 2019

• [SMTChecker] Fix ICE in CHC when function used as argument

  

  Leonardo Alt

  committed
  e365262

  Copy full SHA for e365262

Commits on Aug 10, 2019

• [SMTChecker] Fix literal string type mismatch

  

  Leonardo Alt

  committed
  360f868

  Copy full SHA for 360f868

Commits on Jul 25, 2019

• [SMTChecker] Reset SSA index to 0 instead of increasing in context reset

  

  Leonardo Alt

  committed
  6bcbeb1

  Copy full SHA for 6bcbeb1

Commits on Jul 4, 2019

• [SMTChecker] Allow FunctionSort to be created via sort and not type

  

  Leonardo Alt

  committed
  4aebdcc

  Copy full SHA for 4aebdcc

Commits on Jul 3, 2019

• [SMTChecker] SymbolicVariables use EncodingContext to declare SMT vars

  

  Leonardo Alt

  committed
  934e00d

  Copy full SHA for 934e00d

Commits on May 10, 2019

• Move SMT specific code into smt namespace

  

  Leonardo Alt

  committed
  fac383a

  Copy full SHA for fac383a

Commits on May 9, 2019

• [SMTChecker] Use unique_ptr instead of shared_ptr where applicable.

  

  Leonardo Alt

  committed
  c8a017c

  Copy full SHA for c8a017c

Commits on May 2, 2019

• [SMTChecker] Support tuple type declaration

  

  Leonardo Alt

  committed
  6c7527a

  Copy full SHA for 6c7527a

Commits on Apr 15, 2019

• [SMTChecker] Allow SymbolicVariable from smt::Sort

  

  Leonardo Alt

  committed
  07fac9e

  Copy full SHA for 07fac9e

Commits on Mar 7, 2019

• [SMTChecker] Support enums

  

  Leonardo Alt

  committed
  02d0e60

  Copy full SHA for 02d0e60

Commits on Mar 6, 2019

• Add SMT type support to Solidity arrays

  

  Leonardo Alt

  committed
  e74f581

  Copy full SHA for e74f581

Commits on Dec 17, 2018

• Sort includes in libsolidity/formal

  

  Leonardo Alt

  committed
  cce3778

  Copy full SHA for cce3778

Commits on Dec 14, 2018

• [SMTChecker] Support to mapping

  

  Leonardo Alt

  committed
  6a2809a

  Copy full SHA for 6a2809a

Commits on Dec 10, 2018

• [SMTChecker] Introduce SymbolicFunctionVariable

  

  Leonardo Alt

  committed
  de46bb2

  Copy full SHA for de46bb2

Commits on Dec 5, 2018

• [SMTChecker] Simplify symbolic variables

  

  Leonardo Alt

  committed
  b9f424e

  Copy full SHA for b9f424e

Commits on Nov 22, 2018

• [SMTChecker] Refactor setZeroValue and setUnknownValue

  

  Leonardo Alt

  committed
  ec84a7d

  Copy full SHA for ec84a7d

Commits on Nov 15, 2018

• [SMTChecker] Implement uninterpreted functions and use it for blockhash()

  

  Leonardo Alt

  committed
  70bb0ea

  Copy full SHA for 70bb0ea

Commits on Oct 25, 2018

• Grouping of symbolic variables in the same file and support to FixedBytes

  

  Leonardo Alt

  committed
  d8cbf32

  Copy full SHA for d8cbf32

Loading