Skip to content

Actions: smackers/smack

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
11 workflow runs
11 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Upgrade SMACK to support LLVM 13 SMACK CI #608: Pull request #784 synchronize by shaobo-he
September 16, 2023 05:29 40m 52s llvm-13
llvm-13
September 16, 2023 05:29 40m 52s
fixed script formatting SMACK CI #607: Commit 919db8e pushed by shaobo-he
September 16, 2023 05:29 25m 7s llvm-13
llvm-13
September 16, 2023 05:29 25m 7s
Upgrade SMACK to support LLVM 13 SMACK CI #606: Pull request #784 synchronize by shaobo-he
September 16, 2023 05:25 5m 18s llvm-13
llvm-13
September 16, 2023 05:25 5m 18s
Merge remote-tracking branch 'origin/develop' into llvm-13 SMACK CI #605: Commit ad4a3f0 pushed by shaobo-he
September 16, 2023 05:25 2m 42s llvm-13
llvm-13
September 16, 2023 05:25 2m 42s
fixed script formatting SMACK CI #604: Commit a62cda8 pushed by shaobo-he
September 16, 2023 05:14 39m 26s llvm-14
llvm-14
September 16, 2023 05:14 39m 26s
bump sea-dsa version SMACK CI #603: Commit ddf88d3 pushed by shaobo-he
September 11, 2023 05:42 2m 50s llvm-14
llvm-14
September 11, 2023 05:42 2m 50s
Added equivalence checking extensions SMACK CI #602: Commit b1bae13 pushed by keram88
August 23, 2023 21:11 3m 6s equiv
equiv
August 23, 2023 21:11 3m 6s
Upgrade CVC4 to CVC5 SMACK CI #601: Pull request #799 opened by keram88
April 18, 2023 23:27 28m 47s cvc5
cvc5
April 18, 2023 23:27 28m 47s
Upgrade CVC4 to CVC5 as Boogie requires SMACK CI #600: Commit c49899e pushed by keram88
April 18, 2023 23:27 28m 2s cvc5
cvc5
April 18, 2023 23:27 28m 2s
Change CVC4 to CVC5 as Boogie requires SMACK CI #599: Commit b92460e pushed by keram88
April 18, 2023 23:16 37m 57s cvc5
cvc5
April 18, 2023 23:16 37m 57s
Change CVC4 to CVC5 as Boogie requires SMACK CI #598: Commit 66a98c7 pushed by keram88
April 18, 2023 22:55 30m 57s cvc5
cvc5
April 18, 2023 22:55 30m 57s