Commits

Branch selector

 master

User selector

coqbot-app[bot]

Datepicker

All time

Commit History

Commits on Jun 16, 2025

• Merge PR #20738: Improve "cannot define a fixpoint" error message (with elim constraints)

  Show description for 494955a
  

  coqbot-app[bot]

  and

  ppedrot

  authored
  494955a

  Copy full SHA for 494955a

Commits on Jun 13, 2025

• Merge PR #20749: End the reign of terror of README.template.rst

  Show description for 780f301
  

  coqbot-app[bot]

  and

  proux01

  authored
  780f301

  Copy full SHA for 780f301

• Merge PR #20751: Update merge-pr script

  Show description for 1a6013f
  

  coqbot-app[bot]

  and

  proux01

  authored
  1a6013f

  Copy full SHA for 1a6013f

• Merge PR #20747: Update pin-ci script

  Show description for 4e1a8c2
  

  coqbot-app[bot]

  and

  proux01

  authored
  4e1a8c2

  Copy full SHA for 4e1a8c2

Commits on Jun 12, 2025

• Merge PR #20748: Refman: add version entry for 9.1

  Show description for df54177
  

  coqbot-app[bot]

  and

  Villetaneuse

  authored
  df54177

  Copy full SHA for df54177

• Merge PR #20745: Update hidden files

  Show description for 34a9bfc
  

  coqbot-app[bot]

  and

  proux01

  authored
  34a9bfc

  Copy full SHA for 34a9bfc

• Merge PR #20725: Update version number for 9.2+alpha

  Show description for ddd66d4
  

  coqbot-app[bot]

  and

  proux01

  authored
  ddd66d4

  Copy full SHA for ddd66d4

Commits on Jun 11, 2025

• Merge PR #20733: Search is possible in open interactive modules

  Show description for e755695
  

  coqbot-app[bot]

  and

  SkySkimmer

  authored
  e755695

  Copy full SHA for e755695

• Merge PR #20737: Update extraction.rst

  Show description for 6df02a7
  

  coqbot-app[bot]

  and

  SkySkimmer

  authored
  6df02a7

  Copy full SHA for 6df02a7

• Merge PR #20732: Fix minor issues in refman

  Show description for 721373b
  

  coqbot-app[bot]

  and

  SkySkimmer

  authored
  721373b

  Copy full SHA for 721373b

• Merge PR #20714: Some stdlib -> corelib renaming

  Show description for db034e0
  

  coqbot-app[bot]

  and

  SkySkimmer

  authored
  db034e0

  Copy full SHA for db034e0

Commits on Jun 10, 2025

• Merge PR #20709: Search for "rocq doc" instead of "coqdoc" in coqdoc/main.py

  Show description for 0db752f
  

  coqbot-app[bot]

  and

  SkySkimmer

  authored
  0db752f

  Copy full SHA for 0db752f

Commits on Jun 9, 2025

• Merge PR #20735: Update parallel-proof-processing.rst

  Show description for 52b1f58
  

  coqbot-app[bot]

  and

  jfehrle

  authored
  52b1f58

  Copy full SHA for 52b1f58

• Merge PR #20696: nativecode don't generate forcecofix for non coinductive primproj

  Show description for eea0e40
  

  coqbot-app[bot]

  and

  ppedrot

  authored
  eea0e40

  Copy full SHA for eea0e40

Commits on Jun 8, 2025

• Merge PR #20726: Fix minor issues in refman

  Show description for b453182
  

  coqbot-app[bot]

  and

  Villetaneuse

  authored
  b453182

  Copy full SHA for b453182

• Merge PR #20715: Cleanup now that we require OCaml >= 4.14.0

  Show description for 2fe6853
  

  coqbot-app[bot]

  and

  ppedrot

  authored
  2fe6853

  Copy full SHA for 2fe6853

• Merge PR #20724: Remove mailing list announcements from release process

  Show description for 790da16
  

  coqbot-app[bot]

  and

  proux01

  authored
  790da16

  Copy full SHA for 790da16

Commits on Jun 7, 2025

