runtimeverification/iele-semantics

Issues

• Failed to build on Ubuntu 18.04 [Not urgent]

  #132 opened 7 years ago by shd101wyy
  2

• Build KIELE Nix package on macOS

  #268 opened 4 years ago by ttuegel
  0

• Build KIELE with Nix

  #178 opened 4 years ago by ttuegel
  0

• make deps # build remaining submodule dependencies failed

  #174 opened 5 years ago by charlotte-Zch
  0

• Command line interface to disassembler.

  #134 opened 5 years ago by dwightguth
  0

• Unit tests for iele semantics

  #96 opened 5 years ago by dwightguth
  0

• Unit tests for VM server API

  #95 opened 5 years ago by dwightguth
  1

• Need breakdown of number of tests by category generated automatically by jenkins job

  #93 opened 5 years ago by dwightguth
  0

• end to end testing with mantis as client

  #66 opened 5 years ago by dwightguth
  0

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

  #163 opened 6 years ago by dfilaretti
  0

• two `#memory` rules overlap

  #158 opened 6 years ago by yzhang90
  0

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

  #157 opened 6 years ago by yzhang90
  1

• `mod` is `rem`

  #153 opened 6 years ago by vsubhuman
  0

• Duplicate function argument names

  #151 opened 6 years ago by vsubhuman
  0

• Detect missing `@init` function on compilation

  #150 opened 6 years ago by vsubhuman
  1

• Weirdness in processing numbered registers

  #149 opened 6 years ago by vsubhuman
  0

• Calling nonexisting function causes all contract function to no-op

  #148 opened 6 years ago by SebastienGllmt
  2

• Facilitate Creation of Function Pointers / Lambdas?

  #146 opened 6 years ago by SebastienGllmt
  3

• Mismtach between bitsInWords and bytesInWords

  #147 opened 6 years ago by SebastienGllmt
  2

• make installation similar to Ethereum CLI

  #139 opened 7 years ago by darko-marinov
  0

• add CI for Mac

  #138 opened 7 years ago by darko-marinov
  0

• Iele binary well-formedness

  #121 opened 7 years ago by dwightguth
  0

• Cleanup dead code

  #91 opened 7 years ago by dwightguth
  0

• Need CI to automatically generate coverage report

  #94 opened 7 years ago by dwightguth
  0

• Improve test coverage

  #97 opened 7 years ago by dwightguth
  0

• metadata in iele binary encoding

  #122 opened 7 years ago by dwightguth
  1

• Fix Mac OS Linking

  #108 opened 7 years ago by dwightguth
  0

• Update installation instructions in `INSTALL.md`

  #104 opened 7 years ago by dfilaretti
  0

• Update scripts/install_deps.sh

  #103 opened 7 years ago by theo25
  1

• Solidity to IELE - end to end tests

  #87 opened 7 years ago by dwightguth
  1

• Get protobuf version from repo

  #75 opened 7 years ago by dwightguth
  1

• integrate well formedness semantics into iele node

  #83 opened 7 years ago by dwightguth
  1

• well-formedness semantics in K

  #53 opened 7 years ago by dwightguth
  0

• Proper command line parsing of arguments

  #85 opened 7 years ago by dwightguth
  1

• get host to listen on from command line

  #78 opened 7 years ago by dwightguth
  0

• Add error recovery when VM server crashes

  #74 opened 7 years ago by dwightguth
  0

• Handle graceful shutdown of sockets

  #76 opened 7 years ago by dwightguth
  0

• Tune IELE gas model based on Solidity-to-IELE

  #81 opened 7 years ago by dwightguth
  0

• Modify IELE semantics with details of Cardano

  #80 opened 7 years ago by dwightguth
  0

• make function to pass CallContext and return CallResult

  #64 opened 7 years ago by dwightguth
  1

• Create TCP client/server in OCAML

  #63 opened 7 years ago by dwightguth
  1

• make client to take json and call server (for testing)

  #65 opened 7 years ago by dwightguth
  1

• missing test cases

  #69 opened 7 years ago by dwightguth
  2

• excited to get this up and running but appear to need more info

  #31 opened 7 years ago by JohnDoe389
  11

• No EVM leftovers

  #18 opened 7 years ago by grosu
  0

• fix create

  #19 opened 7 years ago by dwightguth
  0

• global register dasm

  #20 opened 7 years ago by dwightguth
  0

• ecpairing arity fix

  #21 opened 7 years ago by dwightguth
  0

• Evaluate Performance

  #10 opened 7 years ago by dwightguth
  0

• Implement register allocator

  #9 opened 7 years ago by dwightguth
  0