Kohei Asano

### Describe the bug RISC-V assembly has the wrong CFG edge on branch instruction. rv32 clang: https://godbolt.org/z/enMG7ehcE rv64 clang: https://godbolt.org/z/MzbEGjGWM According to the comparison with [GCC assembly](https://godbolt.org/z/M314P8feG), the non-branching terminator...

cmake: find_package(CURL CONFIG REQUIRED) can't find curl on Ubuntu

1

### Describe the bug ```sh $ dpkg -L libcurl4-openssl-dev /. /usr /usr/bin /usr/bin/curl-config /usr/include /usr/include/x86_64-linux-gnu /usr/include/x86_64-linux-gnu/curl /usr/include/x86_64-linux-gnu/curl/curl.h ...(omitted) /usr/share/doc/libcurl4-openssl-dev/changelog.Debian.gz $ cd liboai && cmake -Bbuild . CMake Error at CMakeLists.txt:6...

Release-built hoice sometimes crashes while learning on macOS Monterey

7

# Input ``` (set-logic HORN) (declare-fun main@_6 ( Int Int Int ) Bool ) (declare-fun [email protected] ( Int Int Int Int ) Bool ) (declare-fun [email protected] ( Int Int )...