Guillaume Bury
Guillaume Bury
This is all a bit complicated, but I'd say: - to ensure a set amount of cpu ressources, the best best would probably be to set the cpu affinity (see,...
I have two small questions: - I'd guess that abstract types exposed in an interface must be given a layout or else, the layout is assumed to be `value`, to...
Sure, I'll try and make a PR as soon as possible
Seems like there is already support for it using the `OCAMLPARAM` env variable, is it enough ?
So, I'd like to try and do a PR on the ocaml repo to add support for the `OCAML_COLOR` env variable. However, since `OCAMLPARAM` is also currently used, what should...
Dolmen should indeed aggregate together consecutive quantifications (assuming that there are no trigger annotations in the middle).
I don't think this should happen in smtlibv3 (but it's been a long time since I looked at its specification). However, one of the reasons that dolmen does not enforce...
Note: it is easy for Dolmen to change that behavior and for instance treat as errors a problem that would try to redefine/shadow a builtin type (that is already being...
From what I understand the new API exposed by systemd comes from a rework of cgroups at the kernel level, which would only allow a single application to handle cgroups...
I'll add that warning (maybe behind a cli flag, but I'm not sure yet).