List of known bugs in the Asterix reference compiler

Bug Reported by
   

List of fixed bugs in the Panoramix oracle

Bug Reported by