Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 24, 2022

• Merge PR #16355: extending zify saturate class with arguments

  Show description for 2e24808
  

  coqbot-app[bot]

  and

  Alizter

  authored
  2e24808

  Copy full SHA for 2e24808

Commits on Sep 23, 2022

• Merge PR #16293: [auto] set use_metas_eagerly_in_conv_on_closed_terms = true

  Show description for 8bde022
  

  coqbot-app[bot]

  and

  ppedrot

  authored
  8bde022

  Copy full SHA for 8bde022

• Merge PR #16517: Use `Proofview.wrap_exceptions` in `eauto`

  Show description for c654b13
  

  coqbot-app[bot]

  and

  Alizter

  authored
  c654b13

  Copy full SHA for c654b13

• in auto/eauto set use_metas_eagerly_in_conv_on_closed_terms = true (as in simple apply)

  Show description for 4d69d32
  mrhaandi

  committed
  4d69d32

  Copy full SHA for 4d69d32

Commits on Sep 22, 2022

• Merge PR #16518: [refman] scope_delimiter can be either scope_key or scope_name in Arguments

  Show description for 938421f
  

  coqbot-app[bot]

  and

  jfehrle

  authored
  938421f

  Copy full SHA for 938421f

• Merge PR #16526: Add generated dune files to artifact paths

  Show description for cb2423c
  

  coqbot-app[bot]

  and

  Alizter

  authored
  cb2423c

  Copy full SHA for cb2423c

• Merge PR #16519: Remove the Program Naming flag.

  Show description for 5979fd7
  

  coqbot-app[bot]

  and

  Alizter

  authored
  5979fd7

  Copy full SHA for 5979fd7

• Add generated dune files to artifact paths

  Show description for 63d7e57
  SkySkimmer

  committed
  63d7e57

  Copy full SHA for 63d7e57

• Use `Proofview.wrap_exceptions` in `eauto`

  Show description for 2704e39
  LasseBlaauwbroek

  committed
  2704e39

  Copy full SHA for 2704e39

Commits on Sep 21, 2022

• Merge PR #16442: Introduce a dedicated type for evar instances.

  Show description for 130d081
  

  coqbot-app[bot]

  and

  SkySkimmer

  authored
  130d081

  Copy full SHA for 130d081

• Document the changes.

  ppedrot

  committed
  1e92a6a

  Copy full SHA for 1e92a6a

• Remove the Program Naming flag.

  Show description for 5b7c4a0
  ppedrot

  committed
  5b7c4a0

  Copy full SHA for 5b7c4a0

• Merge PR #16494: rename Makefile.dune to Makefile

  Show description for 44e3c20
  

  coqbot-app[bot]

  and

  SkySkimmer

  authored
  44e3c20

  Copy full SHA for 44e3c20

• [refman] Fix scope_delimiter

  Show description for 1032bf2
  proux01

  committed
  1032bf2

  Copy full SHA for 1032bf2

• Add overlays.

  ppedrot

  committed
  f4652bc

  Copy full SHA for f4652bc

• Correctly recompact evar instances in VM / native normalization.

  ppedrot

  committed
  b00e49f

  Copy full SHA for b00e49f

• Various fast paths in combinators handling evars.

  Show description for 0282a94
  ppedrot

  committed
  0282a94

  Copy full SHA for 0282a94

• Tweak nf_evar so that it does not expand default instances.

  Show description for 9551564
  ppedrot

  committed
  9551564

  Copy full SHA for 9551564

• Faster computation of evar instance substitution.

  ppedrot

  committed
  164db7b

  Copy full SHA for 164db7b

• Introduce a dedicated type for evar instances.

  Show description for 098fae8
  ppedrot

  committed
  098fae8

  Copy full SHA for 098fae8

• Merge PR #16511: Asymptotically more efficient implementation of FutureGoals.t.

  Show description for b7ee906
  

  coqbot-app[bot]

  and

  SkySkimmer

  authored
  b7ee906

  Copy full SHA for b7ee906

Commits on Sep 20, 2022

• Merge PR #16505: Ensure `coqide.opam` actually installs `coqide`

  Show description for 944ed31
  

  coqbot-app[bot]

  and

  Alizter

  authored
  944ed31

  Copy full SHA for 944ed31

• Asymptotically more efficient implementation of FutureGoals.t.

  Show description for 8887434
  ppedrot

  committed
  8887434

  Copy full SHA for 8887434

• Hide the implementation of FutureGoals.t.

  Show description for 7bcde68
  ppedrot

  committed
  7bcde68

  Copy full SHA for 7bcde68

• extending zify saturate class with operands

  Show description for cb06bf8
  

  František Farka

  committed
  cb06bf8

  Copy full SHA for cb06bf8

Commits on Sep 19, 2022

• Merge PR #16509: Drop bicats subpackage of UniMath

  Show description for d9180a0
  

  coqbot-app[bot]

  and

  Alizter

  authored
  d9180a0

  Copy full SHA for d9180a0

• Drop bicats subpackage of UniMath

  Show description for d8cb4b3
  SkySkimmer

  committed
  d8cb4b3

  Copy full SHA for d8cb4b3

Commits on Sep 18, 2022

• rename Makefile.dune to Makefile

  Show description for 15e3258
  Alizter

  committed
  15e3258

  Copy full SHA for 15e3258

• Merge PR #16506: Clarify documentation of `contradiction` tactic

  Show description for a6b023a
  

  coqbot-app[bot]

  and

  jfehrle

  authored
  a6b023a

  Copy full SHA for a6b023a

• dune-project, coqide.opam: manually add dependency to lablgtk-sourceview3

  Blaisorblade

  committed
  f77b24c

  Copy full SHA for f77b24c

Commits on Sep 17, 2022

• Clarify documentation of `contradiction` tactic

  Show description for b2a47b0
  Blaisorblade

  committed
  b2a47b0

  Copy full SHA for b2a47b0

• Gitlab CI: remove redundant COQIDE: "opt" settings

  Show description for 8baf88a
  Blaisorblade

  committed
  8baf88a

  Copy full SHA for 8baf88a

• Gitlab CI: Also pass `-coqide opt` automatically

  Blaisorblade

  committed
  7cc1faf

  Copy full SHA for 7cc1faf

• Gitlab CI: skip building coqide on 32bit

  Blaisorblade

  committed
  fda8226

  Copy full SHA for fda8226

• Try making `coqide` non-optional

  Show description for 8779460
  Blaisorblade

  committed
  8779460

  Copy full SHA for 8779460

Pagination

Previous

Next