Commits

Branch selector

 coq8.20

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 15, 2024

• fix tests

  lukaszcz

  committed
  fc88e83

• Coq 8.20

  lukaszcz

  committed
  07e5229

Commits on Jul 28, 2024

• Adapt to coq/coq#19390 (goptions tables can discharge) + fix module substitution

  

  SkySkimmer

  authored and

  lukaszcz

  committed
  eca8630

Commits on Jun 14, 2024

• Adapt to coq/coq#18973.

  

  rlepigre

  authored and

  lukaszcz

  committed
  7dcbc6a

Commits on Apr 23, 2024

• Adapt w.r.t. coq/coq#18956.

  Show description for 252aa5e
  

  ppedrot

  authored and

  lukaszcz

  committed
  252aa5e

• Adapt to coq/coq#18938 (EConstr.ERelevance)

  

  SkySkimmer

  authored and

  lukaszcz

  committed
  448444a

Commits on Apr 9, 2024

• fix tests

  lukaszcz

  committed
  69efdf9

• fix dune & tactics test

  lukaszcz

  committed
  d05579c

Commits on Feb 22, 2024

• Adapt to coq/coq#18038 (rewrite rules)

  

  yannl35133

  authored and

  lukaszcz

  committed
  ff407b6

Commits on Nov 13, 2023

• simplify opam files since minimum OCaml version of Coq is 4.09.0

  

  palmskog

  authored and

  lukaszcz

  committed
  4131a8c

• Adapt to coq/coq#18280 (case relevance outside case info)

  

  SkySkimmer

  authored and

  lukaszcz

  committed
  075ac9b

Commits on Nov 11, 2023

• Adapt w.r.t. coq/coq#18279.

  

  ppedrot

  authored and

  lukaszcz

  committed
  0d12f35

Commits on Nov 7, 2023

• switch to Docker Action CI

  

  palmskog

  authored and

  lukaszcz

  committed
  bfde583

• Adapt to coq/coq#17836 (sort poly)

  

  SkySkimmer

  authored and

  lukaszcz

  committed
  3b59f1e

Commits on Nov 5, 2023

• fix dune build

  Show description for a044248
  

  Alizter

  authored and

  lukaszcz

  committed
  a044248

Commits on Sep 12, 2023

• Adapt to Coq PR #17987 which adds sigma to the API of search functions

  

  herbelin

  authored and

  lukaszcz

  committed
  40953e5

Commits on Jun 30, 2023

• Adapt w.r.t. coq/coq#17768.

  

  ppedrot

  authored and

  lukaszcz

  committed
  b19019c

Commits on Jun 7, 2023

• Adapt to coq/coq#17664 (goptions use Deprecation.t option instead of bool)

  

  SkySkimmer

  authored and

  lukaszcz

  committed
  35b1ddb

Commits on May 31, 2023

• Adapt to coq/coq#17633 (decompose_app returns array not list)

  

  SkySkimmer

  authored and

  lukaszcz

  committed
  d53bcf5

Commits on Jan 23, 2023

• Don't use Mltop.add_known_plugin

  Show description for 1c33b19
  

  SkySkimmer

  authored and

  lukaszcz

  committed
  1c33b19

Commits on Jan 7, 2023

• Adapt w.r.t. coq/coq#16903.

  

  ppedrot

  authored and

  lukaszcz

  committed
  6abedf1

Commits on Dec 14, 2022

• Don't force references at linking time

  Show description for 82a0824
  

  SkySkimmer

  authored and

  lukaszcz

  committed
  82a0824

Commits on Dec 10, 2022

• Adapt to coq/coq#16938 (staged options)

  

  SkySkimmer

  authored and

  lukaszcz

  committed
  b113202

Commits on Sep 22, 2022

• Adapt w.r.t. coq/coq#16442.

  

  ppedrot

  authored and

  lukaszcz

  committed
  4ac4856

Commits on Sep 10, 2022

• Merge branch 'master' of github.com:lukaszcz/coqhammer

  lukaszcz

  committed
  464face

• fix makefile

  lukaszcz

  committed
  fc9dde8

Commits on Sep 4, 2022

• Update README.md

  lukaszcz

  authored
  e268df9

• remove nix

  lukaszcz

  committed
  c13f896

Commits on Aug 30, 2022

• fix build (remove META file)

  lukaszcz

  committed
  7094c07

• fix dune build

  lukaszcz

  committed
  c3e568b

• remove unified build process

  lukaszcz

  committed
  76ae67a

• Revert "fix build system for coq 8.16"

  Show description for c248db7
  lukaszcz

  committed
  c248db7

• Revert "fix build system"

  Show description for 8249cc6
  lukaszcz

  committed
  8249cc6

• Revert "fix build system"

  Show description for 2d15eda
  lukaszcz

  committed
  2d15eda

• Revert "fix nix"

  Show description for 035ff83
  lukaszcz

  committed
  035ff83

Pagination

PreviousNext