Alberto Griggio

problematic formula

8

I just found this while fuzzing my solver. It seems yices goes crazy on this formula. It gets stuck after printing `(final check: 4 interface lemmas)`, eventually running out of...

Better documentation for Exiv2::lensName ?

11

The API docs for `Exiv2::lensName` simply state that the function: > Return the name of the lens used. However, it seems that the function is supposed to work only for...

Install the pkg-config file when building under MSYS on windows?

3

Hi, it would be good if the pkg-config script (`OpenColorIO.pc`) was installed when building under MSYS on windows. Here's a simple patch to do that: ```diff --- b/src/OpenColorIO/CMakeLists.txt 2022-06-05 20:59:43.000000000...

Hi, Building on windows with mingw-w64 (using g++ version 10.2) currently fails because the function `_strtof_l` (used in `src/utils/NumberUtils.h`) is missing. Here is a possible patch to fix the issue....