Skip to content

Actions: strata-org/Strata

Actions

Deploy Documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deploy-docs.yml
120 workflow runs
120 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix incomplete Type and Expr builtin handling in #strata_gen (#399) Deploy Documentation #45: Commit 2504081 pushed by github-merge-queue bot
11m 58s main
main
11m 58s
Reduce time complexity of type checking ops in Factory, prove termina… Deploy Documentation #44: Commit 3908b76 pushed by github-merge-queue bot
12m 48s main
main
12m 48s
Adding string support to Laurel (#395) Deploy Documentation #43: Commit 2a90a85 pushed by github-merge-queue bot
15m 6s main
main
15m 6s
Missing extrinsic handling (#393) Deploy Documentation #42: Commit 4cc7e31 pushed by github-merge-queue bot
12m 21s main
main
12m 21s
Suggest --solver when solver not found (#394) Deploy Documentation #41: Commit 7d7e60c pushed by github-merge-queue bot
12m 5s main
main
12m 5s
Add support for function declaration statements (#352) Deploy Documentation #40: Commit faa0874 pushed by github-merge-queue bot
13m 9s main
main
13m 9s
Flesh out Python support and add corresponding tests (#391) Deploy Documentation #39: Commit 79fac29 pushed by github-merge-queue bot
11m 57s main
main
11m 57s
Fix a bug in assignment extraction logic, and enable heap mutations i… Deploy Documentation #38: Commit fb554b1 pushed by github-merge-queue bot
12m 7s main
main
12m 7s
Add pySpec generator (#355) Deploy Documentation #37: Commit cc30781 pushed by github-merge-queue bot
12m 23s main
main
12m 23s
Add opaque definitions for a simple API (#388) Deploy Documentation #36: Commit bf07bb5 pushed by github-merge-queue bot
11m 57s main
main
11m 57s
Add error checking for nested datatypes (#373) Deploy Documentation #35: Commit 6effd4d pushed by github-merge-queue bot
12m 16s main
main
12m 16s
while loops with multiple invariants (#382) Deploy Documentation #34: Commit aebc960 pushed by github-merge-queue bot
11m 21s main
main
11m 21s
Upgrade to Lean 4.27.0 (#381) Deploy Documentation #33: Commit 36b1457 pushed by github-merge-queue bot
15m 50s main
main
15m 50s
Fixes #374 (#387) Deploy Documentation #32: Commit 451e5f0 pushed by github-merge-queue bot
12m 7s main
main
12m 7s
Complete porting of DDM to use Lean modules (#380) Deploy Documentation #31: Commit 9d31695 pushed by github-merge-queue bot
11m 57s main
main
11m 57s
Add source locations to pyAnalyze (#376) Deploy Documentation #30: Commit e6f2992 pushed by github-merge-queue bot
11m 59s main
main
11m 59s
Simplify LFuncWF and decidability proof (#386) Deploy Documentation #29: Commit 3b00885 pushed by github-merge-queue bot
24m 49s main
main
24m 49s
Add destructor-constructor cancellation to partial evaluator (#384) Deploy Documentation #28: Commit a28f44b pushed by github-merge-queue bot
12m 9s main
main
12m 9s
Fix #361, ensure tester-constructor pairs simplify (#364) Deploy Documentation #27: Commit 6113202 pushed by github-merge-queue bot
12m 43s main
main
12m 43s
Select user-specified procedures to analyze (#375) Deploy Documentation #26: Commit 84e7d76 pushed by github-merge-queue bot
12m 9s main
main
12m 9s
Fix #362, issue with repeated use of polymorphic axioms (#366) Deploy Documentation #25: Commit e2d63c1 pushed by github-merge-queue bot
11m 43s main
main
11m 43s
Deprecate call elimination correctness proof + better label generatio… Deploy Documentation #24: Commit 6c24b1a pushed by github-merge-queue bot
11m 25s main
main
11m 25s
Remove evaluation order from concrete function semantics (#371) Deploy Documentation #23: Commit 7881d9d pushed by github-merge-queue bot
12m 37s main
main
12m 37s
Remove dependency from LaurelGrammar.lean to proofs, and move the pro… Deploy Documentation #22: Commit 654a34c pushed by github-merge-queue bot
12m 4s main
main
12m 4s
Add Python 3.11 support to Strata Python bindings (#368) Deploy Documentation #21: Commit 7cfb86f pushed by github-merge-queue bot
11m 13s main
main
11m 13s