Skip to content

Actions: tgeng/archon

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
113 workflow runs
113 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[TTerm] Add escape status to tterm
Scala CI #113: Commit 9872231 pushed by tgeng
November 24, 2024 23:53 3m 41s main
November 24, 2024 23:53 3m 41s
[Chore] Update dependencies
Scala CI #112: Commit 3e9bf8f pushed by tgeng
November 17, 2024 17:07 3m 34s main
November 17, 2024 17:07 3m 34s
[EscapeAnalysis] Finish escape analysis for defs
Scala CI #111: Commit d53956a pushed by tgeng
November 17, 2024 03:12 1m 8s main
November 17, 2024 03:12 1m 8s
[SignatureTyping] Fix signature typing
Scala CI #110: Commit 4c874d0 pushed by tgeng
November 11, 2024 19:51 1m 7s main
November 11, 2024 19:51 1m 7s
[EscapeAnalysis] Check effIns escape
Scala CI #109: Commit e401c24 pushed by tgeng
November 10, 2024 00:10 41s main
November 10, 2024 00:10 41s
[EscapeAnalysis] Implement escape analysis
Scala CI #108: Commit 60f4dc8 pushed by tgeng
November 4, 2024 02:43 1m 6s main
November 4, 2024 02:43 1m 6s
Create LICENSE
Scala CI #107: Commit 78deccf pushed by tgeng
November 3, 2024 23:23 1m 1s main
November 3, 2024 23:23 1m 1s
[Rename] DContext -> EContexst
Scala CI #106: Commit 7b1e537 pushed by tgeng
November 3, 2024 15:06 1m 6s main
November 3, 2024 15:06 1m 6s
[EscapeAnalysis] Add EscapeStatus to term
Scala CI #105: Commit 696c028 pushed by tgeng
November 3, 2024 01:37 1m 4s main
November 3, 2024 01:37 1m 4s
Add readme
Scala CI #104: Commit d97213c pushed by tgeng
October 27, 2024 05:16 3m 28s main
October 27, 2024 05:16 3m 28s
upgrade to scala 3.5.1 and fix compile issues
Scala CI #103: Commit dd39db5 pushed by tgeng
October 6, 2024 22:11 3m 34s main
October 6, 2024 22:11 3m 34s
fix test
Scala CI #102: Commit 20345ab pushed by tgeng
October 6, 2024 21:50 46s main
October 6, 2024 21:50 46s
add comment about lowering continuation
Scala CI #101: Commit 08f87e5 pushed by tgeng
August 26, 2024 15:20 3m 32s main
August 26, 2024 15:20 3m 32s
[type checking] Check usage subsumption when checking function subtyping
Scala CI #100: Commit f46d76d pushed by tgeng
July 21, 2024 15:26 1m 8s main
July 21, 2024 15:26 1m 8s
[chore] Clean up p1 todos
Scala CI #99: Commit 6efb4cb pushed by tgeng
July 20, 2024 17:35 1m 4s main
July 20, 2024 17:35 1m 4s
[chore] Clean up p0 todos
Scala CI #98: Commit 67eb0bf pushed by tgeng
July 20, 2024 17:32 1m 7s main
July 20, 2024 17:32 1m 7s
[type] Fix bug in type checker
Scala CI #97: Commit f6a6b34 pushed by tgeng
July 20, 2024 16:59 1m 12s main
July 20, 2024 16:59 1m 12s
[elab] Delay solving definition type
Scala CI #96: Commit 0253810 pushed by tgeng
July 20, 2024 16:50 1m 8s main
July 20, 2024 16:50 1m 8s
[chore] Remove unused imports
Scala CI #95: Commit 3457900 pushed by tgeng
July 15, 2024 05:03 1m 2s main
July 15, 2024 05:03 1m 2s
[chore] Use scala-collection-contrib's MultiSet
Scala CI #94: Commit 914b7ea pushed by tgeng
July 15, 2024 04:50 1m 2s main
July 15, 2024 04:50 1m 2s
[chore] Reformat all code
Scala CI #93: Commit 0344ba7 pushed by tgeng
July 15, 2024 04:03 3m 30s main
July 15, 2024 04:03 3m 30s
[type checking] Solve meta right before failing subsumption check
Scala CI #92: Commit 917a875 pushed by tgeng
July 14, 2024 06:51 3m 30s main
July 14, 2024 06:51 3m 30s
remove special syntax for constructor
Scala CI #91: Commit e3e6921 pushed by tgeng
July 8, 2024 04:22 1m 1s main
July 8, 2024 04:22 1m 1s
fix translation again
Scala CI #90: Commit b532524 pushed by tgeng
July 5, 2024 00:27 1m 3s main
July 5, 2024 00:27 1m 3s
fix parameter binding during translation
Scala CI #89: Commit d937f50 pushed by tgeng
July 5, 2024 00:14 1m 5s main
July 5, 2024 00:14 1m 5s