Skip to content

Actions: MichaelGoodale/simple-semantics

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
179 workflow runs
179 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Made enumeration more consistent since you are always going over the … Rust #179: Commit 36c43fb pushed by MichaelGoodale
44s master
master
44s
Added function to see any free vars Rust #178: Commit fa9e66c pushed by MichaelGoodale
47s master
master
47s
Removed pointless self Rust #177: Commit 634656a pushed by MichaelGoodale
2m 36s master
master
2m 36s
Added anon variable func Rust #176: Commit 56a06b3 pushed by MichaelGoodale
1m 54s master
master
1m 54s
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