Skip to content

Actions: strata-org/Strata

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
2,500+ workflow runs
2,500+ 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(laurel): support old(...) over file-scope globals Build #11032: Commit db977b1 pushed by strata-git-sync Bot
29m 51s main
main
29m 51s
feat(smt): add typed denotational semantics for SMT terms Build #11031: Pull request #1465 opened by amanda-zx
Action required amanda-zx:amandazx/smt-typed-denotation
amanda-zx:amandazx/smt-typed-denotation
Action required
Build Build #11030: Merge group checks requested
1h 20m 38s
1h 20m 38s
feat(core): monomorphize polymorphic functions before SMT Build #11029: Commit a042ce1 pushed by strata-git-sync Bot
1h 42m 48s main
main
1h 42m 48s
refactor(laurel): infer call-site type arguments; drop the pre-polymo… Build #11028: Commit 26cdde1 pushed by strata-git-sync Bot
28m 4s main
main
28m 4s
fix(core): Scope local funcDecls and typeDecls to their block Build #11027: Commit ad36817 pushed by strata-git-sync Bot
35m 2s main
main
35m 2s
Build Build #11026: Merge group checks requested
2h 16m 10s
2h 16m 10s
fix(core): eliminate nondeterministic control before symbolic evaluation Build #11025: Commit 62f58be pushed by strata-git-sync Bot
3h 46m 44s main
main
3h 46m 44s
Build Build #11024: Merge group checks requested
2h 15m 48s
2h 15m 48s
refactor(imperative): Rename HasVarsPure.getVars to HasVarsImp.readVars Build #11023: Commit 68ede52 pushed by strata-git-sync Bot
1h 53m 36s main
main
1h 53m 36s
Build Build #11022: Merge group checks requested
34m 40s
34m 40s
fix(MetaVerifier): add TCB bridge axiom for Lean 4.31 kernel compat Build #11021: Pull request #1453 synchronize by joscoh
32m 52s kondylidou:fix/gen-smt-vcs-lean-4-31
kondylidou:fix/gen-smt-vcs-lean-4-31
32m 52s
laurel: resolve inherited instance-procedure calls; restate constrain… Build #11020: Commit 92a17df pushed by strata-git-sync Bot
26m 41s main
main
26m 41s
fix(MetaVerifier): add TCB bridge axiom for Lean 4.31 kernel compat Build #11019: Pull request #1453 synchronize by kondylidou
35m 5s kondylidou:fix/gen-smt-vcs-lean-4-31
kondylidou:fix/gen-smt-vcs-lean-4-31
35m 5s
feat(Core): nat/pos counterexample support via UF+axioms re-query Build #11018: Pull request #1439 synchronize by shigoel
Action required kondylidou:feat/nat-binary-datatype
kondylidou:feat/nat-binary-datatype
Action required
fix(MetaVerifier): add TCB bridge axiom for Lean 4.31 kernel compat Build #11017: Pull request #1453 synchronize by shigoel
33m 52s kondylidou:fix/gen-smt-vcs-lean-4-31
kondylidou:fix/gen-smt-vcs-lean-4-31
33m 52s
chore: update lake-manifest.json Build #11016: Commit 02c1706 pushed by strata-git-sync Bot
32m 45s main
main
32m 45s
feat(laurel): coroutine verification via rely/guarantee Build #11015: Commit e6d85fd pushed by strata-git-sync Bot
33m 23s main
main
33m 23s
fix(Core): complete bv128 literal support in FormatCore and Translate Build #11014: Pull request #1436 synchronize by kondylidou
40m 0s kondylidou:fix/bv128-literal-roundtrip
kondylidou:fix/bv128-literal-roundtrip
40m 0s
feat(Core): nat/pos counterexample support via UF+axioms re-query Build #11013: Pull request #1439 synchronize by kondylidou
38m 23s kondylidou:feat/nat-binary-datatype
kondylidou:feat/nat-binary-datatype
38m 23s
fix(MetaVerifier): add TCB bridge axiom for Lean 4.31 kernel compat Build #11012: Pull request #1453 synchronize by kondylidou
42m 1s kondylidou:fix/gen-smt-vcs-lean-4-31
kondylidou:fix/gen-smt-vcs-lean-4-31
42m 1s
refactor(util): Consolidate shared utilities under Strata/Util Build #11011: Commit b3ae917 pushed by strata-git-sync Bot
31m 52s main
main
31m 52s
[Strata] refactor(Transform,Core): S2U pipeline dedup + review follow… Build #11010: Commit f836919 pushed by strata-git-sync Bot
29m 8s main
main
29m 8s
fix(laurel): restore $Box, correct stale claims, dedupe body accessors Build #11009: Commit 89c847d pushed by strata-git-sync Bot
33m 10s main
main
33m 10s
fix(lambda): resolve polymorphic-precondition type variables at the c… Build #11008: Commit 6cdd957 pushed by strata-git-sync Bot
33m 27s main
main
33m 27s