Commits

Branch selector

 refs/heads/master

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 19, 2024

• Merge pull request #130 from ppedrot/module-expr-type-gadt

  Show description for 32609ca
  SkySkimmer

  authored
  32609ca

Commits on Dec 17, 2024

• Adapt w.r.t. coq/coq#19943.

  ppedrot

  committed
  210a25d

Commits on Sep 17, 2024

• Merge pull request #127 from coq-community/stdlib_repo

  Show description for 992c3a5
  proux01

  authored
  992c3a5

Commits on Sep 16, 2024

• Adapt to coq/coq#19530

  proux01

  committed
  c048b42

Commits on Jun 28, 2024

• Merge pull request #126 from SkySkimmer/template-univs-dupl

  Show description for 5e9bbe7
  ppedrot

  authored
  5e9bbe7

Commits on Jun 27, 2024

• Adapt to coq/coq#19233 (template_universes don't duplicate level data)

  SkySkimmer

  committed
  8696083

Commits on Jun 24, 2024

• Merge pull request #125 from ppedrot/template-linear-levels

  Show description for 66fd506
  proux01

  authored
  66fd506

• Work around the non-linearity of template parameter levels.

  Show description for 62d4e3e
  ppedrot

  committed
  62d4e3e

Commits on May 13, 2024

• Merge pull request #124 from ppedrot/case-info-rm-tags

  Show description for 7db5cb1
  SkySkimmer

  authored
  7db5cb1

Commits on May 3, 2024

• Adapt w.r.t. coq/coq#18996.

  ppedrot

  committed
  22a5700

Commits on Apr 23, 2024

• Merge pull request #123 from SkySkimmer/erelevance

  Show description for 0e58667
  ppedrot

  authored
  0e58667

Commits on Apr 17, 2024

• Adapt to coq/coq#18938 (EConstr.ERelevance)

  SkySkimmer

  committed
  faae4dc

Commits on Apr 16, 2024

• Merge pull request #122 from ppedrot/econstr-inductiveops-api

  Show description for a31475c
  SkySkimmer

  authored
  a31475c

• Adapt w.r.t. coq/coq#18935.

  ppedrot

  committed
  2f74108

Commits on Apr 7, 2024

• Merge pull request #121 from SkySkimmer/indirect

  Show description for 4eba947
  ppedrot

  authored
  4eba947

Commits on Mar 22, 2024

• Adapt to coq/coq#18422 (indirect accessor handled through vernactypes)

  SkySkimmer

  committed
  faa9d3c

Commits on Feb 4, 2024

• Merge pull request #119 from SkySkimmer/temrops-use-evd

  Show description for 5b5ac50
  ppedrot

  authored
  5b5ac50

Commits on Feb 2, 2024

• Adapt to coq/coq#18603 (print_rel_context takes evar map)

  SkySkimmer

  committed
  a8b8529

Commits on Nov 13, 2023

• Merge pull request #118 from SkySkimmer/ci-relevance

  Show description for a61b1b3
  ppedrot

  authored
  a61b1b3

Commits on Nov 9, 2023

• Adapt to coq/coq#18280 (case relevance outside case info)

  SkySkimmer

  committed
  4f9b3f7

Commits on Nov 8, 2023

• Merge pull request #117 from coq-community/fix-doi

  Show description for ec8ad23
  proux01

  authored
  ec8ad23

• Fix DOI

  

  pi8027

  authored and

  proux01

  committed
  259433a

Commits on Nov 6, 2023

• Merge pull request #114 from SkySkimmer/sort-poly

  Show description for 2d25c4c
  ppedrot

  authored
  2d25c4c

Commits on Oct 16, 2023

• Merge pull request #116 from coq-community/coq_18164

  Show description for 1f3d001
  proux01

  authored
  1f3d001

• Adapt to coq/coq#18164

  proux01

  committed
  37522bc

Commits on Oct 4, 2023

• Adapt to coq/coq#17836 (sort poly)

  SkySkimmer

  committed
  a28769f

Commits on Aug 28, 2023

• Merge pull request #113 from herbelin/master+naming-depending-variables

  Show description for 074ba78
  proux01

  authored
  074ba78

• Merge pull request #112 from herbelin/master+stdlib-renamings

  Show description for ead8763
  proux01

  authored
  ead8763

• Merge pull request #111 from herbelin/master+adapt-coq-8.18

  Show description for 0d3b52f
  proux01

  authored
  0d3b52f

Commits on Aug 6, 2023

• Adapt to stdlib renamings and fixes a mispelled constructor.

  herbelin

  committed
  e8d2106

• Give a name derived from the name of the type to dependent variables.

  herbelin

  committed
  ff8df62

• Use of mkConstU and of a new names of decompose_lam & cie.

  Show description for 43997ff
  herbelin

  committed
  43997ff

Commits on Jun 6, 2023

• Merge pull request #110 from SkySkimmer/depr-versions

  Show description for 9d7f66f
  proux01

  authored
  9d7f66f

Commits on Jun 2, 2023

• Adapt to coq/coq#17664 (goptions use Deprecation.t option instead of bool)

  SkySkimmer

  committed
  04f9394

Commits on May 25, 2023

• Merge pull request #109 from SkySkimmer/typing-relevance

  Show description for 93e094a
  ppedrot

  authored
  93e094a

Pagination

PreviousNext