Pierre Villemot
Pierre Villemot
It seems that `dune` failed to run the rule that generates the manpage from the command line. Did you look the output file `~/.opam/log/alt-ergo-4646-833ca9.out`? Maybe there is a relation with...
@wzyb-52 did you manage to install alt-ergo?
Ok, glad to hear that it works now. I close the issue as we cannot reproduce it.
It seems that it does not solve #1023 ... The script: ```ocaml open AltErgoLib module Container = (val Sat_solver.get_current ()) module SAT = Container.Make (Theory.Main_Default) let mk_gf ff = Expr.{...
I made some progress. The previous script failed because I used `Expr.faux` instead of `Expr.vrai` ... now the following script works as expected: ```ocaml open AltErgoLib module SAT = Satml_frontend.Make...
#1294 should fix the bug on next. I didn't rebase this PR on #1294 to keep the smaller diff.
Ready for a second review. I removed `get_first_interpretation` and `get_every_interpretation` in #1299.
I closed #1300 and put the commit at the end of this PR. During the last dev meeting, you suggested to remove `env.last_saved_model` and compute models only when the user...
Good news, I got +1-0 on ae-format and the solver is not slower. I think that we should merge this PR and I will refactor the way we generate models...
Should be ready for reviewing. I am running some tests to be sure that I did not break anything with variables.