allvm

Pinned Repositories

allplay
allplay utility: analyzing collections of ALLVM software (allexe's). Very experimental!
Language:C++6 2 10
allvm-meta
ALLVM "Meta": Bits that don't go elsewhere
Language:C3 2 00
allvm-tools
ALLVM Tools
Language:C56 7 253
hydra-jobs
ALLVM CI: Slowly porting hydra jobs to declarative form.
Language:Nix1 2 10
pldi19-equivalence-checker
Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"
Language:C++2 2 00

allvm's Repositories

allvm/allvm-tools
ALLVM Tools
Language:C56 7 253
allvm/allplay
allplay utility: analyzing collections of ALLVM software (allexe's). Very experimental!
Language:C++6 2 10
allvm/allvm-meta
ALLVM "Meta": Bits that don't go elsewhere
Language:C3 2 00
allvm/pldi19-equivalence-checker
Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"
Language:C++2 2 00
allvm/hydra-jobs
ALLVM CI: Slowly porting hydra jobs to declarative form.
Language:Nix1 2 10