Alex Bagnall issues

Repositories
Issues
Comments

Results 2 issues of


                                            Alex Bagnall

Fix typo/spelling: "there" -> "their"

aarch64 assembler error: conditional branch out of range

I encountered an issue when compiling [libccv](https://libccv.org/) with CompCert 3.16 on a Raspberry Pi 5 (Arm Cortex A76) running Raspberry Pi OS. Some of the functions in libccv are apparently...