Skip to content

Actions: binary-banter/spike

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
195 workflow runs
195 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update README.md
Rust #145: Commit 206cc25 pushed by JonathanBrouwer
November 28, 2023 18:59 3m 50s asm_blocks
November 28, 2023 18:59 3m 50s
More instructions
Rust #144: Commit 84789e5 pushed by JonathanBrouwer
November 27, 2023 21:11 3m 58s asm_blocks
November 27, 2023 21:11 3m 58s
Merge pull request #13 from binary-banter/cleanup
Rust #143: Commit 8c9757c pushed by JonathanBrouwer
November 27, 2023 18:26 4m 57s master
November 27, 2023 18:26 4m 57s
November 27, 2023 18:09 5m 9s
Create file after compilation succeeds.
Rust #141: Commit bc1c5a3 pushed by Vlamonster
November 26, 2023 23:06 5m 15s cleanup
November 26, 2023 23:06 5m 15s
Use more explicit types in the grammar.
Rust #140: Commit 87b9cb9 pushed by Vlamonster
November 26, 2023 22:54 5m 40s cleanup
November 26, 2023 22:54 5m 40s
Merge pull request #12 from binary-banter/new_type_checking
Rust #139: Commit 6a4fe77 pushed by JonathanBrouwer
November 25, 2023 19:41 5m 6s master
November 25, 2023 19:41 5m 6s
Fmt
Rust #138: Commit 1f3fd01 pushed by JonathanBrouwer
November 25, 2023 19:34 5m 16s new_type_checking
November 25, 2023 19:34 5m 16s
More small fixes
Rust #137: Commit c850563 pushed by JonathanBrouwer
November 25, 2023 19:34 3m 48s new_type_checking
November 25, 2023 19:34 3m 48s
Refactor explicate
Rust #136: Commit 037380d pushed by JonathanBrouwer
November 25, 2023 17:43 1m 19s new_type_checking
November 25, 2023 17:43 1m 19s
Refactor atomize
Rust #135: Commit 17ee16e pushed by JonathanBrouwer
November 25, 2023 17:11 1m 44s new_type_checking
November 25, 2023 17:11 1m 44s
Atomize
Rust #134: Commit e7049ad pushed by JonathanBrouwer
November 25, 2023 14:50 1m 28s new_type_checking
November 25, 2023 14:50 1m 28s
Interpreter for validated
Rust #133: Commit b775b16 pushed by JonathanBrouwer
November 25, 2023 13:47 1m 26s new_type_checking
November 25, 2023 13:47 1m 26s
Duplicate name checking
Rust #132: Commit 8fcabaa pushed by JonathanBrouwer
November 25, 2023 13:06 1m 33s new_type_checking
November 25, 2023 13:06 1m 33s
Improve type checking tests
Rust #131: Commit 165cba0 pushed by JonathanBrouwer
November 24, 2023 21:01 1m 20s new_type_checking
November 24, 2023 21:01 1m 20s
Loops
Rust #130: Commit 58a03f4 pushed by JonathanBrouwer
November 15, 2023 21:18 3m 50s new_type_checking
November 15, 2023 21:18 3m 50s
Implement type suffixes for integers.
Rust #129: Commit 465d2db pushed by Vlamonster
November 15, 2023 03:22 4m 5s new_type_checking
November 15, 2023 03:22 4m 5s
Implement type hints for let bindings.
Rust #128: Commit 7430adc pushed by Vlamonster
November 15, 2023 02:59 4m 3s new_type_checking
November 15, 2023 02:59 4m 3s
Let working
Rust #127: Commit aec7fe0 pushed by JonathanBrouwer
November 14, 2023 21:25 3m 52s new_type_checking
November 14, 2023 21:25 3m 52s
Unary and binary ops working :D
Rust #126: Commit 00c89f0 pushed by JonathanBrouwer
November 14, 2023 21:05 5m 39s new_type_checking
November 14, 2023 21:05 5m 39s
Change prim -> binary/unary op
Rust #125: Commit 41e191a pushed by JonathanBrouwer
November 14, 2023 18:32 7m 19s new_type_checking
November 14, 2023 18:32 7m 19s
More work on type checking
Rust #124: Commit 0e7a36e pushed by JonathanBrouwer
November 12, 2023 20:47 1m 37s new_type_checking
November 12, 2023 20:47 1m 37s
Validate partially working (haha)
Rust #123: Commit 7c03456 pushed by JonathanBrouwer
November 11, 2023 23:12 4m 6s new_type_checking
November 11, 2023 23:12 4m 6s
Fmt
Rust #122: Commit d440707 pushed by JonathanBrouwer
November 11, 2023 14:09 7m 1s new_type_checking
November 11, 2023 14:09 7m 1s
Finish implementing Display for Def and Expr.
Rust #121: Commit aaac4d9 pushed by Vlamonster
November 11, 2023 00:03 3m 56s new_type_checking
November 11, 2023 00:03 3m 56s