Skip to content

Actions: SwayamInSync/cpp-verify

Actions

CI Checks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
premerge.yaml
39 workflow runs
39 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
feat(verify): Enhance soundness of heap model with quantifiers and pointer arithmetic CI Checks #39: Pull request #13 closed by SwayamInSync
1s feat/heap-pointer-model
feat/heap-pointer-model
1s
feat(verify): Enhance soundness of heap model with quantifiers and pointer arithmetic CI Checks #38: Pull request #13 opened by SwayamInSync
2s feat/heap-pointer-model
feat/heap-pointer-model
2s
feat(verify): Improving loop invariants + Adding new -ub-check mode CI Checks #37: Pull request #12 closed by SwayamInSync
2s feat/sound-loop-verification
feat/sound-loop-verification
2s
feat(verify): Improving loop invariants + Adding new -ub-check mode CI Checks #36: Pull request #12 opened by SwayamInSync
1s feat/sound-loop-verification
feat/sound-loop-verification
1s
feat(verify): Adding lazy type_invariant support in cpp-verify CI Checks #35: Pull request #11 closed by SwayamInSync
2s feat/type-invariant-safe-fib-mvp
feat/type-invariant-safe-fib-mvp
2s
feat(verify): Adding lazy type_invariant support in cpp-verify CI Checks #34: Pull request #11 synchronize by SwayamInSync
3s feat/type-invariant-safe-fib-mvp
feat/type-invariant-safe-fib-mvp
3s
feat(verify): Adding lazy type_invariant support in cpp-verify CI Checks #33: Pull request #11 opened by SwayamInSync
1s feat/type-invariant-safe-fib-mvp
feat/type-invariant-safe-fib-mvp
1s
[ImgBot] Optimize images CI Checks #32: Pull request #10 opened by imgbot Bot
3s imgbot
imgbot
3s
Verify backends, docs fixes, Z3 heap fix, coverage tooling CI Checks #31: Pull request #9 closed by SwayamInSync
2s feat/verify-docs-coverage-heap-fix
feat/verify-docs-coverage-heap-fix
2s
Verify backends, docs fixes, Z3 heap fix, coverage tooling CI Checks #30: Pull request #9 synchronize by SwayamInSync
3s feat/verify-docs-coverage-heap-fix
feat/verify-docs-coverage-heap-fix
3s
Verify backends, docs fixes, Z3 heap fix, coverage tooling CI Checks #29: Pull request #9 opened by SwayamInSync
2s feat/verify-docs-coverage-heap-fix
feat/verify-docs-coverage-heap-fix
2s
codegen: skip IR emission for spec and proof functions CI Checks #28: Pull request #8 closed by SwayamInSync
1s fix/codegen-spec-proof-ghost-filtering
fix/codegen-spec-proof-ghost-filtering
1s
codegen: skip IR emission for spec and proof functions CI Checks #27: Pull request #8 synchronize by SwayamInSync
1s fix/codegen-spec-proof-ghost-filtering
fix/codegen-spec-proof-ghost-filtering
1s
codegen: skip IR emission for spec and proof functions CI Checks #26: Pull request #8 synchronize by SwayamInSync
2s fix/codegen-spec-proof-ghost-filtering
fix/codegen-spec-proof-ghost-filtering
2s
codegen: skip IR emission for spec and proof functions CI Checks #25: Pull request #8 synchronize by SwayamInSync
1s fix/codegen-spec-proof-ghost-filtering
fix/codegen-spec-proof-ghost-filtering
1s
codegen: skip IR emission for spec and proof functions CI Checks #24: Pull request #8 opened by SwayamInSync
1s fix/codegen-spec-proof-ghost-filtering
fix/codegen-spec-proof-ghost-filtering
1s
[TEST] Adding llvm-lit based test harness for cpp-verify contracts CI Checks #23: Pull request #7 closed by SwayamInSync
1s tests
tests
1s
[TEST] Adding llvm-lit based test harness for cpp-verify contracts CI Checks #22: Pull request #7 synchronize by SwayamInSync
2s tests
tests
2s
[TEST] Adding llvm-lit based test harness for cpp-verify contracts CI Checks #21: Pull request #7 synchronize by SwayamInSync
1s tests
tests
1s
[TEST] Adding llvm-lit based test harness for cpp-verify contracts CI Checks #20: Pull request #7 opened by SwayamInSync
1s tests
tests
1s
[BUG] Allow contracts to be parsed when ghost function is forward declared CI Checks #19: Pull request #6 closed by SwayamInSync
1s func-fwd-decl
func-fwd-decl
1s
[BUG] Allow contracts to be parsed when ghost function is forward declared CI Checks #18: Pull request #6 synchronize by SwayamInSync
Skipped func-fwd-decl
func-fwd-decl
Skipped
[BUG] Allow contracts to be parsed when ghost function is forward declared CI Checks #17: Pull request #6 opened by SwayamInSync
1s func-fwd-decl
func-fwd-decl
1s
[FEAT] Adding contracts parsing & diagnostics with basic type infomation CI Checks #16: Pull request #5 closed by SwayamInSync
1s parsing-contracts
parsing-contracts
1s
[FEAT] Adding contracts parsing & diagnostics with basic type infomation CI Checks #15: Pull request #5 synchronize by SwayamInSync
1s parsing-contracts
parsing-contracts
1s