Skip to content

Actions: coetaur0/inox

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
34 workflow runs
34 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Implement C codegen Scala CI #34: Commit 1a997a8 pushed by coetaur0
51s main
main
51s
Implement path sensitive borrow checking Scala CI #33: Commit 954b01c pushed by coetaur0
51s main
main
51s
Implement the refined alias analysis Scala CI #32: Commit a6fe771 pushed by coetaur0
45s main
main
45s
Rename the main parsing function Scala CI #31: Commit 245c378 pushed by coetaur0
57s main
main
57s
Small refactorings Scala CI #30: Commit 2c94f34 pushed by coetaur0
45s main
main
45s
Implement the driver Scala CI #29: Commit 064d35f pushed by coetaur0
55s main
main
55s
Implement the reference interpreter Scala CI #28: Commit b240eaf pushed by coetaur0
58s main
main
58s
Reformat the codebase Scala CI #27: Commit 8fb4549 pushed by coetaur0
1m 11s main
main
1m 11s
Organise imports and start the implementation of codegen Scala CI #26: Commit dd9ca96 pushed by coetaur0
1m 27s main
main
1m 27s
Fix the analysis passes Scala CI #25: Commit d34a4a2 pushed by coetaur0
1m 23s main
main
1m 23s
Reimplement the borrow checker Scala CI #24: Commit 11c5728 pushed by coetaur0
1m 10s main
main
1m 10s
Implement initialisation analysis Scala CI #23: Commit 98f9da8 pushed by coetaur0
51s main
main
51s
Refactor the analysis package Scala CI #22: Commit e6cb8c2 pushed by coetaur0
1m 25s main
main
1m 25s
Implement the borrow checker Scala CI #21: Commit 5eaaa38 pushed by coetaur0
1m 9s main
main
1m 9s
Test alias analysis Scala CI #20: Commit 5503dfc pushed by coetaur0
45s main
main
45s
Refactor the codebase to use the braces syntax Scala CI #19: Commit c12d4f1 pushed by coetaur0
54s main
main
54s
Implement alias analysis Scala CI #18: Commit c79818f pushed by coetaur0
42s main
main
42s
Implement liveness analysis Scala CI #17: Commit 07a13f6 pushed by coetaur0
49s main
main
49s
Test the type checker Scala CI #16: Commit e24a19a pushed by coetaur0
41s main
main
41s
Refactor the codebase Scala CI #15: Commit 3ee2a52 pushed by coetaur0
1m 1s main
main
1m 1s
Implement the type checker Scala CI #14: Commit 2878ee5 pushed by coetaur0
46s main
main
46s
Implement lowering for top-level declarations and test the lowerer Scala CI #13: Commit 3f50385 pushed by coetaur0
54s main
main
54s
Implement lowering for statements Scala CI #12: Commit 9f7429a pushed by coetaur0
1m 8s main
main
1m 8s
Implement lowering for expressions Scala CI #11: Commit c10d523 pushed by coetaur0
58s main
main
58s
Refactor the AST and IR data structure names, and implement lowering … Scala CI #10: Commit a942200 pushed by coetaur0
51s main
main
51s