• Merge PR #20601: Stricter non-ambiguousness check in Require

  Show description for 43ed79a
  

  coqbot-app[bot]

  and

  proux01

  authored
  43ed79a

  Copy full SHA for 43ed79a

Commits on Jun 6, 2025

• Merge PR #20721: Fix incorrect reset of section polymorphic sorts

  Show description for 6e073e2
  

  coqbot-app[bot]

  and

  tabareau

  authored
  6e073e2

  Copy full SHA for 6e073e2

• Merge PR #20681: Change introduction to Ltac2 refman page

  Show description for 77826ee
  

  coqbot-app[bot]

  and

  proux01

  authored
  77826ee

  Copy full SHA for 77826ee

• Merge PR #20694: Provide names for exns with quotes in doc

  Show description for be45fca
  

  coqbot-app[bot]

  and

  proux01

  authored
  be45fca

  Copy full SHA for be45fca

Commits on Jun 5, 2025

• Merge PR #20718: Fix some typos in refman

  Show description for 0c11f6d
  

  coqbot-app[bot]

  and

  SkySkimmer

  authored
  0c11f6d

  Copy full SHA for 0c11f6d

• Merge PR #20544: Port `rewrite_strat` to Ltac2

  Show description for a1ee0de
  

  coqbot-app[bot]

  and

  SkySkimmer

  authored
  a1ee0de

  Copy full SHA for a1ee0de

Commits on Jun 4, 2025

• Merge PR #20706: Post #20650 fixes

  Show description for 4df59ab
  

  coqbot-app[bot]

  and

  Zimmi48

  authored
  4df59ab

  Copy full SHA for 4df59ab

• Merge PR #20611: Document undocumented options

  Show description for 94d7d99
  

  coqbot-app[bot]

  and

  Zimmi48

  authored
  94d7d99

  Copy full SHA for 94d7d99

• Merge PR #20708: Add check for cofix reduction bug

  Show description for 5e040b6
  

  coqbot-app[bot]

  and

  ppedrot

  authored
  5e040b6

  Copy full SHA for 5e040b6

• Merge PR #20680: Add anchors in Corelib html index

  Show description for 91bce98
  

  coqbot-app[bot]

  and

  SkySkimmer

  authored
  91bce98

  Copy full SHA for 91bce98

• Merge PR #20689: Remove the hypnaming API from Evarutil.

  Show description for b08c32b
  

  coqbot-app[bot]

  and

  SkySkimmer

  authored
  b08c32b

  Copy full SHA for b08c32b

• Merge PR #20432: Backport opam file changes from opam repo

  Show description for 63fb403
  

  coqbot-app[bot]

  and

  SkySkimmer

  authored
  63fb403

  Copy full SHA for 63fb403

• Merge PR #20704: Stop using "dummy_value" in native compute

  Show description for 6c274d1
  

  coqbot-app[bot]

  and

  ppedrot

  authored
  6c274d1

  Copy full SHA for 6c274d1

Commits on Jun 3, 2025

• Merge PR #20703: Nativecode factorize restarting envs

  Show description for cfa8967
  

  coqbot-app[bot]

  and

  ppedrot

  authored
  cfa8967

  Copy full SHA for cfa8967

• Merge PR #20635: Use `;` instead of `|` to separate sorts and univs (eg `Type@{s;u}`)

  Show description for 7d99499
  

  coqbot-app[bot]

  and

  tabareau

  authored
  7d99499

  Copy full SHA for 7d99499

• Merge PR #20701: Slightly improve formatting of dynlink debug message

  Show description for 3b5b99e
  

  coqbot-app[bot]

  and

  ejgallego

  authored
  3b5b99e

  Copy full SHA for 3b5b99e

• Merge PR #20697: Fix doc of `global` for hints

  Show description for 27988cc
  

  coqbot-app[bot]

  and

  Villetaneuse

  authored
  27988cc

  Copy full SHA for 27988cc

• Merge PR #20650: Move source code theories to theories/Corelib and user-contrib/Ltac2 to theories/Ltac2

  Show description for 501ef8d
  

  coqbot-app[bot]

  and

  ppedrot

  authored
  501ef8d

  Copy full SHA for 501ef8d

Pagination

Previous

Next