Ecosyste.ms: Issues

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

GitHub / coq-community/coq-performance-tests issues and pull requests

#47 - Adapt to https://github.com/coq/coq/pull/19530

Pull Request - State: closed - Opened by proux01 5 months ago

#46 - Add nia tests from Coq test-suite

Pull Request - State: closed - Opened by JasonGross 9 months ago

#46 - Add nia tests from Coq test-suite

Pull Request - State: closed - Opened by JasonGross 9 months ago

#45 - Add make-pretty-timed, print-pretty-timed

Pull Request - State: closed - Opened by JasonGross 11 months ago

#45 - Add make-pretty-timed, print-pretty-timed

Pull Request - State: closed - Opened by JasonGross 11 months ago

#44 - Add 8.19 to CI, use -native on images that support it

Pull Request - State: closed - Opened by JasonGross 11 months ago

#44 - Add 8.19 to CI, use -native on images that support it

Pull Request - State: closed - Opened by JasonGross 11 months ago

#43 - Regression line for `zify_large_context`

Pull Request - State: closed - Opened by JasonGross 11 months ago

#43 - Regression line for `zify_large_context`

Pull Request - State: closed - Opened by JasonGross 11 months ago

#41 - Bump webfactory/ssh-agent from 0.8.0 to 0.9.0

Pull Request - State: closed - Opened by dependabot[bot] about 1 year ago
Labels: dependencies

#41 - Bump webfactory/ssh-agent from 0.8.0 to 0.9.0

Pull Request - State: closed - Opened by dependabot[bot] about 1 year ago
Labels: dependencies

#40 - Bump actions/download-artifact and actions/upload-artifact from 3 to 4

Pull Request - State: closed - Opened by JasonGross about 1 year ago

#40 - Bump actions/download-artifact and actions/upload-artifact from 3 to 4

Pull Request - State: closed - Opened by JasonGross about 1 year ago

#39 - Bump actions/upload-artifact from 3 to 4

Pull Request - State: closed - Opened by dependabot[bot] about 1 year ago - 1 comment
Labels: dependencies

#38 - Bump actions/download-artifact from 3 to 4

Pull Request - State: closed - Opened by dependabot[bot] about 1 year ago - 3 comments
Labels: dependencies

#38 - Bump actions/download-artifact from 3 to 4

Pull Request - State: closed - Opened by dependabot[bot] about 1 year ago - 3 comments
Labels: dependencies

#37 - Use make-pretty-timed to display timing info

Pull Request - State: open - Opened by JasonGross over 1 year ago

#37 - Use make-pretty-timed to display timing info

Pull Request - State: open - Opened by JasonGross over 1 year ago

#36 - Bump actions/checkout from 3 to 4

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies

#36 - Bump actions/checkout from 3 to 4

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: dependencies

#35 - Fix CI

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

#35 - Fix CI

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

#34 - Add newer Coq versions to CI

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

#34 - Add newer Coq versions to CI

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

#33 - Add check-all job

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

#33 - Add check-all job

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

#32 - Disable typeclass debug

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

#32 - Disable typeclass debug

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

#31 - Bump webfactory/ssh-agent from 0.6.0 to 0.8.0

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago - 5 comments
Labels: dependencies

#31 - Bump webfactory/ssh-agent from 0.6.0 to 0.8.0

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago - 5 comments
Labels: dependencies

#30 - Bump webfactory/ssh-agent from 0.6.0 to 0.7.0

Pull Request - State: closed - Opened by dependabot[bot] over 2 years ago - 1 comment
Labels: dependencies

#30 - Bump webfactory/ssh-agent from 0.6.0 to 0.7.0

Pull Request - State: closed - Opened by dependabot[bot] over 2 years ago - 1 comment
Labels: dependencies

#29 - Bump webfactory/ssh-agent from 0.5.4 to 0.6.0

Pull Request - State: closed - Opened by dependabot[bot] over 2 years ago - 1 comment
Labels: dependencies

#28 - Try timed groups in CI

Pull Request - State: closed - Opened by JasonGross over 2 years ago

#27 - Add a test-case for destructing in large contexts

Pull Request - State: closed - Opened by JasonGross over 2 years ago

#26 - Add concurrency to cancel previous jobs from the same PR

Pull Request - State: closed - Opened by JasonGross over 2 years ago

#25 - Use docker-coq action for running Coq

Pull Request - State: closed - Opened by JasonGross over 2 years ago

#24 - Alternate adaptation w.r.t. coq/coq#16004 and coq/coq#16258

Pull Request - State: closed - Opened by JasonGross over 2 years ago

#23 - Add example from https://github.com/coq/coq/issues/16172 again

Pull Request - State: open - Opened by JasonGross over 2 years ago

#22 - Add example from https://github.com/coq/coq/issues/16172

Pull Request - State: closed - Opened by JasonGross over 2 years ago - 6 comments

#21 - Adapt w.r.t. coq/coq#16004.

Pull Request - State: closed - Opened by ppedrot over 2 years ago

#20 - Bump actions/upload-artifact from 2 to 3

Pull Request - State: closed - Opened by dependabot[bot] almost 3 years ago - 5 comments
Labels: dependencies

#19 - Bump actions/download-artifact from 2 to 3

Pull Request - State: closed - Opened by dependabot[bot] almost 3 years ago - 4 comments
Labels: dependencies

#18 - Fix meta file on older versions

Pull Request - State: closed - Opened by JasonGross almost 3 years ago

#17 - Bump actions/checkout from 2 to 3

Pull Request - State: closed - Opened by dependabot[bot] almost 3 years ago
Labels: dependencies

#16 - adapt to coq/coq#15220

Pull Request - State: closed - Opened by SkySkimmer about 3 years ago - 1 comment

#15 - Add evars in rewriting test

Pull Request - State: closed - Opened by JasonGross about 3 years ago - 1 comment

#14 - Bump webfactory/ssh-agent from 0.4.1 to 0.5.4

Pull Request - State: closed - Opened by dependabot[bot] about 3 years ago - 6 comments
Labels: dependencies

#13 - Fix reification by parametricity svgs

Issue - State: open - Opened by JasonGross about 4 years ago

#12 - Add reification by Quote

Pull Request - State: closed - Opened by JasonGross about 4 years ago

#11 - Add Ltac2 reification

Pull Request - State: closed - Opened by JasonGross about 4 years ago

#10 - Add some Ltac2 util code

Pull Request - State: closed - Opened by JasonGross about 4 years ago

#9 - Add OCaml reify

Pull Request - State: closed - Opened by JasonGross about 4 years ago

#8 - Add most benchmarks from reification by parametricity

Pull Request - State: closed - Opened by JasonGross about 4 years ago

#7 - Reification by parametricity

Pull Request - State: closed - Opened by JasonGross about 4 years ago

#6 - Subdirectory support

Pull Request - State: closed - Opened by JasonGross about 4 years ago

#5 - Use sandbox for better error messages

Pull Request - State: closed - Opened by JasonGross about 4 years ago

#4 - Pos.to_nat should never be unfolded, according to documentation

Pull Request - State: closed - Opened by ybertot about 4 years ago - 2 comments

#3 - Regeneration of _CoqProject can duplicate files when not in git

Issue - State: closed - Opened by JasonGross over 4 years ago - 1 comment

#2 - Add various rewrite performance experiments

Pull Request - State: closed - Opened by JasonGross over 4 years ago