Published August 30, 2023 | Version v1.0.0
Software Open

verificarlo/verificarlo: Verificarlo v1.0.0

Creators

  • 1. Intel
  • 2. UVSQ
  • 3. CEA
  • 4. Child Mind Institute
  • 5. Naval Air Warfare Center Weapons Division
  • 6. Laboratoire de Chimie et Physique Quantiques / CNRS
  • 7. Université de Perpignan

Description

[v1.0.0] 2023/08/30 Added

  • Added support for Aarch64 (arm64) architectures
  • Verificarlo accepts LLVM byte-code as input and can produce byte-code as output
  • Interoperability with POCL
Fixed
  • Fix binary64 precision checks in vprec backend

Files

verificarlo/verificarlo-v1.0.0.zip

Files (415.1 kB)

Name Size Download all
md5:ee9419d66f93d8045a328522d2135fda
415.1 kB Preview Download

Additional details

Related works

Is supplement to
https://github.com/verificarlo/verificarlo/tree/v1.0.0 (URL)