Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Feb 28, 2025

• README: Polish section on excluded middle

  Lysxia

  committed
  cf1443c

  Copy full SHA for cf1443c

• README: Add CI and Zulip badges

  Lysxia

  committed
  6a3902b

  Copy full SHA for 6a3902b

• Update CHANGELOG.md for 5.2.1

  Lysxia

  committed
  7e83149

  Copy full SHA for 7e83149

• Drop Coq 8.13

  Lysxia

  committed
  77f6a7d

  Copy full SHA for 77f6a7d

• Resolve warning about locality on Hint Rewrite

  Lysxia

  committed
  20b9f18

  Copy full SHA for 20b9f18

• Resolve warnings about non-reference-hint-using

  Lysxia

  committed
  2f8ada9

  Copy full SHA for 2f8ada9

• Resolve warnings about extraction dir and Types that are really Prop

  Lysxia

  committed
  a4c9485

  Copy full SHA for a4c9485

• ci: Rename coqorg/coq:dev to rocq/rocq-prover:dev

  Lysxia

  committed
  869dea2

  Copy full SHA for 869dea2

Commits on Jan 30, 2025

• ci: Add Coq 8.20

  Lysxia

  committed
  5dc031a

  Copy full SHA for 5dc031a

• Restore compatibility with paco 4.2.2

  Lysxia

  committed
  a57a528

  Copy full SHA for a57a528

• Updates for Paco v4.2.3

  

  gilhur

  authored and

  Lysxia

  committed
  ef3d769

  Copy full SHA for ef3d769

Commits on Oct 9, 2024

• ci: Reduce number of parallel jobs (runner has 2 CPU)

  Lysxia

  committed
  1e8bc12

  Copy full SHA for 1e8bc12

• Update lower bound on coq-paco

  Lysxia

  committed
  0599401

  Copy full SHA for 0599401

• Updates for Paco v4.2.1

  

  gilhur

  authored and

  Lysxia

  committed
  abd1c7d

  Copy full SHA for abd1c7d

Commits on Apr 2, 2024

• Release version 5.2.0

  Lysxia

  committed
  e7fed21

  Copy full SHA for e7fed21

Commits on Feb 21, 2024

• ci: Add Coq 8.18 and 8.19

  Lysxia

  committed
  0786400

  Copy full SHA for 0786400

• Clean up

  Show description for 1569790
  Lysxia

  committed
  1569790

  Copy full SHA for 1569790

• Use dune 3.14

  Show description for 9ef8d22
  Lysxia

  committed
  9ef8d22

  Copy full SHA for 9ef8d22

• Add Hint Mode on MonadIter

  Lysxia

  committed
  fe67e0a

  Copy full SHA for fe67e0a

Commits on Feb 20, 2024

• Adapt to https://github.com/coq/coq/pull/18590

  

  proux01

  authored and

  Lysxia

  committed
  898a603

  Copy full SHA for 898a603

Commits on Oct 22, 2023

• Release 5.1.2

  Lysxia

  committed
  dda1049

  Copy full SHA for dda1049

Commits on Oct 21, 2023

• Adapt to Coq/Coq#18164

  

  Villetaneuse

  authored and

  Lysxia

  committed
  99fff87

  Copy full SHA for 99fff87

Commits on May 18, 2023

• Fix FailFacts for coq-dev

  Lysxia

  committed
  eede8c5

  Copy full SHA for eede8c5

Commits on Mar 17, 2023

• CHANGELOG: Update for 5.1.1

  Lysxia

  committed
  8e28e2e

  Copy full SHA for 8e28e2e

• ci: Update test-with-make to Coq 8.17

  Lysxia

  committed
  dccab01

  Copy full SHA for dccab01

• ci: Add Coq 8.16 and 8.17

  Lysxia

  committed
  a4ceeb0

  Copy full SHA for a4ceeb0

Commits on Mar 16, 2023

• Remove another RelDec_string

  Lysxia

  committed
  55aa31c

  Copy full SHA for 55aa31c

• Add #[global] annotations in secure_examples

  Lysxia

  committed
  822683d

  Copy full SHA for 822683d

Commits on Mar 14, 2023

• Cleanup duplicated instances (#255)

  Show description for 466800c
  

  Yishuai Li

  authored
  466800c

  Copy full SHA for 466800c

Commits on Mar 5, 2023

• Fixing a couple of warnings

  

  YaZko

  authored and

  Lysxia

  committed
  01046e1

  Copy full SHA for 01046e1

• Adapt to coq dev

  Lysxia

  committed
  4146b9f

  Copy full SHA for 4146b9f

• Adapt to alpha-renaming in coq-paco dev

  Lysxia

  committed
  1ccbf0c

  Copy full SHA for 1ccbf0c

Commits on Dec 29, 2022

• CHANGELOG: Update for 5.1.0

  Lysxia

  committed
  a1492ea

  Copy full SHA for a1492ea

Commits on Dec 9, 2022

• ci: Don't make in parallel to not get killed by the memory monster

  Lysxia

  committed
  d0087de

  Copy full SHA for d0087de

Commits on Nov 29, 2022

• More interaction lemmas and inversion principles

  

  lephe

  authored and

  Lysxia

  committed
  4b0efec

  Copy full SHA for 4b0efec

Pagination

Previous

Next