issues
search
runtimeverification
/
iele-semantics
Semantics of Virtual Machine for IELE prototype blockchain
Other
131
stars
33
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Fix iele-vm tests for Milestone 2
#204
dwightguth
closed
4 years ago
2
List of Failing Haskell Tests
#203
gtrepta
closed
4 years ago
1
Update dependency: deps/k_release
#202
rv-jenkins
closed
4 years ago
0
Haskell build fix
#201
gtrepta
closed
4 years ago
0
Haskell Test Runner
#200
gtrepta
closed
4 years ago
0
Update dependency: deps/k_release
#199
rv-jenkins
closed
4 years ago
0
Update dependency: plugin
#198
rv-jenkins
closed
4 years ago
0
Update dependency: deps/k_release
#197
rv-jenkins
closed
4 years ago
0
Build on Haskell backend
#195
gtrepta
closed
4 years ago
0
Bring in IELE specific files from plugin submodule
#193
gtrepta
closed
4 years ago
3
Update dependency: deps/k_release
#192
rv-jenkins
closed
4 years ago
0
Make IELE pass standalone tests
#190
dwightguth
closed
4 years ago
0
Libff commits + Makefile cleanups
#187
gtrepta
closed
4 years ago
0
Build KIELE with Nix
#178
ttuegel
closed
3 years ago
0
Build and pass existing IELE test suite
#176
rv-jenkins
closed
4 years ago
0
Jenkinsfile: correct label
#175
ehildenb
closed
4 years ago
0
make deps # build remaining submodule dependencies failed
#174
charlotte-Zch
opened
5 years ago
0
Switch CI over to Jenkinsfile
#173
ehildenb
closed
5 years ago
1
Switch to CI based on Jenkinsfile and Dockerfile
#172
ehildenb
closed
5 years ago
1
NOMERGE
#171
ehildenb
closed
5 years ago
1
update k submodule
#170
dwightguth
closed
5 years ago
1
update k submodule
#169
dwightguth
closed
5 years ago
0
update plugin submodule
#168
dwightguth
closed
5 years ago
0
Add iele-gas-summary.md
#167
marick
closed
5 years ago
1
more fixes for llvm backend
#166
dwightguth
closed
5 years ago
0
Fix path in Makefile
#165
dfilaretti
closed
5 years ago
0
Run in haskell backend
#164
dfilaretti
closed
5 years ago
1
Git K submodule still refers to `https://github.com/runtimeverification/k`
#163
dfilaretti
opened
5 years ago
0
Add KORE submodule and update Makefile
#162
dfilaretti
closed
5 years ago
0
fix netcat command in test-bad-packet
#161
yzhang90
closed
6 years ago
0
fix bug in make ocaml-deps
#160
dwightguth
closed
6 years ago
1
modifications to support llvm backend
#159
dwightguth
closed
6 years ago
2
two `#memory` rules overlap
#158
yzhang90
opened
6 years ago
0
`intSizes` of Registers sums up values instead of length of values
#157
yzhang90
opened
6 years ago
1
Fixed `revert` description in `iele.md`
#156
vsubhuman
closed
6 years ago
2
bug fixes to iele for llvm backend
#155
dwightguth
closed
6 years ago
0
IELE Bug fixes relating to KORE
#154
dwightguth
closed
6 years ago
0
`mod` is `rem`
#153
vsubhuman
opened
6 years ago
0
Added missing expressions to `iele.md`
#152
vsubhuman
closed
6 years ago
2
Duplicate function argument names
#151
vsubhuman
opened
6 years ago
0
Detect missing `@init` function on compilation
#150
vsubhuman
opened
6 years ago
1
Weirdness in processing numbered registers
#149
vsubhuman
opened
6 years ago
0
Calling nonexisting function causes all contract function to no-op
#148
SebastienGllmt
opened
6 years ago
2
Mismtach between bitsInWords and bytesInWords
#147
SebastienGllmt
opened
6 years ago
2
Facilitate Creation of Function Pointers / Lambdas?
#146
SebastienGllmt
opened
6 years ago
3
Kore compatibility
#145
dwightguth
closed
6 years ago
0
problem: grammar mistake
#144
gsovereignty
closed
6 years ago
2
iele optimizations
#143
dwightguth
closed
6 years ago
3
more optimizations to iele semantics
#142
dwightguth
closed
6 years ago
0
update k submodule and add alias for unparsing
#141
dwightguth
closed
6 years ago
1
Previous
Next