Beast code in Giters

allvm's repositories

ALLVM Tools

Language:CNOASSERTION55 9 25

allplay utility: analyzing collections of ALLVM software (allexe's). Very experimental!

Language:C++NOASSERTION6 2 1

ALLVM "Meta": Bits that don't go elsewhere

Language:C3 20

Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"

Language:C++Apache-2.02 20

ALLVM CI: Slowly porting hydra jobs to declarative form.

Language:Nix1 2 1