Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Aug 25, 2021

• Merge PR #14797: More accurate IllTypedInstance error messages

  Show description for 18fe7e8
  ppedrot

  committed
  18fe7e8

  Copy full SHA for 18fe7e8

Commits on Aug 24, 2021

• Merge PR #14525: Include floats in the number notation mechanism

  Show description for 1c35001
  

  coqbot-app[bot]

  and

  JasonGross

  authored
  1c35001

  Copy full SHA for 1c35001

• Merge PR #14354: Debugger: mapping between absolute filenames and dirpaths

  Show description for d87fe8d
  ppedrot

  committed
  d87fe8d

  Copy full SHA for d87fe8d

Commits on Aug 23, 2021

• Include the file's module name in Loc.t in coqc

  jfehrle

  committed
  4ae8687

  Copy full SHA for 4ae8687

• Merge PR #14767: Preserve \r in XML and don't bump the line count for it

  Show description for f0f9090
  ppedrot

  committed
  f0f9090

  Copy full SHA for f0f9090

• Merge PR #14779: More modular typed_vernac implementation

  Show description for b4f117a
  

  coqbot-app[bot]

  and

  Alizter

  authored
  b4f117a

  Copy full SHA for b4f117a

• Merge PR #14716: Fix unexpected vertical formatting of goal conclusion

  ppedrot

  committed
  9173998

  Copy full SHA for 9173998

• Merge PR #14792: Small configure cleanup: prefs not mutable after args parsing

  Show description for 3dadc41
  

  coqbot-app[bot]

  and

  Alizter

  authored
  3dadc41

  Copy full SHA for 3dadc41

Commits on Aug 21, 2021

• More accurate IllTypedInstance error messages.

  Show description for 26a5b65
  herbelin

  committed
  26a5b65

  Copy full SHA for 26a5b65

Commits on Aug 19, 2021

• More modular typed_vernac implementation

  Show description for ed2b3f1
  SkySkimmer

  committed
  ed2b3f1

  Copy full SHA for ed2b3f1

• Merge PR #14783: CI: VST uses master branch

  Show description for 59d4839
  

  coqbot-app[bot]

  and

  Zimmi48

  authored
  59d4839

  Copy full SHA for 59d4839

• CI: VST uses master branch

  SkySkimmer

  committed
  da374b0

  Copy full SHA for da374b0

Commits on Aug 18, 2021

• Fixing unexpected vertical formatting of goal conclusion.

  herbelin

  committed
  0fa4a5b

  Copy full SHA for 0fa4a5b

• Merge PR #14726: Let Context.Named.to_instance conform to its specification + mini-simplifications about named_context

  Show description for 6d0ec84
  

  coqbot-app[bot]

  and

  SkySkimmer

  authored
  6d0ec84

  Copy full SHA for 6d0ec84

• Small configure cleanup: prefs not mutable after args parsing

  Show description for 779978c
  SkySkimmer

  committed
  779978c

  Copy full SHA for 779978c

• Merge PR #14787: Define COQBIN in CoqMakefile.in to avoid "undefined variable" warnings

  Show description for 2d894fe
  

  coqbot-app[bot]

  and

  SkySkimmer

  authored
  2d894fe

  Copy full SHA for 2d894fe

• Clarify that Contact.Rel.to_tags returns a list in reverse order.

  herbelin

  committed
  c629f72

  Copy full SHA for c629f72

• Unifying terminology between Context.Rel and Context.Named.

  Show description for 3cc8bed
  herbelin

  committed
  3cc8bed

  Copy full SHA for 3cc8bed

Commits on Aug 17, 2021

• Merge PR #14753: Treat variable patterns uniformly in Btermdn.

  Show description for 23a8a7e
  

  coqbot-app[bot]

  and

  SkySkimmer

  authored
  23a8a7e

  Copy full SHA for 23a8a7e

• Define COQBIN in CoqMakefile.in to avoid "undefined variable" warnings

  cpitclaudel

  committed
  189b873

  Copy full SHA for 189b873

Commits on Aug 16, 2021

• Fixing Context.Named.to_instance wrt its specification.

  herbelin

  committed
  36e3ac4

  Copy full SHA for 36e3ac4

• Two mini-simplifications and shortcuts in tactics.

  herbelin

  committed
  2a27fd7

  Copy full SHA for 2a27fd7

• Treat variable patterns uniformly in Btermdn.

  Show description for 2e1f042
  ppedrot

  committed
  2e1f042

  Copy full SHA for 2e1f042

• Merge PR #14722: More uniform handling of variable patterns in Btermdn.

  Show description for 289d506
  

  coqbot-app[bot]

  and

  SkySkimmer

  authored
  289d506

  Copy full SHA for 289d506

• Merge PR #14765: Fix simpl with pattern an ltac variable bound to a term with evars.

  Show description for 41d274f
  ppedrot

  committed
  41d274f

  Copy full SHA for 41d274f

• Adding a test extracted from fiat-crypto.

  ppedrot

  committed
  1323450

  Copy full SHA for 1323450

• Add changelog.

  ppedrot

  committed
  24f6f92

  Copy full SHA for 24f6f92

• More uniform handling of variable patterns in Btermdn.

  Show description for 28c85eb
  ppedrot

  committed
  28c85eb

  Copy full SHA for 28c85eb

• Merge PR #14771: Refactoring / hardening related to the `Structural Injection` flag.

  Show description for a44721b
  

  coqbot-app[bot]

  and

  SkySkimmer

  authored
  a44721b

  Copy full SHA for a44721b

Commits on Aug 15, 2021

• Merge PR #14574: Put Permutation-related Proper instances at default priority.

  Show description for 598628f
  ppedrot

  committed
  598628f

  Copy full SHA for 598628f

Commits on Aug 14, 2021

• Merge PR #14786: Switch artifact expiration date to 1 month

  Show description for bd5d85c
  

  coqbot-app[bot]

  and

  Alizter

  authored
  bd5d85c

  Copy full SHA for bd5d85c

• Merge PR #14755: Faster reduction for canonical structure registering.

  Show description for 3c4523f
  

  coqbot-app[bot]

  and

  gares

  authored
  3c4523f

  Copy full SHA for 3c4523f

• Switch artifact expiration date to 1 month

  Show description for 7f75ce0
  JasonGross

  committed
  7f75ce0

  Copy full SHA for 7f75ce0

Commits on Aug 13, 2021

• Merge PR #14772: Error on attributes on Qed/Defined

  Show description for 1a0460b
  

  coqbot-app[bot]

  and

  ejgallego

  authored
  1a0460b

  Copy full SHA for 1a0460b

• Put Permutation-related Proper instances at default priority.

  Show description for 39b8020
  SkySkimmer

  committed
  39b8020

  Copy full SHA for 39b8020

Pagination

Previous

Next