Repository

Repository di hephaestus-compiler-project

A framework for testing compilers' type checkers

Ultimo commit 17 mar 2026

 (67 star) (16 fork) (0 issue indicizzate) (0 good first issue aperte)

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

Ultimo commit 21 set 2021

 (6 star) (1 fork) (0 issue indicizzate) (0 good first issue aperte)