chris

By mere luck I stumbled upon this typo in `commonlisp.xml` https://github.com/matterhorn-chat/matterhorn/blob/cd2e01009fcb88f9db97bf5984621f761af29959/syntax/commonlisp.xml#L912 I think the fix is to remove `truncase`, as there is no other symbol at this position in the...

- Signal an error if `type-specifier-p` is not available on current implementation. - Add code for CLISP

parse_logic does not recognize QF_FPBV

1

Some benchmarks and solvers apparently support the syntax `QF_FPBV` (in that order) for `QF_BVFP`. For example, the following repository has a lot of examples of this: https://github.com/florianschanda/smtlib_schanda The code in...

Hi, This patch exposes `eventfd(2)`. For reference I also wrote the following read/write functions to interact with the file descriptor returned by the call, but these are not in the...