Code

Short-term roadmap for Coq#69

Code

Draft

Zimmi48 wants to merge 52 commits intomasterrocq-prover/rfcs:masterfrom coq-roadmaprocq-prover/rfcs:coq-roadmapCopy head branch name to clipboard

Commits

Commits on Jul 17, 2023

• First draft of Coq roadmap based on initial discussion at CUDW 2023.

  Zimmi48

  committed
  9b75f25

  Copy full SHA for 9b75f25

• Edits after meeting with Nicolas.

  Zimmi48

  committed
  564fa10

  Copy full SHA for 564fa10

• add Yann Leray

  tabareau

  authored
  07b78d0

  Copy full SHA for 07b78d0

• Add Nicolas to the CEP drivers.

  Zimmi48

  authored
  03caa41

  Copy full SHA for 03caa41

Commits on Jul 18, 2023

• Draft rewrite rules for 069-coq-roadmap.md

  TheoWinterhalter

  authored
  a3d8194

  Copy full SHA for a3d8194

Commits on Jul 19, 2023

• 069 coq roadmap: sell a bit more rewrite rules

  TheoWinterhalter

  authored
  35f6767

  Copy full SHA for 35f6767

• Update text/069-coq-roadmap.md

  Zimmi48

  authored
  0d72bfc

  Copy full SHA for 0d72bfc

• Merge pull request #70 from TheoWinterhalter/patch-1

  Show description for 12029f9
  Zimmi48

  authored
  12029f9

  Copy full SHA for 12029f9

Commits on Aug 1, 2023

• Splitting very long lines.

  Show description for cb6f23f
  

  Zimmi48

  and

  jfehrle

  authored
  cb6f23f

  Copy full SHA for cb6f23f

Commits on Aug 4, 2023

• Add description of the promote platform / demote stdlib items.

  Zimmi48

  authored
  1e56e11

  Copy full SHA for 1e56e11

Commits on Aug 7, 2023

• Fix typo.

  Show description for 440b7cd
  

  Zimmi48

  and

  jfehrle

  authored
  440b7cd

  Copy full SHA for 440b7cd

Commits on Sep 26, 2023

• Update 069-coq-roadmap.md (fixpoints and sections)

  herbelin

  authored
  ca1ccbf

  Copy full SHA for ca1ccbf

• Update 069-coq-roadmap.md

  gares

  authored
  cb57a6d

  Copy full SHA for cb57a6d

• Update text/069-coq-roadmap.md

  gares

  authored
  641d53a

  Copy full SHA for 641d53a

• Update 069-coq-roadmap.md

  Show description for 24406ff
  mattam82

  authored
  24406ff

  Copy full SHA for 24406ff

Commits on Sep 27, 2023

• Update 069-coq-roadmap.md for sort poly

  SkySkimmer

  authored
  161d40b

  Copy full SHA for 161d40b

Commits on Sep 29, 2023

• Merge pull request #76 from coq/mattam82-patch-1

  Show description for 973a85d
  Zimmi48

  authored
  973a85d

  Copy full SHA for 973a85d

• Merge pull request #75 from coq/gares-roadmap

  Show description for 9bdbd39
  Zimmi48

  authored
  9bdbd39

  Copy full SHA for 9bdbd39

Commits on Oct 3, 2023

• Update 069-coq-roadmap.md

  gares

  authored
  8b9c8fd

  Copy full SHA for 8b9c8fd

Commits on Oct 4, 2023

• Add ressources to "move stdlib to coq-community"

  proux01

  committed
  22b6e7b

  Copy full SHA for 22b6e7b

• small explanation of the ltac2 item

  SkySkimmer

  authored
  1ec6a9c

  Copy full SHA for 1ec6a9c

• Merge pull request #77 from coq/gares-patch-69

  SkySkimmer

  authored
  d453219

  Copy full SHA for d453219

• Update 069-coq-roadmap.md

  SkySkimmer

  authored
  1ca6088

  Copy full SHA for 1ca6088

Commits on Oct 5, 2023

• Revert title of "Demote stdlib" section

  proux01

  committed
  5ac7604

  Copy full SHA for 5ac7604

Commits on Oct 6, 2023

