Skip to content

Pull requests: coq-community/atbr

New pull request New
Clear current search query, filters, and sorts
1 Open 38 Closed
1 Open 38 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Convert to Coqpp, fix warnings on Coq master
#9 by palmskog was merged Dec 20, 2018 Loading…
License fix for master
#12 by palmskog was merged Jan 7, 2019 Loading…
update meta.yml and regenerate opam and README.md
#15 by palmskog was merged Feb 7, 2019 Loading…
update meta.yml and regenerate opam and README.md for 8.9
#14 by palmskog was merged Feb 7, 2019 Loading…
Fix atbr following coq/coq#9270.
#13 by Zimmi48 was merged Feb 7, 2019 Loading…
Adapt to SProp and new warnings to fix build, regenerate scripts
#16 by palmskog was merged Mar 19, 2019 Loading…
update ci and README from templates
#19 by palmskog was merged May 29, 2019 Loading…
Fix compilation and CI for 8.10
#20 by palmskog was merged May 29, 2019 Loading…
update files from templates for Coq 8.9
#17 by palmskog was merged May 20, 2019 Loading…
fix arith deprecations
#40 by palmskog was merged Oct 15, 2023 Loading…
add coqdoc documentation via coqdocjs
#24 by palmskog was merged Dec 29, 2019 Loading…
Dune support and other fixes
#25 by palmskog was merged Jan 3, 2020 Loading…
Synch updates
#22 by palmskog was merged Dec 25, 2019 Loading…
update metadata and documentation for 8.10
#21 by palmskog was merged Dec 8, 2019 Loading…
migrate documentation to gh-pages branch
#26 by palmskog was merged Jan 10, 2020 Loading…
improvements from master branch for 8.11
#28 by palmskog was merged Feb 7, 2020 Loading…
Update from templates and fix dune build
#27 by palmskog was merged Feb 7, 2020 Loading…
Compatibility with Coq 8.13
#31 by tchajed was merged Dec 14, 2020 Loading…
remove use of deprecated NPeano module
#41 by palmskog was merged Nov 4, 2023 Loading…
Port to master
#33 by palmskog was merged Jun 30, 2023 Loading…
make ad-hoc simpl never in DKA_Merge local, avoid unfolds
#39 by palmskog was merged Jul 9, 2023 Loading…
Update boilerplate
#36 by palmskog was merged Jul 9, 2023 Loading…
switch to -Q, use From X Require Y everywhere
#38 by palmskog was merged Jul 9, 2023 Loading…
StrictKleeneAlgebra compatible again
#37 by palmskog was merged Jul 9, 2023 Loading…
Adapt w.r.t. coq/coq#17781.
#35 by ppedrot was merged Jul 7, 2023 Loading…
ProTip! Updated in the last three days: updated:>2024-12-31.