Stream: jsCoq

Topic: New version 0.14.0


view this post on Zulip 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.

view this post on Zulip 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

view this post on Zulip Ali Caglayan (Nov 01 2021 at 23:34):

Sometimes Eval cbv in 500 works sometimes it doesn't.

view this post on Zulip Ali Caglayan (Nov 01 2021 at 23:35):

I am inconsistently getting stackoverflows

view this post on Zulip Emilio Jesús Gallego Arias (Nov 01 2021 at 23:35):

@Ali Caglayan does that happen with 8.13?

view this post on Zulip Emilio Jesús Gallego Arias (Nov 01 2021 at 23:36):

That's because the Javascript JIT triggers non-deterministically

view this post on Zulip 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

view this post on Zulip Ali Caglayan (Nov 03 2021 at 14:09):

I wasn't doing anything serious just messing around 0:-)

view this post on Zulip 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

view this post on Zulip Cyril Cohen (Dec 01 2021 at 13:49):

What did I miss?

view this post on Zulip Emilio Jesús Gallego Arias (Dec 01 2021 at 13:58):

We didn't do a release yet I guess

view this post on Zulip 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?

view this post on Zulip Shachar Itzhaky (Dec 03 2021 at 12:05):

Oh indeed I forgot to complete the process... silly me


Last updated: Jan 30 2023 at 17:03 UTC