Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 14, 2022

• Merge PR #16487: Partially revert #9139.

  Show description for 6091849
  

  coqbot-app[bot]

  and

  SkySkimmer

  authored
  6091849

  Copy full SHA for 6091849

• Partially revert #9139.

  Show description for e49d4ae
  ppedrot

  committed
  e49d4ae

  Copy full SHA for e49d4ae

• Merge PR #16481: Do not use unsafe casts for hypothesis computation in Declare.

  Show description for e443c63
  

  coqbot-app[bot]

  and

  Alizter

  authored
  e443c63

  Copy full SHA for e443c63

• Fix the printing environment of the info data for refine.

  Show description for 2a95095
  ppedrot

  committed
  2a95095

  Copy full SHA for 2a95095

Commits on Sep 13, 2022

• Merge PR #16461: doc: improve the description of the `decide equality' tactic

  Show description for dcdecba
  

  coqbot-app[bot]

  and

  Alizter

  authored
  dcdecba

  Copy full SHA for dcdecba

• Merge PR #16466: Add Locate Ltac2 and Print Ltac2 Signatures

  Show description for 65e96ad
  

  coqbot-app[bot]

  and

  Alizter

  authored
  65e96ad

  Copy full SHA for 65e96ad

• Merge PR #16483: push_relevance in InferCumulativity

  Show description for 27e2a68
  

  coqbot-app[bot]

  and

  Alizter

  authored
  27e2a68

  Copy full SHA for 27e2a68

• Add Locate Ltac2 and Print Ltac2 Signatures

  Show description for 48e3bdc
  SkySkimmer

  committed
  48e3bdc

  Copy full SHA for 48e3bdc

• Merge PR #16480: Generalize kernel evar handling

  Show description for a83acf2
  

  coqbot-app[bot]

  and

  SkySkimmer

  authored
  a83acf2

  Copy full SHA for a83acf2

• Merge PR #16468: Faster algorithm to recognize inductive pattern of destruct.

  Show description for 8605015
  

  coqbot-app[bot]

  and

  SkySkimmer

  authored
  8605015

  Copy full SHA for 8605015

Commits on Sep 12, 2022

• Merge PR #16473: Fast path in Tactics.cook_hyps.

  Show description for 17d2854
  

  coqbot-app[bot]

  and

  Alizter

  authored
  17d2854

  Copy full SHA for 17d2854

• push_relevance in InferCumulativity

  Show description for d75f73d
  SkySkimmer

  committed
  d75f73d

  Copy full SHA for d75f73d

• Merge PR #16467: Fast path in Environ.remove_hyps.

  Show description for 22a0bb7
  

  coqbot-app[bot]

  and

  Alizter

  authored
  22a0bb7

  Copy full SHA for 22a0bb7

• Store evar relevance in the evarmap and correctly use it for conversion.

  Show description for c54a302
  ppedrot

  committed
  c54a302

  Copy full SHA for c54a302

• Do not use unsafe casts for hypothesis computation in Declare.

  Show description for 55b79c2
  ppedrot

  committed
  55b79c2

  Copy full SHA for 55b79c2

• Wrap the evar expander type into an explicit record.

  ppedrot

  committed
  d09243e

  Copy full SHA for d09243e

• Tweak CClosure reduction of evars.

  Show description for 88ad85d
  ppedrot

  committed
  88ad85d

  Copy full SHA for 88ad85d

• Fast path in Tactics.cook_hyps.

  Show description for 733829e
  ppedrot

  committed
  733829e

  Copy full SHA for 733829e

• doc: improve the description of the `decide equality' tactic

  Show description for 831ece0
  agrn

  committed
  831ece0

  Copy full SHA for 831ece0

Commits on Sep 11, 2022

• Merge PR #16474: [CI] Fix the compilation of relation_algebra.

  Show description for 06b78fb
  

  coqbot-app[bot]

  and

  Zimmi48

  authored
  06b78fb

  Copy full SHA for 06b78fb

Commits on Sep 10, 2022

• [CI] Fix the compilation of relation_algebra.

  Show description for 1228e55
  ppedrot

  committed
  1228e55

  Copy full SHA for 1228e55

Commits on Sep 9, 2022

• Merge PR #16444: Make names of opened containers more precisely typed

  Show description for 68f42e9
  

  coqbot-app[bot]

  and

  ppedrot

  authored
  68f42e9

  Copy full SHA for 68f42e9

Commits on Sep 8, 2022

• Merge PR #16438: Add Print Keywords command

  Show description for 7f938b2
  

  coqbot-app[bot]

  and

  Alizter

  authored
  7f938b2

  Copy full SHA for 7f938b2

• Merge PR #16436: Deprecate "~=" notation for JMeq in Program.Equality

  Show description for 63fa6a4
  

  coqbot-app[bot]

  and

  Alizter

  authored
  63fa6a4

  Copy full SHA for 63fa6a4

• Merge PR #16450: Fast Evarsolve aliasing algorithm

  Show description for e6dbebf
  

  coqbot-app[bot]

  and

  gares

  authored
  e6dbebf

  Copy full SHA for e6dbebf

• Merge PR #16457: Ltac2: Reuse result of general pattern interning for simple cases

  Show description for cde1a9a
  

  coqbot-app[bot]

  and

  ppedrot

  authored
  cde1a9a

  Copy full SHA for cde1a9a

• Faster algorithm to recognize inductive pattern of destruct.

  Show description for 4aa848c
  ppedrot

  committed
  4aa848c

  Copy full SHA for 4aa848c

• Add Print Keywords command

  Show description for 9a6dad6
  SkySkimmer

  committed
  9a6dad6

  Copy full SHA for 9a6dad6

• Fast path in Environ.remove_hyps.

  Show description for d2aa7ed
  ppedrot

  committed
  d2aa7ed

  Copy full SHA for d2aa7ed

Commits on Sep 7, 2022

• Merge PR #16465: [stdlib] [Arith] Typo in user message: Nat.add_com should be Nat.add_comm

  Show description for ee748e6
  

  coqbot-app[bot]

  and

  proux01

  authored
  ee748e6

  Copy full SHA for ee748e6

• Merge PR #16456: Remove type-unsafe primitives in Proof.focus_kind.

  Show description for 757acb2
  

  coqbot-app[bot]

  and

  SkySkimmer

  authored
  757acb2

  Copy full SHA for 757acb2

• correct typo Nat.add_com -> Nat.add_comm

  olaure01

  committed
  7b02ebe

  Copy full SHA for 7b02ebe

Commits on Sep 6, 2022

• Merge PR #16004: make warn_deprecated_hint_without_locality AsError

  Show description for 922f9a2
  

  coqbot-app[bot]

  and

  ppedrot

  authored
  922f9a2

  Copy full SHA for 922f9a2

Commits on Sep 5, 2022

• Merge PR #16434: Fix Print Assumptions ignoring missing proofs with -vok

  Show description for 03368c4
  

  coqbot-app[bot]

  and

  Alizter

  authored
  03368c4

  Copy full SHA for 03368c4

• Merge PR #16460: Port Heads to EConstr.

  Show description for 1d57f24
  

  coqbot-app[bot]

  and

  Alizter

  authored
  1d57f24

  Copy full SHA for 1d57f24

Pagination

Previous

Next