Skip to content

Actions: MichaelGoodale/simple-semantics

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
175 workflow runs
175 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Added ORD Rust #175: Commit 28baac3 pushed by MichaelGoodale
55s master
master
55s
Theta roles and presuppositions Rust #174: Commit 6107861 pushed by MichaelGoodale
54s master
master
54s
Fixed error handling for quantification Rust #173: Commit 17d38b1 pushed by MichaelGoodale
50s master
master
50s
Fixed major issue with quantification and theta-roles Rust #172: Commit 511470d pushed by MichaelGoodale
1m 8s master
master
1m 8s
Rust update Rust #171: Commit 2a251d8 pushed by MichaelGoodale
1m 30s master
master
1m 30s
Fixed replacements of all_e Rust #170: Commit ac53b49 pushed by MichaelGoodale
54s master
master
54s
Update Chumsky Rust #169: Commit da72620 pushed by MichaelGoodale
56s master
master
56s
Messed around a bit but not ideal Rust #168: Commit d26bca9 pushed by MichaelGoodale
55s master
master
55s
Made sampling all_e and all_a possible (horrible method) Rust #167: Commit ee24757 pushed by MichaelGoodale
1m 1s master
master
1m 1s
Unified constant checking by allowing quantifiers to have one non-var… Rust #166: Commit d795fcf pushed by MichaelGoodale
1m 7s master
master
1m 7s
Helper function for types Rust #165: Commit 9bdc057 pushed by MichaelGoodale
1m 1s master
master
1m 1s
Fixed iota working with lambdas Rust #164: Commit d2a7ab7 pushed by MichaelGoodale
1m 0s master
master
1m 0s
Added serialization of iotas Rust #163: Commit 60fcf08 pushed by MichaelGoodale
1m 12s master
master
1m 12s
Added iota operator Rust #162: Commit 0663cd1 pushed by MichaelGoodale
1m 5s master
master
1m 5s
Flipping in raised_conjoin Rust #161: Commit 2948be7 pushed by MichaelGoodale
1m 39s master
master
1m 39s
event identification Rust #160: Commit 16713fd pushed by MichaelGoodale
59s master
master
59s
version update Rust #159: Commit 709373b pushed by MichaelGoodale
57s master
master
57s
Made conjoining error public Rust #158: Commit 0827f4b pushed by MichaelGoodale
55s master
master
55s
Added special function for conjoining Rust #157: Commit 6cef724 pushed by MichaelGoodale
53s master
master
53s
bold Rust #156: Commit 389db29 pushed by MichaelGoodale
1m 1s master
master
1m 1s
Added doc link Rust #155: Commit c913933 pushed by MichaelGoodale
1m 0s master
master
1m 0s
Added docs to CI Rust #154: Commit 0dced65 pushed by MichaelGoodale
55s master
master
55s
Added GPL licence Rust #153: Commit 1b1ca6e pushed by MichaelGoodale
59s master
master
59s
Fixed clippy complaint plus made novel var names work better Rust #152: Commit ba66a48 pushed by MichaelGoodale
1m 5s master
master
1m 5s
Clippy changes plus some new predicate names Rust #151: Commit 7a36e50 pushed by MichaelGoodale
1m 5s master
master
1m 5s