Search results

Unable to run docker script

Status: Open.

#178 In SRI-CSL/solidity;

· guialvares opened on Mar 3, 2025

Foundings of solc-verify

Status: Open.

#175 In SRI-CSL/solidity;

· vincenth1 opened on Dec 26, 2022

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

Status: Open.

#174 In SRI-CSL/solidity;

· jcrreis opened on Jun 8, 2022

Support for encode function

Status: Open.

#171 In SRI-CSL/solidity;

· dongyu123 opened on Sep 6, 2021

Inheritance of specs in overloaded functions

enhancementNew feature or requestNew feature or request

Status: Open.

#155 In SRI-CSL/solidity;

· hajduakos opened on Sep 13, 2020

internal exception: Expected tuple as RHS

bugSomething isn't workingSomething isn't working

Status: Open.

#152 In SRI-CSL/solidity;

· dddejan opened on Jul 24, 2020

Event tracking doesn't handle references

bugSomething isn't workingSomething isn't working

events

Status: Open.

#148 In SRI-CSL/solidity;

· dddejan opened on Jul 9, 2020

Issue with casting and verifier functions

bugSomething isn't workingSomething isn't working

Status: Open.

#146 In SRI-CSL/solidity;

· dddejan opened on Jun 16, 2020

Friendlier messages when implicit constructor cannot be created

enhancementNew feature or requestNew feature or request

Status: Open.

#137 In SRI-CSL/solidity;

· hajduakos opened on Mar 9, 2020

support for addmod

Status: Open.

#135 In SRI-CSL/solidity;

· dddejan opened on Jan 27, 2020

constructor calls with additional msg parameters

bugSomething isn't workingSomething isn't working

Status: Open.

#132 In SRI-CSL/solidity;

· dddejan opened on Jan 22, 2020

call to undeclared procedure: address_0x...

bugSomething isn't workingSomething isn't working

Status: Open.

#130 In SRI-CSL/solidity;

· dddejan opened on Jan 22, 2020