• Wording improvement.

  Show description for 20ec62f
  

  Zimmi48

  and

  jfehrle

  authored
  20ec62f

  Copy full SHA for 20ec62f

Commits on Oct 8, 2023

• Update 069-coq-roadmap.md

  Show description for cf29405
  herbelin

  authored
  cf29405

  Copy full SHA for cf29405

• Update 069-coq-roadmap.md

  Show description for 66f4a7a
  herbelin

  authored
  66f4a7a

  Copy full SHA for 66f4a7a

Commits on Oct 10, 2023

• Extend Ltac2 roadmap a bit.

  ppedrot

  committed
  a51d5f4

  Copy full SHA for a51d5f4

• Update 069-coq-roadmap.md

  yforster

  authored
  fa6d9a7

  Copy full SHA for fa6d9a7

• Update 069-coq-roadmap.md with proper links to PRs

  silene

  authored
  770a30b

  Copy full SHA for 770a30b

• Update 069-coq-roadmap.md

  gares

  authored
  ec59e93

  Copy full SHA for ec59e93

• Update 069-coq-roadmap.md

  SkySkimmer

  authored
  15122d1

  Copy full SHA for 15122d1

Commits on Oct 11, 2023

• add renaming Coq -> Rocq

  tabareau

  authored
  9f3238d

  Copy full SHA for 9f3238d

• minor fixes

  tabareau

  authored
  993481d

  Copy full SHA for 993481d

• fix name

  tabareau

  authored
  cbbc0ce

  Copy full SHA for cbbc0ce

• Promise a CEP to plan stdlib changes

  proux01

  committed
  eb86523

  Copy full SHA for eb86523

• Update 069-coq-roadmap.md

  yforster

  authored
  fa1f1d5

  Copy full SHA for fa1f1d5

• Merge pull request #79 from yforster/patch-2

  Show description for 43a1744
  tabareau

  authored
  43a1744

  Copy full SHA for 43a1744

Commits on Oct 22, 2023

• Update 069-coq-roadmap.md: docstrings

  herbelin

  authored
  6b98014

  Copy full SHA for 6b98014

Commits on Oct 24, 2023

• Restructure roadmap into short, medium and long term.

  Show description for f8ebc9f
  Zimmi48

  authored
  f8ebc9f

  Copy full SHA for f8ebc9f

• fixup! Restructure roadmap

  Show description for 99efed4
  

  Zimmi48

  and

  proux01

  authored
  99efed4

  Copy full SHA for 99efed4

• Fix typo.

  Zimmi48

  authored
  8e06250

  Copy full SHA for 8e06250

Commits on Oct 26, 2023

• Add a paragraph about parsing

  proux01

  committed
  e622f78

  Copy full SHA for e622f78

Commits on Nov 7, 2023

• Wording improvements.

  Show description for 8f5fef3
  

  Zimmi48

  and

  jfehrle

  authored
  8f5fef3

  Copy full SHA for 8f5fef3

• Move things around and detail a bit more some aspects of the medium term roadmap.

  Zimmi48

  authored
  84ddd43

  Copy full SHA for 84ddd43

Commits on Dec 18, 2023

• Update 069-coq-roadmap.md

  SkySkimmer

  authored
  f46000b

  Copy full SHA for f46000b

Commits on Feb 6, 2024

• Link to stdlib CEP

  proux01

  committed
  20a90fc

  Copy full SHA for 20a90fc

• Move parsing-recovery-mechanism removal to longer term

  proux01

  committed
  5487a1b

  Copy full SHA for 5487a1b

• Add people and timing to parsing task

  proux01

  committed
  a4a81c1

  Copy full SHA for a4a81c1

Commits on Feb 22, 2024

• Update 069-coq-roadmap.md

  SkySkimmer

  authored
  43f96b1

  Copy full SHA for 43f96b1

Commits on Sep 10, 2024

• update roadmap: remove sort poly (done), add template poly section

  SkySkimmer

  committed
  609c3b4

  Copy full SHA for 609c3b4

Commits on Sep 26, 2024

• Fix various typos.

  Zimmi48

  authored
  fcf08d0

  Copy full SHA for fcf08d0