Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / coq-community/graph-theory issues and pull requests
#41 - Adapt to mathc-omp/math-comp#1240
Pull Request -
State: closed - Opened by proux01 4 months ago
#40 - Adapt to https://github.com/math-comp/math-comp/pull/1223
Pull Request -
State: closed - Opened by proux01 5 months ago
#39 - avoid opaqueness of have in Coq 8.20 and later
Pull Request -
State: closed - Opened by palmskog 5 months ago
- 1 comment
#38 - Compatible with Coq 8.20
Pull Request -
State: closed - Opened by pi8027 8 months ago
- 8 comments
#37 - CI for MathComp 2.2.0 and Coq 8.19
Pull Request -
State: closed - Opened by palmskog 10 months ago
#36 - refresh boilerplate and ci
Pull Request -
State: closed - Opened by palmskog 11 months ago
#35 - Adapt to coq/coq#17576 and math-comp/math-comp#1110
Pull Request -
State: closed - Opened by proux01 about 1 year ago
- 3 comments
#34 - CI for Coq 8.18
Pull Request -
State: closed - Opened by palmskog over 1 year ago
- 4 comments
#33 - Adapt to coq/coq#17484
Pull Request -
State: closed - Opened by proux01 over 1 year ago
- 3 comments
#32 - enable mathcomp dev Docker ci
Pull Request -
State: closed - Opened by palmskog over 1 year ago
#31 - update packages and CI for MathComp up to and including 1.17.0
Pull Request -
State: closed - Opened by palmskog over 1 year ago
- 1 comment
#30 - run cron CI once peer week
Pull Request -
State: closed - Opened by palmskog almost 2 years ago
- 1 comment
#29 - Propagate finmap results to upstream
Issue -
State: open - Opened by palmskog almost 2 years ago
#28 - fix breakage on latest Coq and MathComp master
Pull Request -
State: closed - Opened by palmskog almost 2 years ago
#27 - reorganize into multiple opam packages using Dune
Pull Request -
State: closed - Opened by palmskog over 2 years ago
- 12 comments
#26 - Reorganize documentation and boilerplate
Pull Request -
State: closed - Opened by palmskog over 2 years ago
- 2 comments
#25 - Port to MathComp 2
Pull Request -
State: closed - Opened by proux01 over 2 years ago
- 9 comments
#24 - update for mathcomp-1.13 and mathcomp-1.14
Pull Request -
State: closed - Opened by chdoc almost 3 years ago
#23 - non-forgetful attribute for pttdom_elabel
Pull Request -
State: open - Opened by chdoc over 3 years ago
- 1 comment
#22 - Doc cleanup
Pull Request -
State: closed - Opened by chdoc over 3 years ago
#21 - revert accidental change of _CoqProject
Pull Request -
State: closed - Opened by chdoc over 3 years ago
#20 - fix deprecation warning with mathcomp-1.12 and HB-1.1.0
Pull Request -
State: closed - Opened by chdoc over 3 years ago
#19 - fix pttdom/ptt inheritance
Pull Request -
State: closed - Opened by chdoc over 3 years ago
#18 - Graph colorings and two proofs of the weak perfect graph theorem
Pull Request -
State: closed - Opened by chdoc over 3 years ago
- 2 comments
#17 - enable nightly builds
Pull Request -
State: closed - Opened by chdoc over 3 years ago
#16 - Infrastructure for Wagner's Theorem
Pull Request -
State: closed - Opened by chdoc over 3 years ago
#15 - HB and CI
Pull Request -
State: closed - Opened by chdoc over 3 years ago
#14 - Wagner's theorem (main direction)
Pull Request -
State: closed - Opened by chdoc almost 4 years ago
#13 - use mathcomp-dev:coq-dev for CI (uses ocaml-4.07.1+flambda)
Pull Request -
State: closed - Opened by chdoc almost 4 years ago
#12 - test coq-8.13 release branch
Pull Request -
State: closed - Opened by chdoc almost 4 years ago
#11 - Meta-issue: blockers for v0.8
Issue -
State: closed - Opened by chdoc almost 4 years ago
#10 - test mathcomp-1.12 / use mathcomp images for dev testing
Pull Request -
State: closed - Opened by chdoc almost 4 years ago
#10 - test mathcomp-1.12 / use mathcomp images for dev testing
Pull Request -
State: closed - Opened by chdoc almost 4 years ago
#9 - Consitently use documentation comments (** *) for explanations.
Issue -
State: open - Opened by chdoc almost 4 years ago
Labels: documentation
#9 - Consitently use documentation comments (** *) for explanations.
Issue -
State: open - Opened by chdoc almost 4 years ago
Labels: documentation
#8 - list Daniel Severín as contributor
Pull Request -
State: closed - Opened by chdoc almost 4 years ago
- 2 comments
#7 - simplify proof of TW2_of_K4F
Pull Request -
State: closed - Opened by chdoc about 4 years ago
- 1 comment
#6 - Hierarchy builder
Pull Request -
State: closed - Opened by chdoc about 4 years ago
- 1 comment
#6 - Hierarchy builder
Pull Request -
State: closed - Opened by chdoc about 4 years ago
- 1 comment
#5 - align disjoint lemmas with mathcomp master
Pull Request -
State: closed - Opened by chdoc about 4 years ago
#4 - merge domination chain development
Pull Request -
State: closed - Opened by chdoc over 4 years ago
- 1 comment
#3 - GitHub release or tag for Coq 8.11 and MathComp 1.10.0
Issue -
State: closed - Opened by palmskog over 4 years ago
- 4 comments
#2 - Regenerate files from latest templates.
Pull Request -
State: closed - Opened by Zimmi48 over 4 years ago
#1 - Big Operators over Setoids
Pull Request -
State: closed - Opened by chdoc over 4 years ago