LoreonLabsPlatform

Overview
Discovery

Intelligence

Narratives
Founders
Projects
Ecosystems
Markets

Search

Solidity

symbolic-bug-suite

grandizzy/symbolic-bug-suite on GitHub.

SolidityEmerging

Stars

3

Forks

1

Contributors

2

Last push

14d ago

Recent commits

Live from the default branch.

Merge pull request #2 from grandizzy/fig/add-more-symbolic-bug-cases
fdadd49grandizzy14d ago
Add Uranium, Platypus, and Cover symbolic cases
ef64a03Gustavo Figueiredo14d ago
Merge pull request #1 from figtracer/fig/public-benchmark-cases
e0e943cgrandizzy19d ago
Add DEI DFX and Rari symbolic cases
6216ec0Gustavo Figueiredo19d ago
restore 05/17/18/30: cases proving universal properties unit tests cannot
0b42ca7George20d ago

trim to 12 cases that require symbolic discovery; drop unit-testable

17c5064George20d ago

remove 29 FeiRari: no symbolic input, not exercising the engine

78ac55cGeorge20d ago

readme: restore per-case fidelity table

bc99979George20d ago

Top contributors

Builders behind this project.