Issues

• Unable to run docker script

  SRI-CSL/solidity#178 · Filter by author guialvares opened on Mar 3, 2025

• Foundings of solc-verify

  SRI-CSL/solidity#175 · Filter by author vincenth1 opened on Dec 26, 2022

• Error when trying to verify a contract that uses tx.origin state variable

  SRI-CSL/solidity#174 · Filter by author jcrreis opened on Jun 8, 2022
  4

• Support for encode function

  SRI-CSL/solidity#171 · Filter by author dongyu123 opened on Sep 6, 2021

• Inheritance of specs in overloaded functions

  enhancement
  SRI-CSL/solidity#155 · Filter by author hajduakos opened on Sep 13, 2020
  3

• internal exception: Expected tuple as RHS

  bug
  SRI-CSL/solidity#152 · Filter by author dddejan opened on Jul 24, 2020

• Event tracking doesn't handle references

  bugevents
  SRI-CSL/solidity#148 · Filter by author dddejan opened on Jul 9, 2020

• Issue with casting and verifier functions

  bug
  SRI-CSL/solidity#146 · Filter by author dddejan opened on Jun 16, 2020
  5

  

• Friendlier messages when implicit constructor cannot be created

  enhancement
  SRI-CSL/solidity#137 · Filter by author hajduakos opened on Mar 9, 2020
  2

  

• support for addmod

  SRI-CSL/solidity#135 · Filter by author dddejan opened on Jan 27, 2020

• constructor calls with additional msg parameters

  bug
  SRI-CSL/solidity#132 · Filter by author dddejan opened on Jan 22, 2020

• call to undeclared procedure: address_0x...

  bug
  SRI-CSL/solidity#130 · Filter by author dddejan opened on Jan 22, 2020

• call to undeclared procedure: gasleft

  SRI-CSL/solidity#126 · Filter by author dddejan opened on Jan 16, 2020

• call to undeclared procedure: blockhash

  enhancement
  SRI-CSL/solidity#125 · Filter by author dddejan opened on Jan 16, 2020

• strings not passed/returned/cast properly to/from functions/modifiers

  bug
  SRI-CSL/solidity#123 · Filter by author dddejan opened on Jan 13, 2020
  3

• this.balance in Truffle

  bug
  SRI-CSL/solidity#122 · Filter by author hajduakos opened on Dec 24, 2019
  1

• Require statement with constant string field

  SRI-CSL/solidity#120 · Filter by author beillahi opened on Dec 3, 2019
  2

• Support for solidity global variables

  SRI-CSL/solidity#119 · Filter by author beillahi opened on Dec 3, 2019
  2

  

• Internal call to contract selfdestruct

  SRI-CSL/solidity#118 · Filter by author beillahi opened on Dec 3, 2019
  1

• Default value of return values

  enhancement
  SRI-CSL/solidity#116 · Filter by author hajduakos opened on Nov 30, 2019
  

• Side effects for default values

  enhancement
  SRI-CSL/solidity#114 · Filter by author hajduakos opened on Nov 21, 2019
  

• Support for delete of memory types

  enhancement
  SRI-CSL/solidity#110 · Filter by author dddejan opened on Oct 18, 2019

• Default values for fixed size arrays

  enhancement
  SRI-CSL/solidity#109 · Filter by author dddejan opened on Oct 18, 2019
  1

• Support for relevant aspects of ecrecover

  enhancementquestion
  SRI-CSL/solidity#105 · Filter by author suhabe opened on Oct 17, 2019
  1

• Annotation for specifying reverts

  enhancementquestion
  SRI-CSL/solidity#104 · Filter by author suhabe opened on Oct 17, 2019
  1