Skip to content

Actions: sam-lippert/arest

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
566 workflow runs
566 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
feat: tests for inverse UC, negative UC, inverse readings; README FOL… Deploy to Cloudflare Workers #91: Commit 6d55b24 pushed by sam-lippert
1m 2s main
main
1m 2s
feat: add induction engine — discover constraints and rules from data Deploy to Cloudflare Workers #90: Commit 82bb5f5 pushed by sam-lippert
1m 9s main
main
1m 9s
feat: add backward chaining proof engine Deploy to Cloudflare Workers #89: Commit 8a82701 pushed by sam-lippert
58s main
main
58s
docs: document FOL engine constraint evaluation in README Deploy to Cloudflare Workers #88: Commit a0ed609 pushed by sam-lippert
1m 2s main
main
1m 2s
feat: University model e2e test, single-line SS parsing fix Deploy to Cloudflare Workers #87: Commit 0df3e44 pushed by sam-lippert
1m 6s main
main
1m 6s
chore: replace last non-NORMA test verbalization Deploy to Cloudflare Workers #86: Commit 3d264af pushed by sam-lippert
1m 5s main
main
1m 5s
fix: serialize integration tests to prevent WASM state race Deploy to Cloudflare Workers #85: Commit ddc309e pushed by sam-lippert
1m 12s main
main
1m 12s
feat: join-path subset and equality use tuple matching Deploy to Cloudflare Workers #84: Commit 3a4ccea pushed by sam-lippert
1m 6s main
main
1m 6s
feat: 1:1 fact types map FK to one side per Halpin RMAP Deploy to Cloudflare Workers #83: Commit a05b2c7 pushed by sam-lippert
1m 10s main
main
1m 10s
feat: add generateDerivedViews for SQL view generation Deploy to Cloudflare Workers #82: Commit 5686997 pushed by sam-lippert
1m 8s main
main
1m 8s
feat: parse negative form UC verbalizations Deploy to Cloudflare Workers #81: Commit 9bbd571 pushed by sam-lippert
59s main
main
59s
feat: add language, is_derived, is_independent columns Deploy to Cloudflare Workers #80: Commit d2cdc4a pushed by sam-lippert
1m 8s main
main
1m 8s
feat: add subtypeMapping option to NounDef Deploy to Cloudflare Workers #79: Commit 6d53530 pushed by sam-lippert
1m 5s main
main
1m 5s
feat: parse formal subtype definitions Deploy to Cloudflare Workers #78: Commit b0083d5 pushed by sam-lippert
1m 5s main
main
1m 5s
docs: document all new constraint patterns in README Deploy to Cloudflare Workers #77: Commit 8bfed9f pushed by sam-lippert
1m 10s main
main
1m 10s
feat: add inverse readings support Deploy to Cloudflare Workers #76: Commit c79c4ac pushed by sam-lippert
1m 5s main
main
1m 5s
feat: add verb_id to readings table Deploy to Cloudflare Workers #75: Commit 40b5962 pushed by sam-lippert
1m 1s main
main
1m 1s
feat: extend readings round-trip for all constraint types Deploy to Cloudflare Workers #74: Commit dd1017e pushed by sam-lippert
1m 14s main
main
1m 14s
refactor: replace made-up test verbalizations with sourced examples Deploy to Cloudflare Workers #73: Commit 5550903 pushed by sam-lippert
1m 15s main
main
1m 15s
fix: deontic fallback infers constraint kind from text, not default UC Deploy to Cloudflare Workers #72: Commit e18db36 pushed by sam-lippert
55s main
main
55s
feat: add value constraint (VC) evaluation to FOL engine Deploy to Cloudflare Workers #71: Commit b9a3c88 pushed by sam-lippert
1m 1s main
main
1m 1s
feat: add frequency constraint (FC) evaluation to FOL engine Deploy to Cloudflare Workers #70: Commit 6e784f6 pushed by sam-lippert
1m 0s main
main
1m 0s
feat: NORMA-sourced test suite, inverse UC, improved ternary parsing Deploy to Cloudflare Workers #69: Commit c7877f9 pushed by sam-lippert
58s main
main
58s
feat: parse external uniqueness constraints Deploy to Cloudflare Workers #68: Commit 090a62c pushed by sam-lippert
1m 9s main
main
1m 9s
feat: add reference scheme modeling end-to-end Deploy to Cloudflare Workers #67: Commit dbeaa7c pushed by sam-lippert
1m 5s main
main
1m 5s
ProTip! You can narrow down the results and go further in time using created:<2026-03-24 or the other filters available.