Automatic Translation Validation for LLVM (Alive2:)

Type: Contract Project

Duration: from 2022 Jan 01 to 2022 Dec 31

Financed by: Woven Alpha

Prime Contractor: INESC-ID (Other)

Expand set of LLVM features supported by Alive2

Partnerships

  • INESC-ID (Other)

Principal Investigators

Members