Guillaume Bury
Guillaume Bury
I guess the solution would be to somehow have a way to "cancel" the computation of diagnostics, so that when a new update arrives, if the diagnostic-generating function is still...
> yes, I use a "switch" like construct to cancel previous computations when a document is updated. I think `Lwt_switch.t` can do it. Sure, but that only works if your...
Indeed, and it might be reasonable, at least from inside `linol`.
This looks ok once @Stevendeo 's comments are addressed.
If you want to understand this a bit more, you can grep for "selector" in the [smtlib language reference pdf](https://smtlib.cs.uiowa.edu/papers/smt-lib-reference-v2.6-r2021-05-12.pdf)
I guess that setting `(implicit_transitive_deps false)` in the `dune-project` file might be what triggers the bug and make it require qcheck-core ?
Yes, `dolmen` works on windows ! I've worked hard to ensure that (and I have CI to check for that as well).
Small caveat: on windows, time limits are slightly less reliable since they use the GC alarm mechanism instead of Unix timers, but I don't think it's a problem.
Well... the flambda2 repo is currently in the middle of a big backport to bring it up to date with the multicore release, and I think that as of now,...
Note: in the response to `(get-objectives)`, I would only expect a single objective constraint, because the first one appearing in the problem (the `maximize` on line 6), has effectively been...