Commits

Branch selector

 master

User selector

ppedrot

Datepicker

All time

Commit History

Commits on May 24, 2024

• Remove the cutrewrite tactic.

  Show description for e68ad67
  ppedrot

  committed
  e68ad67

  Copy full SHA for e68ad67

Commits on May 22, 2024

• Add tests for the new replace variants.

  ppedrot

  committed
  7d7fa02

  Copy full SHA for 7d7fa02

• Update the documentation of replace.

  ppedrot

  committed
  5e96640

  Copy full SHA for 5e96640

• Allow a direction specifier in replace with.

  Show description for db9c405
  ppedrot

  committed
  db9c405

  Copy full SHA for db9c405

• Tweak a weird syntax in CClosure.

  Show description for 71ad4d6
  ppedrot

  committed
  71ad4d6

  Copy full SHA for 71ad4d6

• Add tests for bug #4160.

  Show description for 41071f1
  ppedrot

  committed
  41071f1

  Copy full SHA for 41071f1

Commits on May 21, 2024

• Force empty case nodes from irrelevant to relevant sorts to be CaseInvert.

  Show description for 1b2701f
  ppedrot

  committed
  1b2701f

  Copy full SHA for 1b2701f

Commits on May 17, 2024

• Fix debug printing of Lambda projections.

  Show description for 94aa43a
  ppedrot

  committed
  94aa43a

  Copy full SHA for 94aa43a

Commits on May 16, 2024

• Track unused constant arguments in Genlambda and erase them.

  Show description for d9d473f
  ppedrot

  committed
  d9d473f

  Copy full SHA for d9d473f

• Do not store the lower universe bound in the environment.

  Show description for 8c2745f
  ppedrot

  committed
  8c2745f

  Copy full SHA for 8c2745f

• Stop relying on Prop lower bounds to interpret template universes.

  Show description for 688ff2c
  ppedrot

  committed
  688ff2c

  Copy full SHA for 688ff2c

• Add a new pretyping flag to generate fresh sorts for anonymous types.

  Show description for b593e37
  ppedrot

  committed
  b593e37

  Copy full SHA for b593e37

Commits on May 15, 2024

• Remove the Evd.sig datatype.

  Show description for 11615dc
  ppedrot

  committed
  11615dc

  Copy full SHA for 11615dc

Commits on May 14, 2024

• Add a cache for module substitution of terms.

  Show description for b414237
  ppedrot

  committed
  b414237

  Copy full SHA for b414237

• Faster composed module substitution of terms.

  Show description for 12b2afa
  ppedrot

  committed
  12b2afa

  Copy full SHA for 12b2afa

Commits on May 13, 2024

• Restrict lambda remove_let optimization to syntactic values.

  Show description for c9355b1
  ppedrot

  committed
  c9355b1

  Copy full SHA for c9355b1

• Remove some cruft from the Genlambda API.

  ppedrot

  committed
  94aa5c9

  Copy full SHA for 94aa5c9

• Use the same optimization passes for the VM and native.

  ppedrot

  committed
  f3566e8

  Copy full SHA for f3566e8

• Remove the unused optimization flag for the VM compilation.

  Show description for 939e1c0
  ppedrot

  committed
  939e1c0

  Copy full SHA for 939e1c0

• Use the same criterion in the VM and native for substitutable atoms.

  Show description for bd2d470
  ppedrot

  committed
  bd2d470

  Copy full SHA for bd2d470

Commits on May 7, 2024

• Adding overlays.

  ppedrot

  committed
  225e619

  Copy full SHA for 225e619

• Remove the tag branch information from case_info.

  Show description for 725e46f
  ppedrot

  committed
  725e46f

  Copy full SHA for 725e46f

• Document changes.

  ppedrot

  committed
  3287941

  Copy full SHA for 3287941

• Deprecate non-reference hints in using clauses of auto-like tactics.

  ppedrot

  committed
  5265679

  Copy full SHA for 5265679

Commits on May 5, 2024

• Document the changes.

  ppedrot

  committed
  a0598b9

  Copy full SHA for a0598b9

• Ltac2 auto-like tactics now take references in the using clause.

  Show description for c102576
  ppedrot

  committed
  c102576

  Copy full SHA for c102576

Commits on May 2, 2024

• Store VM relocations that do not need substitution on disk.

  Show description for 58cc3eb
  ppedrot

  committed
  58cc3eb

  Copy full SHA for 58cc3eb

Commits on Apr 23, 2024

• Adding changelog.

  ppedrot

  committed
  c653397

  Copy full SHA for c653397

• Slightly tweak the interpretation of using clause for eauto tactics.

  Show description for 8a4b528
  ppedrot

  committed
  8a4b528

  Copy full SHA for 8a4b528

Commits on Apr 18, 2024

• Document the changes.

  ppedrot

  committed
  73c46f4

  Copy full SHA for 73c46f4

• Set some basic rewriting primitives in Type opaque for TC search.

  Show description for 906301d
  ppedrot

  committed
  906301d

  Copy full SHA for 906301d

Commits on Apr 17, 2024

• Document the changes.

  ppedrot

  committed
  c832322

  Copy full SHA for c832322

• Slightly tweak the phrasing of the fragile-hint-constr warning.

  Show description for ffee360
  ppedrot

  committed
  ffee360

  Copy full SHA for ffee360

• Set the warning for raw constr hints default to error.

  ppedrot

  committed
  40b5f8b

  Copy full SHA for 40b5f8b

• Slightly more lenient syntax for global reference hints.

  Show description for 031ecde
  ppedrot

  committed
  031ecde

  Copy full SHA for 031ecde

Pagination

Previous

Next