Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Short-term roadmap for Coq #69

Draft
wants to merge 52 commits into
base: master
Choose a base branch
from
Draft

Short-term roadmap for Coq #69

wants to merge 52 commits into from

Commits on Jul 17, 2023

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

    @Zimmi48
    Zimmi48 committed Jul 17, 2023
    Configuration menu
    Copy the full SHA
    9b75f25 View commit details
    Browse the repository at this point in the history

  2. Edits after meeting with Nicolas.

    @Zimmi48
    Zimmi48 committed Jul 17, 2023
    Configuration menu
    Copy the full SHA
    564fa10 View commit details
    Browse the repository at this point in the history

  3. add Yann Leray

    @tabareau
    tabareau authored Jul 17, 2023
    Configuration menu
    Copy the full SHA
    07b78d0 View commit details
    Browse the repository at this point in the history

  4. Add Nicolas to the CEP drivers.

    @Zimmi48
    Zimmi48 authored Jul 17, 2023
    Configuration menu
    Copy the full SHA
    03caa41 View commit details
    Browse the repository at this point in the history

Commits on Jul 18, 2023

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

    @TheoWinterhalter
    TheoWinterhalter authored Jul 18, 2023
    Configuration menu
    Copy the full SHA
    a3d8194 View commit details
    Browse the repository at this point in the history

Commits on Jul 19, 2023

  1. 069 coq roadmap: sell a bit more rewrite rules

    @TheoWinterhalter
    TheoWinterhalter authored Jul 19, 2023
    Configuration menu
    Copy the full SHA
    35f6767 View commit details
    Browse the repository at this point in the history

  2. Update text/069-coq-roadmap.md

    @Zimmi48
    Zimmi48 authored Jul 19, 2023
    Configuration menu
    Copy the full SHA
    0d72bfc View commit details
    Browse the repository at this point in the history

  3. Merge pull request #70 from TheoWinterhalter/patch-1 

    Draft rewrite rules for 069-coq-roadmap.md
    @Zimmi48
    Zimmi48 authored Jul 19, 2023
    Configuration menu
    Copy the full SHA
    12029f9 View commit details
    Browse the repository at this point in the history

Commits on Aug 1, 2023

  1. Splitting very long lines. 

    Co-authored-by: Jim Fehrle <[email protected]>
    @Zimmi48 @jfehrle
    Zimmi48 and jfehrle authored Aug 1, 2023
    Configuration menu
    Copy the full SHA
    cb6f23f View commit details
    Browse the repository at this point in the history

Commits on Aug 4, 2023

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

    @Zimmi48
    Zimmi48 authored Aug 4, 2023
    Configuration menu
    Copy the full SHA
    1e56e11 View commit details
    Browse the repository at this point in the history

Commits on Aug 7, 2023

  1. Fix typo. 

    Co-authored-by: Jim Fehrle <[email protected]>
    @Zimmi48 @jfehrle
    Zimmi48 and jfehrle authored Aug 7, 2023
    Configuration menu
    Copy the full SHA
    440b7cd View commit details
    Browse the repository at this point in the history

Commits on Sep 26, 2023

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

    @herbelin
    herbelin authored Sep 26, 2023
    Configuration menu
    Copy the full SHA
    ca1ccbf View commit details
    Browse the repository at this point in the history

  2. Update 069-coq-roadmap.md

    @gares
    gares authored Sep 26, 2023
    Configuration menu
    Copy the full SHA
    cb57a6d View commit details
    Browse the repository at this point in the history

  3. Update text/069-coq-roadmap.md

    @gares
    gares authored Sep 26, 2023
    Configuration menu
    Copy the full SHA
    641d53a View commit details
    Browse the repository at this point in the history

  4. Update 069-coq-roadmap.md 

    Talk about the universe polymorphism roadmap
    @mattam82
    mattam82 authored Sep 26, 2023
    Configuration menu
    Copy the full SHA
    24406ff View commit details
    Browse the repository at this point in the history

Commits on Sep 27, 2023

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

    @SkySkimmer
    SkySkimmer authored Sep 27, 2023
    Configuration menu
    Copy the full SHA
    161d40b View commit details
    Browse the repository at this point in the history

