GitHub · Where software is built

Labels Milestones New issue

make deps # build remaining submodule dependencies failed

#174

· charlotte-Zch opened

on Oct 21, 2019

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

#163

· dfilaretti opened

on Nov 27, 2018

two `#memory` rules overlap

#158

· yzhang90 opened

on Nov 8, 2018

`intSizes` of Registers sums up values instead of length of values

#157

· yzhang90 opened

on Nov 6, 2018

`mod` is `rem`

#153

· vsubhuman opened

on Sep 17, 2018

Duplicate function argument names

#151

· vsubhuman opened

on Sep 9, 2018

Detect missing `@init` function on compilation

#150

· vsubhuman opened

on Sep 8, 2018

Weirdness in processing numbered registers

#149

· vsubhuman opened

on Sep 8, 2018

Calling nonexisting function causes all contract function to no-op

#148

· SebastienGllmt opened

on Aug 29, 2018

Mismtach between bitsInWords and bytesInWords

#147

· SebastienGllmt opened

on Aug 29, 2018

Facilitate Creation of Function Pointers / Lambdas?

#146

· SebastienGllmt opened

on Aug 29, 2018

make installation similar to Ethereum CLI

#139

· darko-marinov opened

on Jun 25, 2018