Skip to content

Actions: runtimeverification/riscv-semantics

Actions

Master Push

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
master.yml
70 workflow runs
70 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Tackle unexpected pattern for pickfront and dropfront. (#98) Master Push #77: Commit 4dcaa6f pushed by Stevengre
21s master
master
21s
Add simp rule for <<Int o <<Int (#106) Master Push #76: Commit 72ad19b pushed by Stevengre
25s master
master
25s
Avoid ambiguity for Word expressions (#97) Master Push #75: Commit 8090120 pushed by Stevengre
22s master
master
22s
Make Word shift operations total (#104) Master Push #74: Commit 0c40c65 pushed by Stevengre
22s master
master
22s
Add new lemmas for substrBytes and update pickFront rule (#94) Master Push #73: Commit 58d1958 pushed by Stevengre
19s master
master
19s
Remove the format attribute from Word (#95) Master Push #72: Commit 883fd6e pushed by automergerpr-permission-manager Bot
15s master
master
15s
Better loadBytes for symbolic execution (#91) Master Push #71: Commit ec95dd6 pushed by Stevengre
16s master
master
16s
Better storeBytes for symbolic execution (#90) Master Push #70: Commit 3a2bbc0 pushed by Stevengre
23s master
master
23s
Add option --depth to kriscv run (#89) Master Push #69: Commit 85e3216 pushed by Stevengre
31s master
master
31s
Add simplification rule for storing symbolic bytes (#85) Master Push #68: Commit 60f10e1 pushed by Stevengre
24s master
master
24s
Update dependency: deps/k_release (#86) Master Push #67: Commit 778e705 pushed by tothtamas28
24s master
master
24s
Update dependency: deps/k_release (#84) Master Push #66: Commit 53567c0 pushed by tothtamas28
19s master
master
19s
Update dependency: deps/k_release (#74) Master Push #65: Commit 951e6e7 pushed by tothtamas28
25s master
master
25s
Add Byte simplification rules from evm semantics (#83) Master Push #64: Commit 8f5e5b7 pushed by Stevengre
17s master
master
17s
Support symbolic sparse bytes generation via SparseBytes (#78) Master Push #63: Commit c6b16ef pushed by Stevengre
24s master
master
24s
Add writeByteBF simplification rules (#82) Master Push #62: Commit 2755c4c pushed by Stevengre
25s master
master
25s
Add symbolic execution rules for readByteBF in sparse-bytes.md (#73) Master Push #61: Commit 98eea27 pushed by Stevengre
25s master
master
25s
Allow --temp-dir option for test-prove (#77) Master Push #60: Commit 74dc542 pushed by Stevengre
26s master
master
26s
Enhance SymTools with bug report integration (#75) Master Push #59: Commit 1e43e19 pushed by Stevengre
26s master
master
26s
Add command kriscv-asm <instruction> (#70) Master Push #58: Commit 76f893a pushed by Stevengre
23s master
master
23s