Commits on Sep 29, 2023

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

    Update 069-coq-roadmap.md
    @Zimmi48
    Zimmi48 authored Sep 29, 2023
    Configuration menu
    Copy the full SHA
    973a85d View commit details
    Browse the repository at this point in the history

  2. Merge pull request #75 from coq/gares-roadmap 

    Add STM retirement to 069-coq-roadmap.md
    @Zimmi48
    Zimmi48 authored Sep 29, 2023
    Configuration menu
    Copy the full SHA
    9bdbd39 View commit details
    Browse the repository at this point in the history

Commits on Oct 3, 2023

  1. Update 069-coq-roadmap.md

    @gares
    gares authored Oct 3, 2023
    Configuration menu
    Copy the full SHA
    8b9c8fd View commit details
    Browse the repository at this point in the history

Commits on Oct 4, 2023

  1. Add ressources to "move stdlib to coq-community"

    @proux01
    proux01 committed Oct 4, 2023
    Configuration menu
    Copy the full SHA
    22b6e7b View commit details
    Browse the repository at this point in the history

  2. small explanation of the ltac2 item

    @SkySkimmer
    SkySkimmer authored Oct 4, 2023
    Configuration menu
    Copy the full SHA
    1ec6a9c View commit details
    Browse the repository at this point in the history

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

    @SkySkimmer
    SkySkimmer authored Oct 4, 2023
    Configuration menu
    Copy the full SHA
    d453219 View commit details
    Browse the repository at this point in the history

  4. Update 069-coq-roadmap.md

    @SkySkimmer
    SkySkimmer authored Oct 4, 2023
    Configuration menu
    Copy the full SHA
    1ca6088 View commit details
    Browse the repository at this point in the history

Commits on Oct 5, 2023

  1. Revert title of "Demote stdlib" section

    @proux01
    proux01 committed Oct 5, 2023
    Configuration menu
    Copy the full SHA
    5ac7604 View commit details
    Browse the repository at this point in the history

Commits on Oct 6, 2023

  1. Wording improvement. 

    Co-authored-by: Jim Fehrle <[email protected]>
    @Zimmi48 @jfehrle
    Zimmi48 and jfehrle authored Oct 6, 2023
    Configuration menu
    Copy the full SHA
    20ec62f View commit details
    Browse the repository at this point in the history

Commits on Oct 8, 2023

  1. Update 069-coq-roadmap.md 

    Move fixpoints/section (except global fixpoints) to section with resources
    @herbelin
    herbelin authored Oct 8, 2023
    Configuration menu
    Copy the full SHA
    cf29405 View commit details
    Browse the repository at this point in the history

  2. Update 069-coq-roadmap.md 

    Link to general recursive notations
    @herbelin
    herbelin authored Oct 8, 2023
    Configuration menu
    Copy the full SHA
    66f4a7a View commit details
    Browse the repository at this point in the history

Commits on Oct 10, 2023

  1. Extend Ltac2 roadmap a bit.

    @ppedrot
    ppedrot committed Oct 10, 2023
    Configuration menu
    Copy the full SHA
    a51d5f4 View commit details
    Browse the repository at this point in the history

  2. Update 069-coq-roadmap.md

    @yforster
    yforster authored Oct 10, 2023
    Configuration menu
    Copy the full SHA
    fa6d9a7 View commit details
    Browse the repository at this point in the history

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

    @silene
    silene authored Oct 10, 2023
    Configuration menu
    Copy the full SHA
    770a30b View commit details
    Browse the repository at this point in the history

  4. Update 069-coq-roadmap.md

    @gares
    gares authored Oct 10, 2023
    Configuration menu
    Copy the full SHA
    ec59e93 View commit details
    Browse the repository at this point in the history

  5. Update 069-coq-roadmap.md

    @SkySkimmer
    SkySkimmer authored Oct 10, 2023
    Configuration menu
    Copy the full SHA
    15122d1 View commit details
    Browse the repository at this point in the history

