Skip to content

Actions: smackers/smack

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
337 workflow runs
337 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
Merge pull request #859 from smackers/feature/source-expression-cex-r… SMACK CI #968: Commit d9ceada pushed by shaobo-he
25m 44s develop
develop
25m 44s
Record derived source expressions in counterexamples SMACK CI #967: Pull request #859 synchronize by shaobo-he
1h 11m 43s feature/source-expression-cex-recording
feature/source-expression-cex-recording
1h 11m 43s
Resolve derived source expressions by field offset SMACK CI #966: Commit a0eddde pushed by shaobo-he
14m 10s feature/source-expression-cex-recording
feature/source-expression-cex-recording
14m 10s
Record derived source expressions in counterexamples SMACK CI #965: Pull request #859 opened by shaobo-he
27m 49s feature/source-expression-cex-recording
feature/source-expression-cex-recording
27m 49s
Record derived source expressions in counterexamples SMACK CI #964: Commit 497c60f pushed by shaobo-he
13m 58s feature/source-expression-cex-recording
feature/source-expression-cex-recording
13m 58s
Merge pull request #858 from smackers/shaobo-he-patch-1 SMACK CI #963: Commit 8e3d339 pushed by shaobo-he
34m 22s develop
develop
34m 22s
Remove unused __builtinx_va_arg function SMACK CI #962: Pull request #858 opened by shaobo-he
26m 24s shaobo-he-patch-1
shaobo-he-patch-1
26m 24s
Remove unused __builtinx_va_arg function SMACK CI #961: Commit ecf0759 pushed by shaobo-he
16m 4s shaobo-he-patch-1
shaobo-he-patch-1
16m 4s
Add exact summaries for pointwise loops behind --functionalize-loops SMACK CI #960: Pull request #852 synchronize by shaobo-he
42m 52s functionalize-loops
functionalize-loops
42m 52s
Model va_arg by giving the callee the arguments it was passed SMACK CI #959: Pull request #857 synchronize by shaobo-he
36m 55s va-arg-lowering
va-arg-lowering
36m 55s
Model va_arg by giving the callee the arguments it was passed SMACK CI #958: Commit bc634ad pushed by shaobo-he
42m 19s va-arg-lowering
va-arg-lowering
42m 19s
Make the loop summaries agree with SMACK's own lowering SMACK CI #957: Commit 1f72580 pushed by shaobo-he
24m 50s functionalize-loops
functionalize-loops
24m 50s
Model va_arg by giving the callee the arguments it was passed SMACK CI #956: Pull request #857 opened by shaobo-he
26m 27s va-arg-lowering
va-arg-lowering
26m 27s
Model va_arg by giving the callee the arguments it was passed SMACK CI #955: Commit 17f773e pushed by shaobo-he
21m 48s va-arg-lowering
va-arg-lowering
21m 48s
Merge pull request #853 from smackers/malloc-zero SMACK CI #954: Commit 81e28ec pushed by shaobo-he
24m 50s develop
develop
24m 50s
Treat a size-zero allocation as a real, inaccessible block SMACK CI #953: Pull request #853 synchronize by shaobo-he
24m 23s malloc-zero
malloc-zero
24m 23s
Give a global with no bytes a size of zero SMACK CI #952: Commit 88d2bbf pushed by shaobo-he
15m 24s malloc-zero
malloc-zero
15m 24s
Treat a size-zero allocation as a real, inaccessible block SMACK CI #951: Pull request #853 synchronize by shaobo-he
25m 12s malloc-zero
malloc-zero
25m 12s
Frame the allocation map across free(NULL) SMACK CI #950: Commit 85c0333 pushed by shaobo-he
14m 17s malloc-zero
malloc-zero
14m 17s
Treat a size-zero allocation as a real, inaccessible block SMACK CI #949: Pull request #853 synchronize by shaobo-he
1h 19m 16s malloc-zero
malloc-zero
1h 19m 16s
Frame the allocation map across free(NULL) SMACK CI #948: Commit cb08455 pushed by shaobo-he
1h 16m 3s malloc-zero
malloc-zero
1h 16m 3s
Treat a size-zero allocation as a real, inaccessible block SMACK CI #947: Pull request #853 synchronize by shaobo-he
1h 7m 31s malloc-zero
malloc-zero
1h 7m 31s
Frame the allocation map across free(NULL) SMACK CI #946: Commit 6ecba5a pushed by shaobo-he
1h 3m 53s malloc-zero
malloc-zero
1h 3m 53s
Treat a size-zero allocation as a real, inaccessible block SMACK CI #945: Pull request #853 synchronize by shaobo-he
1h 8m 26s malloc-zero
malloc-zero
1h 8m 26s
Frame the allocation map across free(NULL) SMACK CI #944: Commit cff3658 pushed by shaobo-he
1h 5m 2s malloc-zero
malloc-zero
1h 5m 2s