Automatic Translation Validation for LLVM (Alive2:)

Type: Contract Project

Duration: from 2022 Jan 01 to 2022 Dec 31

Financed by: Woven Alpha

Prime Contractor: R - INESC-ID Lisboa (Other) - Lisboa, Portugal

Expand set of LLVM features supported by Alive2

Partnerships

  • R - INESC-ID Lisboa (Other) - Lisboa, Portugal

Principal Investigators

Members