Shachar Itzhaky (Oct 30 2021 at 16:45): Shachar Itzhaky (Oct 30 2021 at 16:45):The new version is now available at https://coq-next.now.sh.
It will become the default at some point, but please let us know if there are any problems with it.
Emilio Jesús Gallego Arias (Nov 01 2021 at 22:34):Looks great, thanks @Shachar Itzhaky ! I get that strange stack overflow on my chromium build, but chrome and firefox seem happy so likely an issue on my end
Ali Caglayan (Nov 01 2021 at 23:34):Sometimes Eval cbv in 500 works sometimes it doesn't.
Ali Caglayan (Nov 01 2021 at 23:35):I am inconsistently getting stackoverflows
Emilio Jesús Gallego Arias (Nov 01 2021 at 23:35):@Ali Caglayan does that happen with 8.13?
Emilio Jesús Gallego Arias (Nov 01 2021 at 23:36):That's because the Javascript JIT triggers non-deterministically
Emilio Jesús Gallego Arias (Nov 03 2021 at 14:08):@Ali Caglayan you can always use wacoq if you are running that kind of stuff
Ali Caglayan (Nov 03 2021 at 14:09):I wasn't doing anything serious just messing around 0:-)
Cyril Cohen (Dec 01 2021 at 13:49):Hi, I do not see any v0.14.0 tag on https://github.com/jscoq/jscoq/tags
Cyril Cohen (Dec 01 2021 at 13:49):What did I miss?
Emilio Jesús Gallego Arias (Dec 01 2021 at 13:58):We didn't do a release yet I guess
Shachar Itzhaky (Dec 03 2021 at 12:05):No what. We did do a release although perhaps I forgot to update the github release page?
Shachar Itzhaky (Dec 03 2021 at 12:05):Oh indeed I forgot to complete the process... silly me
Last updated: Jun 10 2023 at 06:31 UTC