jim-carciofini

Annotation causes error when running compile and solve separately

4

With this simple model: ``` annotation tag(string: label); var 0..10: x; var 0..10: y; var 0..10: z; constraint ( x = y + z ) :: tag("mytag"); solve maximize x;...

analysis fails to complete when load is called from some contexts

1

**Version and Platform (required):** - Binary Ninja Version: 4.0.4958 (ddff9339) and dev version 4.1.5144 - OS: macOS - OS Version: 13.6.6 (22G630) - CPU Architecture: M2 **Bug Description:** When calling...