Search results

DeprecationWarning: This library has been renamed to eth-utils. The ethereum-utils package will no longer recieve updates. Please update your dependencies accordingly.

Status: Open.

#6 In christoftorres/Osiris;

· HaveYouTall opened on Mar 7, 2021

Osiris finds no bugs in example Division.sol contract

Status: Open.

#5 In christoftorres/Osiris;

· lukasdenk opened on Aug 11, 2020

How many integer errors can Osiris detect today?

Status: Open.

#4 In christoftorres/Osiris;

· xf97 opened on Sep 16, 2019

Disabling detection of truncation and signedness bugs

Status: Open.

#3 In christoftorres/Osiris;

· sunbeomso opened on May 5, 2019