Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Feb 29, 2024

• Merge PR #18731: zify: saturate before translating division to equations

  Show description for be84413
  

  coqbot-app[bot]

  and

  fajb

  authored
  be84413

  Copy full SHA for be84413

• Merge PR #18734: Changelog for #18670

  Show description for 8354e7f
  

  coqbot-app[bot]

  and

  proux01

  authored
  8354e7f

  Copy full SHA for 8354e7f

• Changelog for #18670

  SkySkimmer

  committed
  01d0d0c

  Copy full SHA for 01d0d0c

• zify: saturate before translatiing division to equations

  andres-erbsen

  committed
  0798fd4

  Copy full SHA for 0798fd4

Commits on Feb 28, 2024

• Merge PR #18726: [CI] Exclude new ModelCategories from UniMath

  Show description for cd966bb
  

  coqbot-app[bot]

  and

  SkySkimmer

  authored
  cd966bb

  Copy full SHA for cd966bb

• Merge PR #18670: Make "Found no matching notation to enable or disable." a warning

  Show description for c84de26
  

  coqbot-app[bot]

  and

  herbelin

  authored
  c84de26

  Copy full SHA for c84de26

• [CI] Exclude new ModelCategories from UniMath

  Show description for a844a41
  proux01

  committed
  a844a41

  Copy full SHA for a844a41

• Merge PR #18622: Split timing tests

  Show description for de96efa
  

  coqbot-app[bot]

  and

  ejgallego

  authored
  de96efa

  Copy full SHA for de96efa

• Merge PR #18716: Always set `Sys.catch_break true`, not just when interactive

  Show description for 808d19b
  

  coqbot-app[bot]

  and

  ejgallego

  authored
  808d19b

  Copy full SHA for 808d19b

• Merge PR #18719: Reduce dependencies on ltac_plugin + stricter type for vernac_argument extend

  Show description for db9438b
  

  coqbot-app[bot]

  and

  ejgallego

  authored
  db9438b

  Copy full SHA for db9438b

• Merge PR #18618: Fixes #9086: make "cbv" behave like other reductions with respect to unfoldable primitive projections

  Show description for 83c7256
  

  coqbot-app[bot]

  and

  SkySkimmer

  authored
  83c7256

  Copy full SHA for 83c7256

Commits on Feb 27, 2024

• Merge PR #18679: add Trakt to Coq's CI

  Show description for b7de03c
  

  coqbot-app[bot]

  and

  SkySkimmer

  authored
  b7de03c

  Copy full SHA for b7de03c

• add Trakt to Coq's CI

  

  louiseddp

  authored and

  SkySkimmer

  committed
  a91f50b

  Copy full SHA for a91f50b

• Merge PR #18723: Fix changelog category for #17321

  Show description for d013083
  

  coqbot-app[bot]

  and

  ejgallego

  authored
  d013083

  Copy full SHA for d013083

• Fix changelog category for #17321

  SkySkimmer

  committed
  6640ee4

  Copy full SHA for 6640ee4

• Always set `Sys.catch_break true`, not just when interactive

  Show description for b43cf71
  SkySkimmer

  committed
  b43cf71

  Copy full SHA for b43cf71

• Merge PR #18696: Update changelog for 8.19.1

  Show description for 665c5e6
  

  coqbot-app[bot]

  and

  proux01

  authored
  665c5e6

  Copy full SHA for 665c5e6

• overlay for vernac_arg_extend + less ltac deps

  SkySkimmer

  committed
  3550b36

  Copy full SHA for 3550b36

• Stricter type for vernac_argument_extend (empty instead of unit)

  SkySkimmer

  committed
  0b4dbe4

  Copy full SHA for 0b4dbe4

• Reduce dependencies on ltac_plugin

  Show description for 907390a
  SkySkimmer

  committed
  907390a

  Copy full SHA for 907390a

• Merge PR #18648: Add autosubst-ocaml to CI

  Show description for 87ca4b9
  

  coqbot-app[bot]

  and

  SkySkimmer

  authored
  87ca4b9

  Copy full SHA for 87ca4b9

• Merge PR #18688: Use more tail-recursion in lia to avoid stack overflows.

  Show description for 009deb7
  

  coqbot-app[bot]

  and

  SkySkimmer

  authored
  009deb7

  Copy full SHA for 009deb7

• Change log for #18618

  Show description for be969c8
  

  herbelin

  and

  SkySkimmer

  committed
  be969c8

  Copy full SHA for be969c8

• Merge PR #18708: Very rough cleanup of the CClosure pattern implementation

  Show description for 3ed3fc2
  

  coqbot-app[bot]

  and

  SkySkimmer

  authored
  3ed3fc2

  Copy full SHA for 3ed3fc2

• Merge PR #18695: Loc for magic version and number check

  Show description for e7179af
  

  coqbot-app[bot]

  and

  SkySkimmer

  authored
  e7179af

  Copy full SHA for e7179af

• Merge PR #18579: Documenting actual behavior of simpl, cbn, and hnf wrt primitive projections and "simpl never"

  Show description for 2692380
  

  coqbot-app[bot]

  and

  SkySkimmer

  authored
  2692380

  Copy full SHA for 2692380

• Merge PR #18710: coqchk --help should exit with 0 not 1.

  Show description for bbc69d2
  

  coqbot-app[bot]

  and

  SkySkimmer

  authored
  bbc69d2

  Copy full SHA for bbc69d2

Commits on Feb 26, 2024

• Merge PR #18720: typo in the doc of ssreflect rewrite multirule

  Show description for 410ba5e
  

  coqbot-app[bot]

  and

  proux01

  authored
  410ba5e

  Copy full SHA for 410ba5e

• type in rewrite multirule

  thery

  committed
  5daaf03

  Copy full SHA for 5daaf03

Commits on Feb 25, 2024

• Does not require "beta" to be set to unfold a primitive projection in "cbv".

  Show description for 4d47e26
  

  herbelin

  and

  SkySkimmer

  committed
  4d47e26

  Copy full SHA for 4d47e26

Commits on Feb 23, 2024

• Merge PR #18524: CoqIDE: A few fixes in file management

  Show description for 954e315
  

  coqbot-app[bot]

  and

  jfehrle

  authored
  954e315

  Copy full SHA for 954e315

• Merge PR #18523: CoqIDE: Improve find/replace UI (margins, icons)

  Show description for 659e848
  

  coqbot-app[bot]

  and

  jfehrle

  authored
  659e848

  Copy full SHA for 659e848

• Merge PR #18651: Fix doc about Extraction AutoInline

  Show description for 8f96423
  

  coqbot-app[bot]

  and

  jfehrle

  authored
  8f96423

  Copy full SHA for 8f96423

• Make the exit code an argument.

  Show description for f113147
  bschommer

  committed
  f113147

  Copy full SHA for f113147

• Merge PR #17321: Fix #16288: wrongly self-referencing extraction of primitive projections in functors

  Show description for 6208d8c
  

  coqbot-app[bot]

  and

  ppedrot

  authored
  6208d8c

  Copy full SHA for 6208d8c

Pagination

Previous

Next