Skip to content

Actions: pc2/sus-compiler

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
360 workflow runs
360 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix #17
CI #17: Commit 0c02b0f pushed by VonTum
November 1, 2024 18:33 43s master
November 1, 2024 18:33 43s
Submodules are now also typed with HM
CI #16: Commit f617833 pushed by VonTum
October 31, 2024 19:07 47s master
October 31, 2024 19:07 47s
Fix no error & execute crash on bad declaration
CI #15: Commit 0048e17 pushed by VonTum
October 30, 2024 12:16 51s master
October 30, 2024 12:16 51s
Delete WorkingOnResolver & with_module_editing_context
CI #14: Commit 5b840f1 pushed by VonTum
October 28, 2024 17:51 38s master
October 28, 2024 17:51 38s
Switch to WorkingOnResolver-less typecheck
CI #13: Commit 5729446 pushed by VonTum
October 28, 2024 17:50 52s master
October 28, 2024 17:50 52s
Make Typechecker &Module non-mutable
CI #12: Commit 2190f77 pushed by VonTum
October 27, 2024 11:46 46s master
October 27, 2024 11:46 46s
Separate Lints as a compile stage
CI #11: Commit 5315393 pushed by VonTum
October 24, 2024 18:49 48s master
October 24, 2024 18:49 48s
Start refactoring to get rid of WorkingOnResolvers
CI #10: Commit 5826495 pushed by VonTum
October 22, 2024 16:28 43s master
October 22, 2024 16:28 43s
Fix I forgot to add Domain Variables to ConditionStack
CI #9: Commit 0133780 pushed by VonTum
October 19, 2024 21:59 38s master
October 19, 2024 21:59 38s
Get rid of Deref and DerefMut impls for TypeCheckingContext
CI #8: Commit 9f2403d pushed by VonTum
September 17, 2024 14:04 38s master
September 17, 2024 14:04 38s
Minor preparatory refactors
CI #7: Commit 211e0d9 pushed by VonTum
September 15, 2024 11:04 39s master
September 15, 2024 11:04 39s
Minor edits for poster
CI #6: Commit 5bf9359 pushed by VonTum
September 8, 2024 00:31 49s master
September 8, 2024 00:31 49s
Added swanky new SUS logo 🎉
CI #5: Commit 2b7113e pushed by VonTum
September 4, 2024 14:13 49s master
September 4, 2024 14:13 49s
Add basic Hindley-Milner impl
CI #4: Commit 7407165 pushed by VonTum
August 30, 2024 20:22 39s master
August 30, 2024 20:22 39s
Forgot to check that I added the STL
CI #3: Commit ca540e5 pushed by VonTum
August 29, 2024 18:53 39s master
August 29, 2024 18:53 39s
Fix bad </img> tag
CI #2: Commit ca75c53 pushed by VonTum
August 29, 2024 15:27 43s master
August 29, 2024 15:27 43s
Work on PRESENTATION
CI #1: Commit 08787d7 pushed by VonTum
August 29, 2024 15:24 40s master
August 29, 2024 15:24 40s
Fix errors not being reported from flattening
Rust #356: Commit 8814190 pushed by VonTum
August 24, 2024 22:42 37s master
August 24, 2024 22:42 37s
Merge branch 'template_syntax_change'
Rust #355: Commit 975e2ef pushed by VonTum
August 24, 2024 16:37 37s master
August 24, 2024 16:37 37s
Merge pull request #6 from elikoga/master
Rust #354: Commit e5f80c0 pushed by VonTum
August 24, 2024 13:10 44s master
August 24, 2024 13:10 44s
Update README.md
Rust #352: Commit a287647 pushed by VonTum
August 22, 2024 13:25 50s master
August 22, 2024 13:25 50s
Update template_troubles.md
Rust #351: Commit f5fab1b pushed by VonTum
August 22, 2024 13:11 51s master
August 22, 2024 13:11 51s
Update tree_sitter.md
Rust #350: Commit 907e0a5 pushed by VonTum
August 21, 2024 13:05 50s master
August 21, 2024 13:05 50s
Create template_troubles.md
Rust #349: Commit e2df4dc pushed by VonTum
August 21, 2024 12:53 51s master
August 21, 2024 12:53 51s
int and bool are now defined in core.sus
Rust #348: Commit 7c75d2c pushed by VonTum
August 19, 2024 13:54 49s master
August 19, 2024 13:54 49s