issues
search
runtimeverification
/
avm-semantics
BSD 3-Clause "New" or "Revised" License
15
stars
4
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Update dependency: deps/pyk_release
#250
rv-jenkins
closed
1 year ago
0
Bitwise operators
#249
nwatson22
closed
1 year ago
0
Correct integer division and log2 lemmas
#248
nwatson22
closed
1 year ago
0
Some simplification lemmas handle integer division and log incorrectly.
#247
nwatson22
closed
1 year ago
0
More adjustments to the auto prover
#246
geo2a
closed
1 year ago
0
Sha512 256 fix
#245
nwatson22
closed
1 year ago
0
Add panic for insufficient asset balance
#244
nwatson22
closed
1 year ago
0
Semantics gets stuck on insufficient asset holding
#243
geo2a
closed
1 year ago
0
Refactor kompilation of VERIFICATION:
#242
geo2a
closed
1 year ago
0
Proof generation
#241
geo2a
closed
1 year ago
0
Update dependency: deps/pyk_release
#240
rv-jenkins
closed
1 year ago
0
Claim with app to app calls (fixed)
#239
nwatson22
closed
1 year ago
0
Update dependency: deps/k
#238
rv-jenkins
closed
1 year ago
0
Update dependency: deps/pyk_release
#237
rv-jenkins
closed
1 year ago
0
Update dependency: deps/k
#236
rv-jenkins
closed
1 year ago
0
Asset transfer missing case
#235
nwatson22
closed
1 year ago
0
Update dependency: deps/k
#234
rv-jenkins
closed
1 year ago
0
Claim with app-to-app calls
#233
nwatson22
closed
1 year ago
0
Update dependency: deps/k
#232
rv-jenkins
closed
1 year ago
0
`#executeTxn(@axfer)` get stuck in a corner case
#231
geo2a
closed
1 year ago
0
Refactor panic/return code system
#230
nwatson22
closed
1 year ago
1
Update dependency: deps/k
#229
rv-jenkins
closed
1 year ago
0
Bitwise not operator gives wrong output
#228
nwatson22
closed
1 year ago
0
Proof generation from ABI methods prototype
#227
nwatson22
closed
1 year ago
0
Faster json dump
#226
geo2a
closed
1 year ago
0
Expose `KAVM_DEFINITION_DIR` from `kup`-installed KAVM
#225
geo2a
closed
1 year ago
0
Don't build with coverage by default
#224
geo2a
closed
1 year ago
0
Claim generation test
#223
nwatson22
closed
1 year ago
0
Use `pyk` classes (`KRun` and `KProve`) in kavm
#222
geo2a
closed
1 year ago
1
Update dependency: deps/k
#221
rv-jenkins
closed
1 year ago
0
multi-transaction proof claims
#220
nwatson22
closed
1 year ago
1
Version file
#219
ehildenb
closed
1 year ago
0
Nix binary caching and version updates
#218
ehildenb
closed
1 year ago
0
Update dependency: deps/pyk_release
#217
rv-jenkins
closed
1 year ago
0
[nix] fix master-push CI
#216
goodlyrottenapple
closed
1 year ago
1
Flake refactoring
#215
geo2a
closed
1 year ago
0
Update dependency: deps/k
#214
rv-jenkins
closed
1 year ago
0
Fix hooks global includes
#213
geo2a
closed
1 year ago
0
Kcoin vault example
#212
geo2a
closed
1 year ago
0
Update dependency: deps/pyk_release
#211
rv-jenkins
closed
1 year ago
0
Update dependency: deps/pyk_release
#210
rv-jenkins
closed
1 year ago
0
Additional Nix Flake outputs
#209
geo2a
closed
1 year ago
0
Update dependency: deps/k
#208
rv-jenkins
closed
1 year ago
0
Update dependency: deps/pyk_release
#207
rv-jenkins
closed
1 year ago
0
Update dependency: deps/pyk_release
#206
rv-jenkins
closed
1 year ago
0
Update dependency: deps/pyk_release
#205
rv-jenkins
closed
1 year ago
0
Two way trading example (with ABI)
#204
geo2a
closed
1 year ago
0
Update dependency: deps/pyk_release
#203
rv-jenkins
closed
1 year ago
0
Attempt to fix inner transaction execution
#202
geo2a
closed
1 year ago
0
Spurious commands remain on the <k> cell after inner transaction
#201
geo2a
closed
1 year ago
3
Previous
Next