Commits on Oct 11, 2023

  1. add renaming Coq -> Rocq

    @tabareau
    tabareau authored Oct 11, 2023
    Configuration menu
    Copy the full SHA
    9f3238d View commit details
    Browse the repository at this point in the history

  2. minor fixes

    @tabareau
    tabareau authored Oct 11, 2023
    Configuration menu
    Copy the full SHA
    993481d View commit details
    Browse the repository at this point in the history

  3. fix name

    @tabareau
    tabareau authored Oct 11, 2023
    Configuration menu
    Copy the full SHA
    cbbc0ce View commit details
    Browse the repository at this point in the history

  4. Promise a CEP to plan stdlib changes

    @proux01
    proux01 committed Oct 11, 2023
    Configuration menu
    Copy the full SHA
    eb86523 View commit details
    Browse the repository at this point in the history

  5. Update 069-coq-roadmap.md

    @yforster
    yforster authored Oct 11, 2023
    Configuration menu
    Copy the full SHA
    fa1f1d5 View commit details
    Browse the repository at this point in the history

  6. Merge pull request #79 from yforster/patch-2 

    Update 069-coq-roadmap.md
    @tabareau
    tabareau authored Oct 11, 2023
    Configuration menu
    Copy the full SHA
    43a1744 View commit details
    Browse the repository at this point in the history

Commits on Oct 22, 2023

  1. Update 069-coq-roadmap.md: docstrings

    @herbelin
    herbelin authored Oct 22, 2023
    Configuration menu
    Copy the full SHA
    6b98014 View commit details
    Browse the repository at this point in the history

Commits on Oct 24, 2023

  1. Restructure roadmap into short, medium and long term. 

    With special focus on short term roadmap for now.
    @Zimmi48
    Zimmi48 authored Oct 24, 2023
    Configuration menu
    Copy the full SHA
    f8ebc9f View commit details
    Browse the repository at this point in the history

  2. fixup! Restructure roadmap 

    Co-authored-by: Pierre Roux <[email protected]>
    @Zimmi48 @proux01
    Zimmi48 and proux01 authored Oct 24, 2023
    Configuration menu
    Copy the full SHA
    99efed4 View commit details
    Browse the repository at this point in the history

  3. Fix typo.

    @Zimmi48
    Zimmi48 authored Oct 24, 2023
    Configuration menu
    Copy the full SHA
    8e06250 View commit details
    Browse the repository at this point in the history

Commits on Oct 26, 2023

  1. Add a paragraph about parsing

    @proux01
    proux01 committed Oct 26, 2023
    Configuration menu
    Copy the full SHA
    e622f78 View commit details
    Browse the repository at this point in the history

Commits on Nov 7, 2023

  1. Wording improvements. 

    Co-authored-by: Jim Fehrle <[email protected]>
    @Zimmi48 @jfehrle
    Zimmi48 and jfehrle authored Nov 7, 2023
    Configuration menu
    Copy the full SHA
    8f5fef3 View commit details
    Browse the repository at this point in the history

  2. Move things around and detail a bit more some aspects of the medium t… 

    …erm roadmap.
    @Zimmi48
    Zimmi48 authored Nov 7, 2023
    Configuration menu
    Copy the full SHA
    84ddd43 View commit details
    Browse the repository at this point in the history

Commits on Dec 18, 2023

  1. Update 069-coq-roadmap.md

    @SkySkimmer
    SkySkimmer authored Dec 18, 2023
    Configuration menu
    Copy the full SHA
    f46000b View commit details
    Browse the repository at this point in the history

Commits on Feb 6, 2024

  1. Link to stdlib CEP

    @proux01
    proux01 committed Feb 6, 2024
    Configuration menu
    Copy the full SHA
    20a90fc View commit details
    Browse the repository at this point in the history

  2. Move parsing-recovery-mechanism removal to longer term

    @proux01
    proux01 committed Feb 6, 2024
    Configuration menu
    Copy the full SHA
    5487a1b View commit details
    Browse the repository at this point in the history

  3. Add people and timing to parsing task

    @proux01
    proux01 committed Feb 6, 2024
    Configuration menu
    Copy the full SHA
    a4a81c1 View commit details
    Browse the repository at this point in the history

Commits on Feb 22, 2024

  1. Update 069-coq-roadmap.md

    @SkySkimmer
    SkySkimmer authored Feb 22, 2024
    Configuration menu
    Copy the full SHA
    43f96b1 View commit details
    Browse the repository at this point in the history

Commits on Sep 10, 2024

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

    @SkySkimmer
    SkySkimmer committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    609c3b4 View commit details
    Browse the repository at this point in the history

Commits on Sep 26, 2024

  1. Fix various typos.

    @Zimmi48
    Zimmi48 authored Sep 26, 2024
    Configuration menu
    Copy the full SHA
    fcf08d0 View commit details
    Browse the repository at this point in the history