Skip to content

Actions: runtimeverification/riscv-semantics

Actions

Master Push

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
master.yml
78 workflow runs
78 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
Update dependency: deps/k_release (#167) Master Push #127: Commit 0e8063f pushed by tothtamas28
18s master
master
18s
Update dependency: deps/uv2nix (#168) Master Push #126: Commit add3fd3 pushed by automergerpr-permission-manager Bot
16s master
master
16s
Update dependency: deps/k_release (#162) Master Push #125: Commit 010ab6c pushed by automergerpr-permission-manager Bot
15s master
master
15s
Update dependency: deps/uv2nix (#166) Master Push #124: Commit e6e6ebe pushed by automergerpr-permission-manager Bot
18s master
master
18s
Update dependency: deps/uv2nix (#165) Master Push #123: Commit 181d2c8 pushed by automergerpr-permission-manager Bot
28s master
master
28s
Update dependency: deps/uv2nix (#164) Master Push #122: Commit 60a12e4 pushed by automergerpr-permission-manager Bot
20s master
master
20s
Update dependency: deps/uv2nix (#163) Master Push #121: Commit c4953b4 pushed by automergerpr-permission-manager Bot
18s master
master
18s
Add signed and unsigned remainder operations for RISC-V semantics (#160) Master Push #120: Commit 389efd9 pushed by automergerpr-permission-manager Bot
15s master
master
15s
Update dependency: deps/k_release (#138) Master Push #119: Commit a8608d9 pushed by tothtamas28
15s master
master
15s
Add new simp rules for integer operations and Bool2Word (#153) Master Push #118: Commit 76ed852 pushed by automergerpr-permission-manager Bot
16s master
master
16s
Add int simplification rules for bytes operations (#156) Master Push #117: Commit d1a4173 pushed by automergerpr-permission-manager Bot
16s master
master
16s
Add bytes concatenation simplification rules (#155) Master Push #116: Commit a780982 pushed by automergerpr-permission-manager Bot
16s master
master
16s
Add int-or-bytes-2s simplification rule (#154) Master Push #115: Commit 6e17db0 pushed by automergerpr-permission-manager Bot
14s master
master
14s
Write symbolic value at symbolic index (#151) Master Push #114: Commit 4df33d3 pushed by automergerpr-permission-manager Bot
28s master
master
28s
Move the memory to the end in functions (#148) Master Push #113: Commit 42176ce pushed by automergerpr-permission-manager Bot
19s master
master
19s
Add division operations for RISC-V semantics (#146) Master Push #112: Commit efe1f78 pushed by automergerpr-permission-manager Bot
21s master
master
21s
Simp rule 4 int2bytes o bytes2int (#147) Master Push #111: Commit ddf2811 pushed by automergerpr-permission-manager Bot
13s master
master
13s
Remove redundant requirement for substr o int2bytes (#145) Master Push #110: Commit 940f257 pushed by automergerpr-permission-manager Bot
14s master
master
14s
Simp rulle 4 >> 0 (#142) Master Push #109: Commit f5738c0 pushed by automergerpr-permission-manager Bot
18s master
master
18s
Simp rule 4 complex (X + Y & 4294967295) + Z & 4294967295 (#140) Master Push #108: Commit 123a234 pushed by automergerpr-permission-manager Bot
20s master
master
20s
Refine simp rule for Bytes2Int o Int2Byes (#139) Master Push #107: Commit 471d05f pushed by Stevengre
20s master
master
20s
Add simplification rule for Bytes2Int &Int 4294967295 (#135) Master Push #106: Commit 3804716 pushed by Stevengre
14s master
master
14s
Add optimize_kcfg parameter in SymTool (#134) Master Push #105: Commit db011d7 pushed by Stevengre
17s master
master
17s
Simp rule 4 (A +Int B) &Int 4294967295 <Int A (#130) Master Push #104: Commit c72b80f pushed by Stevengre
20s master
master
20s
Update dependency: deps/k_release (#127) Master Push #103: Commit 0d09047 pushed by tothtamas28
15s master
master
15s