Coq Call 2021 10 13
Gaëtan Gilbert edited this page Oct 14, 2021
·
12 revisions
- October 13th 2021, 4pm-5pm Paris Time
- https://rdv2.rendez-vous.renater.fr/coq-call
- 8.15 date picking
- well known tagging; c.f. https://github.com/coq/coq/issues/3459
- Need progress (none so far) on reviewing #14644 Debugger part 3: display call stack and variable values, last discussed on Sept 8. Let's make sure it's in 8.15 and not leave it to the last minute. (Jim)
- 14536 Cleaner fix for layout issue of #10578 (Jim)
- meaning of issue assignment
- Standardize error message output for customized machine readability (Ali)
- Discuss/feedback for https://github.com/coq/coq/pull/14997 (Ali)
- 8.15 feature freeze on November 15th.
- Long discussion about deprecation warnings not being adressed in the CI. Two solutions to improve this:
- alert the developers by pinging them explicitely to fix the warning
- tooling help to display the warnings summary on CI
- known issues plan: have a tag for long-known issues on github, work on documenting these limitations in the manual (e.g. Ltac and clear) and indexing them for easier search.
- progress on #14644 with Emilio and Pierre-Marie, looks like it can make it to 8.15.
- 14536: let's leave it as is, sadly we have to do this guesswork in gtk3 to avoid the flickering effect.
To the extent possible under law, the contributors of “Cocorico!, the Coq wiki” have waived all copyright and related or neighboring rights to their contributions.
By contributing to Cocorico!, the Coq wiki, you agree that you hold the copyright and you agree to license your contribution under the CC0 license or you agree that you have permission to distribute your contribution under the CC0 license.