JS worker does not compile

[claudemarche]

First of all, let me emphasize that the page Try Alt-Ergo referenced under button new try-alt-ergo does not work anymore.

Second, we need to compile a JS Alt-Ergo worker for TryWhy3, and we did not succeed to compile it anymore, neither for version 2.5.2 (we succeeded before) nor 2.6.2. The dependency on versions of js_of_ocaml must be made more strict.

It would be nice if you could resurrect your try-alt-ergo page, and if, possible, allow us to download the JS worker from there when we need it.

Thanks in advance!

[claudemarche]

Indeed, ideally an opam package for Alt-Ergo JS worker would be great to have, with proper dependencies.

[claudemarche]

I would put the label "Decysif" on this issue if I could... please do it for me.

[Halbaroth]

Ok, I will create a new package for the worker ;)

[claudemarche]

Just to add that we finally succeeded to compile an JS worker from Alt-ergo 2.5.4, with an appropriate older version of Dolmen (0.9) and older version of dune.

This worker is now operational on the new trywhy3 page.

I opened a Why3 issue to update TryWhy3 to AE 2.6, which needs work so as to change input syntax from AE to SMT2