Paul Steckler
Paul Steckler
In asmrun/signals_osdep.h, there's a line: > // The Android NDK does not have sys/ucontext.h yet Apparently, the NDK does have that file now. Removing that conditional block for Android allows...
One other small change I made to get things to compile. In the Makefile in the repo, there a line: > ANDROID_PATH = $(ANDROID_NDK)/toolchains/$(TOOLCHAIN)/prebuilt/$(ARCH)-x86/bin Because I'm compiling on x64 hardware,...
Apparently, the issue with ucontext has been fixed in the current OCaml sources, which I learned after filing a bug report.
Do you get different results PG w/out company-coq?
I like the first option. By default, PG would request the goal after submitting a statement or sequence of statements. There could be a PG option to disable the automatic...
Yes, that's what happens in PG/xml: a Goal call is made automatically after receiving the responses to all Add calls. In vanilla PG, you wouldn't even have to wait for...
The `Goal` call doesn't contain a state id, so I could change that with the current protocol.
A heady brew, that!
The compilation issue I see is because the latest OPAM package `ppx_deriving` (released 9 July) uses 4.08 parse trees, while `ppxlib` still uses 4.07 parse trees. I can pin the...
We're using Base64 in the archive database for verification keys, which is faster than using Base58Check. Encoding time of a key: ``` BASE58: 0.024964 BASE64: 0.000017 ``` Encoding + decoding...