Emilio Jesús Gallego Arias

icon indicating a website link https://www.irif.fr/~gallego/ icon indicating an email [email protected]

icon company Inria icon location Paris icon location “La perfection est atteinte, non pas lorsqu'il n'y a plus rien à ajouter, mais lorsqu'il n'y a plus rien à retirer.”

Results 1407 comments of Emilio Jesús Gallego Arias
trafficstars

[PATCH] Compilation with yojson >= 2.2

By the way, the problem here is not due to yojson, but to ppx_deriving dropping the dependency on result. So the right fix is to have serapi now depend on...

[PATCH] Compilation with yojson >= 2.2

This should have been fixed in 0.20.0 , please re-open if some more problems arise.

"coqide -help" hangs when installed with the Coq platform, etc.

Using Ctrl-C and running coqide inside gdb may provide some more info on what's going on

Add "coqdoc_header" and "coqdoc_footer" fields.

I didn't forget about this, just no cycles left, sorry. I'll try to merge this soon, but feel free to take over if you got some cycles.

Loc-independent cache behavior may be strange in some cases.

Confirmed in 0.2.0-dev

CI for coq_wasm

> compcert devs don't want to maintain it for Coq master, which means it shouldn't be in the CI (as well as anything depending on it) This is news to...

CI for coq_wasm

Just for historical interest, the (social) mess that resulted in Coq 8.5 badly breaking CompCert is at the origin of the current CI model. I think a very gently post-doc...