argotorg / argotorg/solidity

SMT + LP solver used in optimizer

Open
#13,326 0 comments 0 reactions 1 assignee Claimed by @chriseth View on GitHub
selected for development
Dominant language
C++
Stars
25.7k
Forks
6.2k
Avg merge
2d 19h
Merged PRs (30d)
29

Description

- [ ] https://github.com/ethereum/solidity/pull/12945

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.