Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 25, 2025

• Bump allowed rocq to include 9.1 (#62)

  tchajed

  authored
  7b26452

  Copy full SHA for 7b26452

Commits on Oct 16, 2025

• Update to Rocq 9.1 (#61)

  MackieLoeffel

  authored
  667b414

  Copy full SHA for 667b414

Commits on Sep 2, 2025

• Normalize Windows CRLF line endings

  tchajed

  committed
  db86302

  Copy full SHA for db86302

Commits on Jul 31, 2025

• Update dune setup

  tchajed

  committed
  f96b4b8

  Copy full SHA for f96b4b8

Commits on Jul 9, 2025

• Avoid `congruence` in `SetterWf` tactic to avoid exponential slowdown (#58)

  Show description for ae80708
  upamanyus

  authored
  ae80708

  Copy full SHA for ae80708

Commits on Jun 25, 2025

• Add a test of a very large record (#57)

  Show description for 362665b
  tchajed

  authored
  362665b

  Copy full SHA for 362665b

Commits on May 19, 2025

• Generate Settable using Ltac2 (#55)

  tchajed

  authored
  bad8ce2

  Copy full SHA for bad8ce2

Commits on May 14, 2025

• Merge pull request #54 from tchajed/argument-simpl

  Show description for 8792589
  tchajed

  authored
  8792589

  Copy full SHA for 8792589

• Reduce set when applied to a constructor

  tchajed

  committed
  fc8e456

  Copy full SHA for fc8e456

Commits on Feb 28, 2025

• Allow Coq 8.20 and 9.0 in opam

  tchajed

  committed
  ba3abbc

  Copy full SHA for ba3abbc

• Merge pull request #53 from agrn/ag/flake

  Show description for 9fa8367
  tchajed

  authored
  9fa8367

  Copy full SHA for 9fa8367

Commits on Feb 27, 2025

• flake: update to NixOS 24.11 and Coq 8.20

  Show description for 68e517c
  agrn

  committed
  68e517c

  Copy full SHA for 68e517c

Commits on Feb 7, 2025

• Merge pull request #52 from sanjit-bhat/fix-rocq-ci

  tchajed

  authored
  da99719

  Copy full SHA for da99719

• use default way of specifying rocq version to docker-coq-action. coqorg/coq no longer has dev version

  sanjit-bhat

  committed
  cbd1e4e

  Copy full SHA for cbd1e4e

Commits on Aug 30, 2024

• Merge pull request #50 from sertel/nix-support

  Show description for 2160f5a
  tchajed

  authored
  2160f5a

  Copy full SHA for 2160f5a

• flake support

  sertel

  committed
  06c81dd

  Copy full SHA for 06c81dd

Commits on Aug 13, 2024

• Update actions/checkout in CI

  tchajed

  committed
  e2aaf32

  Copy full SHA for e2aaf32

• Fix the warning in a backwards compatible way

  tchajed

  committed
  30bfb9f

  Copy full SHA for 30bfb9f

• Disable incompatible prefix warning

  tchajed

  committed
  ba80cc1

  Copy full SHA for ba80cc1

Commits on Jul 10, 2024

• Merge pull request #48 from sanjit-bhat/master

  Show description for da1dae3
  tchajed

  authored
  da1dae3

  Copy full SHA for da1dae3

Commits on Jul 8, 2024

• docs(readme): clarify different use cases: setting vs updating

  sanjit-bhat

  committed
  9e39f8b

  Copy full SHA for 9e39f8b

Commits on Apr 3, 2024

• Update meta.yml and action

  Show description for 0247521
  tchajed

  committed
  0247521

  Copy full SHA for 0247521

• Merge pull request #47 from Nils-Lauermann/master

  Show description for 8027dc4
  tchajed

  authored
  8027dc4

  Copy full SHA for 8027dc4

Commits on Mar 27, 2024

• Limit cbv to set so that large record field types do not blow up search for SetterWf instance

  Nils-Lauermann

  committed
  44e91c0

  Copy full SHA for 44e91c0

Commits on Feb 2, 2024

• Merge pull request #43 from MackieLoeffel/coq-8.19.0

  Show description for b49883f
  tchajed

  authored
  b49883f

  Copy full SHA for b49883f

• update to Coq 8.19.0

  MackieLoeffel

  committed
  ef1055d

  Copy full SHA for ef1055d

Commits on Nov 17, 2023

• Merge pull request #42 from JasonGross/patch-1

  Show description for e9013a4
  tchajed

  authored
  e9013a4

  Copy full SHA for e9013a4

• Update .gitignore

  Show description for ab3ac61
  JasonGross

  authored
  ab3ac61

  Copy full SHA for ab3ac61

Commits on Oct 5, 2023

• Update Coq version dependency in opam

  tchajed

  committed
  50e45e9

  Copy full SHA for 50e45e9

• Update tested Coq versions

  tchajed

  committed
  9baa95f

  Copy full SHA for 9baa95f

• Update for Coq 8.18 compatibility

  tchajed

  committed
  510e821

  Copy full SHA for 510e821

Commits on Mar 31, 2023

• Merge pull request #40 from tchajed/fix-locality-warnings

  Show description for 6c4e591
  tchajed

  authored
  6c4e591

  Copy full SHA for 6c4e591

Commits on Mar 16, 2023

• Merge pull request #38 from JasonGross/patch-1

  Show description for 09845fe
  tchajed

  authored
  09845fe

  Copy full SHA for 09845fe

• Drop support for Coq below 8.14

  Show description for f8501c0
  tchajed

  committed
  f8501c0

  Copy full SHA for f8501c0

• Update actions/checkout to v3

  tchajed

  committed
  b36bfc3

  Copy full SHA for b36bfc3

Pagination

Previous

Next