All issues

Search results

horus-compile raises a typeguard runtime error on Python 3.9

Status: Open.

#197 In NethermindEth/horus-checker;

· langfield opened on Mar 31, 2023

How to use loop invariants

Status: Open.

#177 In NethermindEth/horus-checker;

· builtbyleo opened on Feb 14, 2023

Something is wrong with the implications in queries

bugSomething isn't workingSomething isn't working

Status: Open.

#170 In NethermindEth/horus-checker;

· langfield opened on Feb 9, 2023

Possibility to see the counter-example generated by the SMT solver

Status: Open.

#169 In NethermindEth/horus-checker;

· acmLL opened on Feb 9, 2023

The semantics of operator / in assertions is not the proper felt semantics

bugSomething isn't workingSomething isn't working

Status: Open.

#161 In NethermindEth/horus-checker;

· aemartinez opened on Feb 4, 2023

Revertable function

enhancementNew feature or requestNew feature or request

Status: Open.

#150 In NethermindEth/horus-checker;

· acmLL opened on Feb 1, 2023

Improper interaction of @invariant/@assert with manipulation of builtin pointers.

bugSomething isn't workingSomething isn't working

Status: Open.

#125 In NethermindEth/horus-checker;

· Ferinko opened on Jan 25, 2023