Skip to content

Actions: MichaelGoodale/simple-semantics

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
114 workflow runs
114 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
Add reversed bead reconstruction Rust #205: Commit 1594a29 pushed by MichaelGoodale
58s master
master
58s
Removed unnecessary dependency Rust #204: Commit f90bf5c pushed by MichaelGoodale
52s master
master
52s
Added beads for splitting expressions across tries and other datastru… Rust #203: Commit bc5d85a pushed by MichaelGoodale
1m 43s master
master
1m 43s
Updated crates, added new parsing by iterator of str for scenario dat… Rust #202: Commit 60e7095 pushed by MichaelGoodale
54s master
master
54s
Fixed missing lifetime Rust #201: Commit 89a2ec6 pushed by MichaelGoodale
58s master
master
58s
Mistake with scenario parsing Rust #200: Commit 9a9f65a pushed by MichaelGoodale
1m 3s master
master
1m 3s
Refactored enumeration of scenarios a bit Rust #199: Commit 37fd4f0 pushed by MichaelGoodale
1m 0s master
master
1m 0s
Little more speed with a small vec Rust #198: Commit 7bfed39 pushed by MichaelGoodale
57s master
master
57s
Big ord speedup Rust #197: Commit 45efedb pushed by MichaelGoodale
59s master
master
59s
Added directional application Rust #196: Commit f4b38a8 pushed by MichaelGoodale
52s master
master
52s
Added questions to display! Rust #195: Commit 704b959 pushed by MichaelGoodale
52s master
master
52s
More derives Rust #194: Commit 86afc64 pushed by MichaelGoodale
49s master
master
49s
Refactored parser of scenarios a bit, allowed parsing of scenarios di… Rust #193: Commit 9342f11 pushed by MichaelGoodale
50s master
master
50s
Added lexicographic ordering to rooted lambda pool Rust #192: Commit 2cef7d7 pushed by MichaelGoodale
1m 12s master
master
1m 12s
Shut up clippy once and for all Rust #191: Commit b5d92d9 pushed by MichaelGoodale
52s master
master
52s
Slight speed up Rust #190: Commit c49d953 pushed by MichaelGoodale
51s master
master
51s
Don't generate expressions with app(lambda, _) since they are equival… Rust #189: Commit 3f7b4c2 pushed by MichaelGoodale
55s master
master
55s
Added anonymous free variable check Rust #188: Commit 0c76cc6 pushed by MichaelGoodale
55s master
master
55s
Pedantic lints Rust #187: Commit af243c9 pushed by MichaelGoodale
50s master
master
50s
Better serialization of lambda pools Rust #186: Commit df35301 pushed by MichaelGoodale
56s master
master
56s
Added serializing and deserializing Rust #185: Commit bbe9a47 pushed by MichaelGoodale
1m 0s master
master
1m 0s
Better equality and better hashing of rooted lambda pool Rust #184: Commit 182d223 pushed by MichaelGoodale
55s master
master
55s
Even more lints Rust #183: Commit bacb584 pushed by MichaelGoodale
55s master
master
55s
Forgot to yield pure primitives Rust #182: Commit d83c7e0 pushed by MichaelGoodale
47s master
master
47s
Featural oversight Rust #181: Commit fbd5531 pushed by MichaelGoodale
47s master
master
47s