Code

Coq master merge#381

Code

Merged

gares merged 11 commits intomath-comp:coq-mastermath-comp/hierarchy-builder:coq-masterfrom proux01:coq-master-mergeproux01/hierarchy-builder:coq-master-mergeCopy head branch name to clipboardAug 29, 2023

+112-19

Commits

Commits on Jun 13, 2023

• speedup: do not use grafting :before, currently inefficient

  gares

  committed
  b2b8e80

  Copy full SHA for b2b8e80

• fix tests for 8.17

  gares

  committed
  489c11d

  Copy full SHA for 489c11d

Commits on Jun 14, 2023

• Merge pull request math-comp#362 from math-comp/speedup-insertion

  Show description for 8cdd965
  CohenCyril

  authored
  8cdd965

  Copy full SHA for 8cdd965

• Fix tests for Coq 8.15 and 8.16

  proux01

  committed
  b9cd711

  Copy full SHA for b9cd711

• [CI] Fix config

  proux01

  committed
  1f2c8e1

  Copy full SHA for 1f2c8e1

• Merge pull request math-comp#365 from proux01/fix_ci

  Show description for 3b54647
  CohenCyril

  authored
  3b54647

  Copy full SHA for 3b54647

Commits on Jul 5, 2023

• Do not spill predicated defined later

  

  proux01

  authored and

  gares

  committed
  6a48660

  Copy full SHA for 6a48660

• Merge pull request math-comp#373 from math-comp/fix-spill-next-coq-elpi

  Show description for c24ca1c
  gares

  authored
  c24ca1c

  Copy full SHA for c24ca1c

Commits on Aug 4, 2023

• close changelog & update opam

  Show description for 420d633
  gares

  committed
  420d633

  Copy full SHA for 420d633

• Merge pull request math-comp#377 from math-comp/update-opam

  Show description for c4f2361
  gares

  authored
  c4f2361

  Copy full SHA for c4f2361

Commits on Aug 29, 2023

• Merge remote-tracking branch 'origin/master' into coq-master

  proux01

  committed
  fdf920f

  Copy full SHA for fdf920f