All issues

Search results

python3 error in docker

Status: Open.

#453 In enzymefinance/oyente;

· INT2ECALL opened on May 26, 2023

Installation Error

Status: Open.

#452 In enzymefinance/oyente;

· Jesserc opened on May 21, 2023

Why does Oyente report different results on virtually identical contracts?

Status: Open.

#445 In enzymefinance/oyente;

· gsalzer opened on Jul 15, 2022

Exception on binary contract

Status: Open.

#436 In enzymefinance/oyente;

· mrx23dot opened on Feb 5, 2022

Error: Expected identifier, got 'LParen'

Status: Open.

#435 In enzymefinance/oyente;

· chaitudapp opened on Jan 30, 2022

Bad return value

Status: Open.

#433 In enzymefinance/oyente;

· mrx23dot opened on Jan 26, 2022

Bugs

Status: Open.

#432 In enzymefinance/oyente;

· hansholani opened on Jan 26, 2022

Any plan to support solc 0.8.x

Status: Open.

#430 In enzymefinance/oyente;

· soulmachine opened on Jan 20, 2022

ModuleNotFoundError: No module named 'crytic_compile'

Status: Open.

#429 In enzymefinance/oyente;

· Ajeeshb opened on Jan 12, 2022

How to use the oyente to batch test smart contracts？

Status: Open.

#426 In enzymefinance/oyente;

· simin98 opened on Oct 28, 2021

Nurses

Status: Open.

#418 In enzymefinance/oyente;

· oyedam opened on May 6, 2021

Upcoming changes in CryticCompile

Status: Open.

#417 In enzymefinance/oyente;

· montyly opened on Apr 26, 2021