Skip to content

Actions: ReubenHillyard/beta

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
74 workflow runs
74 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Simplified hello-world test. Rust #49: Commit 761f523 pushed by ReubenHillyard
August 16, 2023 20:45 51s main
main
August 16, 2023 20:45 51s
Added install llvm-14 to rust.yml. Rust #48: Commit 79a9723 pushed by ReubenHillyard
August 16, 2023 20:36 40s main
main
August 16, 2023 20:36 40s
Created hello-world test for inkwell. Rust #47: Commit d1f0367 pushed by ReubenHillyard
August 16, 2023 20:29 41s main
main
August 16, 2023 20:29 41s
Refactored read_back and rename to be one function and two traits. Rust #46: Commit 6ec2255 pushed by ReubenHillyard
August 14, 2023 17:25 1m 30s main
main
August 14, 2023 17:25 1m 30s
Updated test. Rust #45: Commit 5b1b589 pushed by ReubenHillyard
July 29, 2023 17:07 59s main
main
July 29, 2023 17:07 59s
Corrected main. Rust #44: Commit 745fb05 pushed by ReubenHillyard
July 29, 2023 17:06 41s main
main
July 29, 2023 17:06 41s
Updated test. Rust #43: Commit 852ba8f pushed by ReubenHillyard
July 29, 2023 17:04 37s main
main
July 29, 2023 17:04 37s
Added syntactic sugar. Rust #42: Commit a65b686 pushed by ReubenHillyard
July 29, 2023 15:44 38s main
main
July 29, 2023 15:44 38s
Corrected test. Rust #41: Commit 3f23f8e pushed by ReubenHillyard
July 29, 2023 15:43 27s main
main
July 29, 2023 15:43 27s
Added syntactic sugar. Rust #40: Commit 0c440d9 pushed by ReubenHillyard
July 29, 2023 15:36 33s main
main
July 29, 2023 15:36 33s
Corrected main. Rust #39: Commit f97f55a pushed by ReubenHillyard
July 29, 2023 14:02 34s main
main
July 29, 2023 14:02 34s
Merge pull request #1 from ReubenHillyard/elaboration Rust #38: Commit 7dea3fe pushed by ReubenHillyard
July 29, 2023 13:50 1m 28s main
main
July 29, 2023 13:50 1m 28s
Implemented meta-variables and unification. Rust #37: Pull request #1 opened by ReubenHillyard
July 29, 2023 13:48 1m 35s elaboration
elaboration
July 29, 2023 13:48 1m 35s
Implemented checking for lambdas with annotated parameter type. Rust #36: Commit a0a6433 pushed by ReubenHillyard
July 18, 2023 15:36 1m 15s main
main
July 18, 2023 15:36 1m 15s
Corrected doc-comments. Rust #35: Commit 01e367e pushed by ReubenHillyard
July 18, 2023 14:48 1m 39s main
main
July 18, 2023 14:48 1m 39s
Implemented type-checking and synthesis. Rust #34: Commit 0e56091 pushed by ReubenHillyard
July 18, 2023 14:44 1m 21s main
main
July 18, 2023 14:44 1m 21s
Updated tests. Rust #33: Commit 12d29c9 pushed by ReubenHillyard
July 11, 2023 17:15 42s main
main
July 11, 2023 17:15 42s
Implemented reading back, and reorganised environment. Rust #32: Commit 4476621 pushed by ReubenHillyard
July 11, 2023 15:05 33s main
main
July 11, 2023 15:05 33s
Implemented evaluation. Rust #31: Commit 2bec2e0 pushed by ReubenHillyard
July 10, 2023 15:00 39s main
main
July 10, 2023 15:00 39s
Removed error.rs, and added documentation. Rust #30: Commit cc79d29 pushed by ReubenHillyard
July 6, 2023 16:43 43s main
main
July 6, 2023 16:43 43s
Wrote function to convert concrete syntax to abstract syntax. Rust #29: Commit a81d629 pushed by ReubenHillyard
July 6, 2023 16:05 40s main
main
July 6, 2023 16:05 40s
formatted Rust #28: Commit 5e11ca8 pushed by ReubenHillyard
July 6, 2023 16:04 30s main
main
July 6, 2023 16:04 30s
Wrote function to convert concrete syntax to abstract syntax. Rust #27: Commit 76eb442 pushed by ReubenHillyard
July 6, 2023 15:47 56s main
main
July 6, 2023 15:47 56s
Added environment and value types. Rust #26: Commit fd3f3fe pushed by ReubenHillyard
July 6, 2023 13:13 36s main
main
July 6, 2023 13:13 36s
Added types for abstract syntax and values. Rust #25: Commit 6d098ea pushed by ReubenHillyard
July 6, 2023 12:28 43s main
main
July 6, 2023 12:28 43s