Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 14, 2024

• Merge pull request #148 from coq-community/coq_19310

  Show description for 109af84
  proux01

  authored
  109af84

  Copy full SHA for 109af84

Commits on Jul 6, 2024

• Adapt to coq/coq#19310

  proux01

  committed
  186dd60

  Copy full SHA for 186dd60

Commits on Jun 29, 2024

• update changelog

  palmskog

  committed
  10f7744

  Copy full SHA for 10f7744

• try to make tactics and their options clearer in the tutorial

  palmskog

  committed
  3283df8

  Copy full SHA for 3283df8

Commits on Jun 27, 2024

• Merge pull request #145 from coq-community/add-try-test

  Show description for 5c133d3
  palmskog

  authored
  5c133d3

  Copy full SHA for 5c133d3

• add tests for try aac_rewrite and try aac_normalise

  palmskog

  committed
  8f5ebce

  Copy full SHA for 8f5ebce

Commits on Jun 20, 2024

• silence warning 67 in Dune build

  palmskog

  committed
  8ba7a8b

  Copy full SHA for 8ba7a8b

Commits on Jun 1, 2024

• Merge pull request #143 from coq-community/canonical-ordering-master

  Show description for aa70a2d
  palmskog

  authored
  aa70a2d

  Copy full SHA for aa70a2d

• fix deployment boilerplate

  palmskog

  committed
  0e3c19e

  Copy full SHA for 0e3c19e

• use standard changelog format

  palmskog

  committed
  d56ffd3

  Copy full SHA for d56ffd3

• add example by Abhishek Anand using aac_normalise_all tactic

  palmskog

  committed
  64ccce2

  Copy full SHA for 64ccce2

Commits on May 31, 2024

• aac_normalise in *

  damien-pous

  committed
  3a10389

  Copy full SHA for 3a10389

• lcm instances for Nat, N, Z

  damien-pous

  committed
  a1dcc0b

  Copy full SHA for a1dcc0b

• gcd instances for Nat, N, Z

  damien-pous

  committed
  b9d691b

  Copy full SHA for b9d691b

• gitignore

  damien-pous

  committed
  6efa965

  Copy full SHA for 6efa965

• some tests

  damien-pous

  committed
  d3bc267

  Copy full SHA for d3bc267

• changelog

  damien-pous

  committed
  9986913

  Copy full SHA for 9986913

• aac_normalise in H

  damien-pous

  committed
  fd4b8a0

  Copy full SHA for fd4b8a0

• canonical ordering

  damien-pous

  committed
  944add7

  Copy full SHA for 944add7

Commits on May 4, 2024

• Merge pull request #140 from ejgallego/fix_declare_ml

  Show description for 22aceb2
  palmskog

  authored
  22aceb2

  Copy full SHA for 22aceb2

• [build] Fix use of plugin aliases in findlib loading.

  Show description for 04e6672
  ejgallego

  committed
  04e6672

  Copy full SHA for 04e6672

Commits on Apr 23, 2024

• Merge pull request #139 from SkySkimmer/erelevance

  Show description for d29656d
  ppedrot

  authored
  d29656d

  Copy full SHA for d29656d

Commits on Apr 17, 2024

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

  SkySkimmer

  committed
  fe14384

  Copy full SHA for fe14384

Commits on Mar 1, 2024

• Merge pull request #136 from SkySkimmer/retype

  Show description for d3f4d88
  palmskog

  authored
  d3f4d88

  Copy full SHA for d3f4d88

• More idiomatic evar map handling

  Show description for 82099dd
  SkySkimmer

  committed
  82099dd

  Copy full SHA for 82099dd

• Remove outdated debug print

  Show description for c008a37
  SkySkimmer

  committed
  c008a37

  Copy full SHA for c008a37

• add coq_makefile based test system

  Show description for 4f998a3
  SkySkimmer

  committed
  4f998a3

  Copy full SHA for 4f998a3

• Fix incorrect evar map passing in aac_reflexivity

  Show description for 36aef56
  SkySkimmer

  committed
  36aef56

  Copy full SHA for 36aef56

• Remove unused cps_mk_letin

  SkySkimmer

  committed
  ec1d5d9

  Copy full SHA for ec1d5d9

• Cleanup tclRETYPE

  Show description for d7ea4e4
  SkySkimmer

  committed
  d7ea4e4

  Copy full SHA for d7ea4e4

Commits on Feb 27, 2024

• Merge pull request #134 from SkySkimmer/no-vm

  Show description for fcd4c3f
  palmskog

  authored
  fcd4c3f

  Copy full SHA for fcd4c3f

• Don't use vmcast to convert the reified goal and actual goal

  Show description for 61126b5
  SkySkimmer

  committed
  61126b5

  Copy full SHA for 61126b5

Commits on Dec 22, 2023

• Merge pull request #132 from coq-community/fix-boilerplate

  Show description for 3fc2fb1
  palmskog

  authored
  3fc2fb1

  Copy full SHA for 3fc2fb1

• fix some boilerplate

  palmskog

  committed
  3e88501

  Copy full SHA for 3e88501

Commits on Oct 15, 2023

• update nix-action from templates

  palmskog

  committed
  059dd94

  Copy full SHA for 059dd94

Pagination

Previous

Next