Skip to content

Actions: dhilst/caelum

Actions

Deploy Sphinx Docs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
24 workflow runs
24 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
Move playground into the Learn Caelum section Deploy Sphinx Docs #24: Commit 918c61a pushed by dhilst
43s master
master
43s
Reframe when-to-use around behavioral specification Deploy Sphinx Docs #23: Commit 4a35a0b pushed by dhilst
44s master
master
44s
Restructure docs into beginner-friendly learning path Deploy Sphinx Docs #22: Commit 9726800 pushed by dhilst
40s master
master
40s
Fix precedence bug in docs implication example Deploy Sphinx Docs #21: Commit e1770af pushed by dhilst
33s master
master
33s
Add docs playground page with load-by-URL Deploy Sphinx Docs #20: Commit 498fa10 pushed by dhilst
41s master
master
41s
Add CodeMirror editor and live-verifiable docs Deploy Sphinx Docs #19: Commit 29a6823 pushed by dhilst
55s master
master
55s
Add multi-entity modeling features and fairness Deploy Sphinx Docs #18: Commit defed0b pushed by dhilst
15s master
master
15s
ci: exercise wasm, SMT-LIB2 backend, and z3.js integration Deploy Sphinx Docs #17: Commit 0885d02 pushed by dhilst
14s master
master
14s
Run Caelum on wasm with Z3 via z3.js (SMT-LIB2 two-module) Deploy Sphinx Docs #16: Commit eab08ad pushed by dhilst
18s master
master
18s
Add Z3 as the default BMC solver backend Deploy Sphinx Docs #15: Commit 9759f0f pushed by dhilst
16s master
master
16s
ci: Run on merge on master too Deploy Sphinx Docs #14: Commit 52d6b3f pushed by dhilst
22s master
master
22s
Restructure examples and add parallel CI harness Deploy Sphinx Docs #13: Commit 47d1bb3 pushed by dhilst
18s master
master
18s
Merge pull request #3 from dequeirozrodriguez/bmc-induction Deploy Sphinx Docs #12: Commit 227fe1d pushed by dhilst
17s master
master
17s
Merge pull request #2 from dequeirozrodriguez/bmc-liveness Deploy Sphinx Docs #11: Commit a8aaa25 pushed by dhilst
18s master
master
18s
Merge pull request #1 from dequeirozrodriguez/bmc-engine Deploy Sphinx Docs #10: Commit 97e5f4b pushed by dhilst
23s master
master
23s
Add Apache 2.0 license Deploy Sphinx Docs #9: Commit a3bff60 pushed by dhilst
25s master
master
25s
Rename traffic light intersection to crossroad traffic light Deploy Sphinx Docs #8: Commit 113b4df pushed by dhilst
19s master
master
19s
Expand tutorial with notation primer and plain-English explanations Deploy Sphinx Docs #7: Commit 42759e0 pushed by dhilst
14s master
master
14s
Add tutorial and document the type keyword in docs Deploy Sphinx Docs #6: Commit 1c25dd9 pushed by dhilst
13s master
master
13s
Add type keyword for named type declarations Deploy Sphinx Docs #5: Commit c7c1119 pushed by dhilst
21s master
master
21s
Fix docs workflow: deploy to gh-pages branch instead of Pages API Deploy Sphinx Docs #4: Commit b35a58a pushed by dhilst
15s master
master
15s
Add Unicode alternatives ≤ and ≥ for <= and >= Deploy Sphinx Docs #3: Commit 22bf940 pushed by dhilst
30s master
master
30s
Update URLs and references to new repo name dhilst/caelum Deploy Sphinx Docs #2: Commit 71b6229 pushed by dhilst
37s master
master
37s
Rename to Caelum, add Unicode operators, README, Sphinx docs Deploy Sphinx Docs #1: Commit ddd5a52 pushed by dhilst
25s master
master
25s