リポジトリ

hephaestus-compiler-project のリポジトリ

A framework for testing compilers' type checkers

最終コミット 2026年3月17日

 (67 stars) (16 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)

Replication package for the OOPSLA 2021 paper titled "Well-Typed Programs Can Go Wrong: A Study of Typing-Related Bugs in JVM Compilers".

最終コミット 2021年9月21日

 (6 stars) (1 fork) (0 件の索引済み issue) (0 件のオープンな good first issue)