issues
search
runtimeverification
/
wasm-semantics
A Prototype Formal Semantics of WebAssembly in K
Other
74
stars
18
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Update dependency: deps/k_release
#668
rv-jenkins
closed
19 hours ago
0
Optional table indices
#667
gtrepta
opened
2 days ago
0
Deprecate `klabel` attribute
#666
Baltoli
closed
2 days ago
0
Update dependency: deps/k_release
#665
rv-jenkins
closed
2 days ago
0
Clean up nix code
#664
Baltoli
closed
6 days ago
1
Function signatures aren't available during `Text2Abstract` on function definitions
#663
gtrepta
opened
1 week ago
0
Improve tokenisation support
#662
gtrepta
opened
1 week ago
0
Allow optional table indices
#661
gtrepta
opened
1 week ago
0
Handle `global.get` in element segments
#660
gtrepta
opened
1 week ago
0
Sparse bytes lemmas
#659
virgil-serbanuta
opened
1 week ago
0
Update dependency: deps/k_release
#658
rv-jenkins
closed
6 days ago
0
Update dependency: deps/k_release
#657
rv-jenkins
closed
1 week ago
0
Change pyk dependency to the published version
#656
tothtamas28
closed
1 week ago
0
Use two rules for 'select' to avoid if-then-else on valstack
#655
jberthold
closed
1 week ago
7
mark signed load instruction as preserving
#654
jberthold
closed
1 week ago
0
Update dependency: deps/k_release
#653
rv-jenkins
closed
1 week ago
0
use List instead of Map for <locals> cell
#652
dwightguth
closed
2 weeks ago
0
Definedness improvements
#651
bbyalcinkaya
closed
2 weeks ago
1
Update dependency: deps/k_release
#650
rv-jenkins
closed
2 weeks ago
2
Remove MapIntToInt
#649
virgil-serbanuta
closed
1 week ago
0
use optimization level 3 for llvm backend
#648
dwightguth
closed
3 weeks ago
1
Untyped Data Structures
#647
bbyalcinkaya
closed
2 weeks ago
0
Upstream WebAssembly specific features from Kasmer
#646
ehildenb
opened
3 weeks ago
0
Simplify MapInt2Int
#645
virgil-serbanuta
closed
1 week ago
0
Fix in keys and remove klabels
#644
virgil-serbanuta
closed
3 weeks ago
0
Update dependency: deps/k_release
#643
rv-jenkins
closed
3 weeks ago
0
Remove #distinctBits.
#642
virgil-serbanuta
closed
3 weeks ago
0
Update dependency: deps/k_release
#641
rv-jenkins
closed
3 weeks ago
0
Refactor sparse-bytes
#640
virgil-serbanuta
opened
1 month ago
0
Update dependency: deps/k_release
#639
rv-jenkins
closed
4 weeks ago
0
Update dependency: deps/k_release
#638
rv-jenkins
closed
1 month ago
0
Update dependency: deps/k_release
#637
rv-jenkins
closed
1 month ago
0
Update dependency: deps/k_release
#636
rv-jenkins
closed
1 month ago
0
Update dependency: deps/k_release
#635
rv-jenkins
closed
1 month ago
0
Update dependency: deps/k_release
#634
rv-jenkins
closed
1 month ago
0
Update dependency: deps/k_release
#633
rv-jenkins
closed
1 month ago
0
Mark #distinctBits as "no-evaluators"
#632
jberthold
closed
1 month ago
0
Make `numberCvtOp` total
#631
bbyalcinkaya
closed
1 month ago
0
Update dependency: deps/k_release
#630
rv-jenkins
closed
1 month ago
0
Avoid `#if` in `select`
#629
bbyalcinkaya
closed
2 weeks ago
0
Update dependency: deps/k_release
#628
rv-jenkins
closed
1 month ago
0
Update regex terminals to match new syntax
#627
Scott-Guest
closed
1 month ago
0
Update dependency: deps/k_release
#626
rv-jenkins
closed
1 month ago
0
Update dependency: deps/k_release
#625
rv-jenkins
closed
2 months ago
0
Remove double `v` in Nix update
#624
Baltoli
closed
2 months ago
0
Install Nix when bumping versions
#623
Baltoli
closed
2 months ago
0
Set up Nix flake build
#622
Baltoli
closed
2 months ago
0
Update dependency: deps/k_release
#621
rv-jenkins
closed
2 months ago
0
Update dependency: deps/k_release
#620
rv-jenkins
closed
2 months ago
0
Update dependency: deps/k_release
#619
rv-jenkins
closed
2 months ago
0
Next