All issues

Search results

make deps # build remaining submodule dependencies failed

Status: Open.

#174 In runtimeverification/iele-semantics;

· charlotte-Zch opened on Oct 21, 2019

Git K submodule still refers to https://github.com/runtimeverification/k

Status: Open.

#163 In runtimeverification/iele-semantics;

· dfilaretti opened on Nov 27, 2018

two #memory rules overlap

Status: Open.

#158 In runtimeverification/iele-semantics;

· yzhang90 opened on Nov 8, 2018

intSizes of Registers sums up values instead of length of values

Status: Open.

#157 In runtimeverification/iele-semantics;

· yzhang90 opened on Nov 6, 2018

mod is rem

Status: Open.

#153 In runtimeverification/iele-semantics;

· zuzunker opened on Sep 17, 2018

Duplicate function argument names

Status: Open.

#151 In runtimeverification/iele-semantics;

· zuzunker opened on Sep 9, 2018

Detect missing @init function on compilation

Status: Open.

#150 In runtimeverification/iele-semantics;

· zuzunker opened on Sep 8, 2018

Weirdness in processing numbered registers

Status: Open.

#149 In runtimeverification/iele-semantics;

· zuzunker opened on Sep 8, 2018

Calling nonexisting function causes all contract function to no-op

Status: Open.

#148 In runtimeverification/iele-semantics;

· SebastienGllmt opened on Aug 29, 2018

Mismtach between bitsInWords and bytesInWords

Status: Open.

#147 In runtimeverification/iele-semantics;

· SebastienGllmt opened on Aug 29, 2018

Facilitate Creation of Function Pointers / Lambdas?

Status: Open.

#146 In runtimeverification/iele-semantics;

· SebastienGllmt opened on Aug 29, 2018

make installation similar to Ethereum CLI

Status: Open.

#139 In runtimeverification/iele-semantics;

· darko-marinov opened on Jun 25, 2018