Skip to content

@allvm allvm

Change the repository type filter

All

    Repositories list

    5 repositories

    • allplay

      Public
      allplay utility: analyzing collections of ALLVM software (allexe's). Very experimental!
      C++
      •
      Other
      •0•6•1•0•Updated Mar 24, 2022Mar 24, 2022

    • allvm-tools

      Public
      ALLVM Tools
      C
      •
      Other
      •4•55•18•3•Updated Mar 23, 2022Mar 23, 2022

    • pldi19-equivalence-checker

      Public
      Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"
      C++
      •
      Apache License 2.0
      •75•2•0•0•Updated Aug 13, 2019Aug 13, 2019

    • allvm-meta

      Public
      ALLVM "Meta": Bits that don't go elsewhere
      C
      •0•3•0•0•Updated Feb 5, 2019Feb 5, 2019

    • hydra-jobs

      Public
      ALLVM CI: Slowly porting hydra jobs to declarative form.
      Nix
      •0•1•1•0•Updated Jun 28, 2018Jun 28, 2018