allvm

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

C++ 6 0 1 0 Updated Mar 24, 2022

ALLVM Tools

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

C++ 2Apache-2.0 84 0 0 Updated Aug 13, 2019

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

C 3 0 0 0 Updated Feb 5, 2019

ALLVM CI: Slowly porting hydra jobs to declarative form.

Nix 1 0 1 0 Updated Jun 28, 2018

Navigation Menu