Guillaume Bury
Guillaume Bury
https://github.com/ocaml/opam-repository/pull/24509 might solve the CI problems. Will try again once it is merged.
Indeed, I'll try and see if there is an easily reasonable way to do that.
So, this issue will be fixed, but it will take a bit of time. Basically my roadmap currently is: finish higher-order for Dolmen (soon !), then get on with writing...
Sure ! I might a bit too busy this week because of the deadline for the SMT workshop, but I'll try and make a release as soon as possible.
Apologies, I've been swamped these last few weeks (both with work and other personal things). My plan is now to try and cut a `0.10` release using the current `master`...
Version 0.10 has just been released ! Release page : https://github.com/Gbury/dolmen/releases/tag/v0.10 Again, apologies for the delay.
Right, I'll improve the syntax error message for that case (probably after the holidays though). The reason for using a boolean instead of a flag is that it's easier if/when...
Ah, that's an unfortunate problem of the current code, which uses the same type for `Bool` and `Prop`, which is correct, but lead to currently poor/confusing error messages. Ideally the...
No real reason, I just didn't really think about that situation. In such a case though, what would be the expected output of `dolmen` when asked to verify an model...
That would work. I'll probably implement that soon.