Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / coq-community/tarjan issues and pull requests

#26 - update repo location in metadata, record Hierarchy Builder as dep

Pull Request - State: closed - Opened by palmskog over 1 year ago

#25 - meta update for coq-community, test up to MathComp 1.17 and Coq 8.17

Pull Request - State: closed - Opened by palmskog over 1 year ago - 1 comment

#24 - Port to MathComp 2

Pull Request - State: closed - Opened by proux01 over 1 year ago - 4 comments

#23 - Adapt to Coq 8.17

Pull Request - State: closed - Opened by proux01 almost 2 years ago - 1 comment

#22 - Release version 1.0.1 ?

Issue - State: closed - Opened by eupp over 2 years ago - 1 comment

#21 - extend to coq 8.15+mathcomp 1.14

Pull Request - State: closed - Opened by clayrat almost 3 years ago - 4 comments

#20 - Update for Coq 8.15 + mathcomp 1.14

Issue - State: closed - Opened by clayrat almost 3 years ago - 3 comments

#19 - document more files in README, use 1.13.0 in ci, standard Makefile

Pull Request - State: closed - Opened by palmskog over 3 years ago - 2 comments

#18 - rename Kosaraju in kosaraju

Pull Request - State: closed - Opened by thery over 3 years ago

#17 - update toolbox

Pull Request - State: closed - Opened by CohenCyril over 3 years ago

#16 - Change owner of nix package

Pull Request - State: closed - Opened by CohenCyril over 3 years ago

#15 - add missing fingroup dependency to README and opam

Pull Request - State: closed - Opened by palmskog over 3 years ago

#14 - add meta.yml and generate boilerplate

Pull Request - State: closed - Opened by palmskog over 3 years ago

#13 - Moving .v files to theories/ directory

Pull Request - State: closed - Opened by CohenCyril over 3 years ago

#12 - coq-nix-toolbox

Pull Request - State: closed - Opened by CohenCyril over 3 years ago

#11 - update for 1.12

Pull Request - State: closed - Opened by thery over 3 years ago

#10 - Acyclicity and topological sorting

Pull Request - State: closed - Opened by palmskog about 6 years ago - 9 comments

#9 - Fix compilation on 8.9

Pull Request - State: closed - Opened by palmskog about 6 years ago

#8 - sync with jj spec

Pull Request - State: closed - Opened by thery over 6 years ago - 1 comment

#7 - optimized version of tarjan_nocolor

Pull Request - State: closed - Opened by CohenCyril over 6 years ago

#6 - Noblacks

Pull Request - State: closed - Opened by CohenCyril over 6 years ago

#5 - fix compat problem

Pull Request - State: closed - Opened by thery over 6 years ago

#4 - no admit

Pull Request - State: closed - Opened by thery over 6 years ago

#3 - 1 admit

Pull Request - State: closed - Opened by thery over 6 years ago

#2 - Norank

Pull Request - State: closed - Opened by thery over 6 years ago

#1 - some easy admit

Pull Request - State: closed - Opened by thery over 6 years ago