Skip to content

Actions: SMC17/logic-zig

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
57 workflow runs
57 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
chore: wire v0.24 residual modules + STATUS — Zig-side complete ci #54: Commit f5dbad3 pushed by SMC17
20s main
main
20s
fix: pairwise.zig doc comment typo ci #53: Commit 657318e pushed by SMC17
19s main
main
19s
feat: close residual depth — pairwise blocking, HO pattern unify, WPL… ci #52: Commit 8bca05e pushed by SMC17
26s main
main
26s
chore: registry v0.23 — cert, shiq tableau, lifted MLN, HOL resolution ci #51: Commit acb7aa6 pushed by SMC17
23s main
main
23s
chore: wire v0.23 modules into root + registry + STATUS ci #50: Commit bfe420a pushed by SMC17
25s main
main
25s
feat: modal certificates, SHIQ blocking tableau, lifted MLN, HOL reso… ci #49: Commit c4f2023 pushed by SMC17
19s main
main
19s
chore: registry v0.22 — HOL, categorical, modal T/S4/S5 decision ci #48: Commit 52b98dc pushed by SMC17
26s main
main
26s
chore: export hol, categorical, modal_normal from root ci #47: Commit 598e3c3 pushed by SMC17
30s main
main
30s
chore: wire HOL/categorical/modal-normal + CITATION.cff + STATUS 0.22 ci #46: Commit f9074f0 pushed by SMC17
26s main
main
26s
feat: HOL micro, categorical logic, modal T/S4/S5 decision, CITATION … ci #45: Commit 86b2c44 pushed by SMC17
34s main
main
34s
chore: raise relevance-r to fragment ci #44: Commit 3b9fe3e pushed by SMC17
21s main
main
21s
chore: export relevance logic from root ci #43: Commit e9d3b4e pushed by SMC17
26s main
main
26s
feat: relevance logic R fragment + CHANGELOG 0.21 + issue templates ci #42: Commit 5179a3a pushed by SMC17
32s main
main
32s
docs: world-class project surface — README, GRAPH, SECURITY, CoC, STA… ci #41: Commit cb5b2e2 pushed by SMC17
22s main
main
22s
chore: registry v0.21 — focusing, SHIQ, MLN, MUS abduction ci #40: Commit 5e877b9 pushed by SMC17
28s main
main
28s
chore: wire focusing/SHIQ/MLN/MUS into root + registry; STATUS 0.21.0 ci #39: Commit 295b900 pushed by SMC17
21s main
main
21s
feat: focusing prover, SHIQ, Markov logic, complete MUS abduction (v0… ci #38: Commit 006e113 pushed by SMC17
32s main
main
32s
chore: registry v0.20 — raise remaining edges to fragment ci #37: Commit b52bf3a pushed by SMC17
26s main
main
26s
chore: wire v0.20 modules into root + registry + STATUS ci #36: Commit 09e9fcb pushed by SMC17
28s main
main
28s
feat: ALC description logic, automated sequent search, industrial abd… ci #35: Commit b4b168e pushed by SMC17
22s main
main
22s
feat: intuitionistic, linear, epistemic/deontic, probabilistic, ALC, … ci #34: Commit 1c2ff83 pushed by SMC17
35s main
main
35s
docs: CHANGELOG 0.19.0 ci #33: Commit 40a4fb7 pushed by SMC17
36s main
main
36s
chore: raise sequent/paraconsistent/syllogistic/default to fragment ci #32: Commit 018a01b pushed by SMC17
32s main
main
32s
chore: wire sequent/lp/syllogistic/default into root+registry; STATUS… ci #31: Commit 18a2ec7 pushed by SMC17
27s main
main
27s
feat: sequent calculus, paraconsistent LP, syllogistic, default logic… ci #30: Commit 7ee8a0c pushed by SMC17
28s main
main
28s