issues
search
coq
/
coq-bench
Scripts for differential performance testing of Coq packages / versions
Other
4
stars
6
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Should the issues in this repository be transferred to the Coq repo and this repo archived?
#92
Zimmi48
closed
2 years ago
6
Fix #90 (re-enable autobenchmarking)
#91
JasonGross
closed
3 years ago
17
Regular builds fail: coq_pr_number / comment_id must be set
#90
ejgallego
closed
3 years ago
4
Bench the coq installation too
#89
SkySkimmer
closed
4 years ago
5
Slightly more informative info
#88
ppedrot
closed
4 years ago
0
bignums broken
#87
SkySkimmer
closed
4 years ago
6
Updating Jenkins version
#86
JasonGross
closed
3 years ago
1
Integration with coqbot
#85
JasonGross
closed
4 years ago
3
Automatically populating commit fields?
#84
JasonGross
closed
4 years ago
1
bignums failing
#83
SkySkimmer
closed
4 years ago
7
Adding a script to parse HTML output.
#81
ppedrot
closed
4 years ago
0
Make coq-bench per-line timing script work with coq-lambda-rust
#80
JasonGross
closed
4 years ago
0
[opam] Update ocaml-pr-repos to our own git repos
#79
ejgallego
closed
4 years ago
2
[opam] Enable install of beta OCaml versions.
#78
ejgallego
closed
4 years ago
0
[ci] Try to fix broken CI.
#77
ejgallego
closed
4 years ago
1
Don't require package list to be topologically sorted
#76
JasonGross
closed
4 years ago
13
PDIFF column for mem faults has one too few characters in some rows when both nan and numbers are present
#75
JasonGross
closed
2 years ago
1
Native compute support
#74
SkySkimmer
closed
3 years ago
7
fiat crypto fails to install
#73
SkySkimmer
closed
4 years ago
3
Allow to tweak the OPAM repository also for the OLD branch.
#72
ppedrot
closed
5 years ago
4
[travis] Restrict branches build to `master`.
#70
ejgallego
closed
5 years ago
8
[opam pin] Try to workaround wrong version number.
#69
ejgallego
closed
5 years ago
1
Many failing packages
#68
SkySkimmer
closed
5 years ago
2
Output logs to their own directory to make them easier to download
#67
SkySkimmer
closed
5 years ago
0
[ci] Update CI `old` / `new` refs.
#66
ejgallego
closed
5 years ago
0
[ci] Using pinned references means that CI cannot test ML-based plugins well
#65
ejgallego
closed
3 years ago
1
Skip unknown packages
#64
SkySkimmer
closed
5 years ago
2
[doc] Explain how to add a new development to be benchmarked.
#63
ejgallego
closed
5 years ago
0
[opam] Pin Coq package to a local path instead of adding a fake repos.
#61
ejgallego
closed
5 years ago
2
Opam 2 Fixes
#60
ejgallego
closed
5 years ago
0
timing html broken
#59
SkySkimmer
closed
5 years ago
3
Get rid of the local repos hack for Coq
#58
ejgallego
closed
5 years ago
0
[opam] Update to OPAM 2.0 + allow testing of experimental compiler versions
#57
ejgallego
closed
5 years ago
6
Add test that testing continues when some package fails
#56
SkySkimmer
closed
3 years ago
1
Dummy
#55
ejgallego
closed
5 years ago
0
[display] Make the script less verbose.
#54
ejgallego
closed
5 years ago
0
[ci] Add preliminary Travis file.
#53
ejgallego
closed
5 years ago
2
Update to OPAM 2
#52
ejgallego
closed
5 years ago
2
Jenkins cleanup.
#51
ejgallego
closed
3 years ago
3
Add quoting, misc lints
#50
SkySkimmer
closed
6 years ago
2
General Roadmap of Coq Bench
#49
ejgallego
closed
2 years ago
6
Deployment setup
#48
ejgallego
closed
3 years ago
6
[cleanup] Remove fake camlp5.dev package.
#47
ejgallego
closed
6 years ago
0
[ci] Add CI testing
#46
ejgallego
closed
5 years ago
0
[log] Don't print verbose and useless `opam show`
#45
ejgallego
closed
6 years ago
0
Please install the log sections plugins on Jenkins.
#44
ejgallego
closed
3 years ago
1
add Iris repo so that we can benchmark Iris packages
#43
RalfJung
closed
6 years ago
0
Make timelog2html more portable
#42
anton-trunov
closed
6 years ago
2
Maintainership
#41
ejgallego
closed
5 years ago
24
[output] Disable repetitive and non-very informative output.
#40
ejgallego
closed
6 years ago
8
Next