issues
search
sneeuwballen
/
benchpress
Testing and benchmarking tool for logic-related programs.
BSD 2-Clause "Simplified" License
26
stars
8
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Removes unecessary `result` library
#78
filipeom
closed
1 month ago
1
Remove missing license warning when pinning with opam
#77
filipeom
closed
1 month ago
2
[compare2] Add total time for problems solved by both provers
#76
bclement-ocp
closed
5 months ago
1
Add support for comparing results with a specific status
#75
bclement-ocp
closed
7 months ago
2
add prometheus, simplify server logging
#74
c-cube
closed
9 months ago
0
Add detailed statistics for the subcommand `show`
#73
Halbaroth
closed
1 year ago
9
Use single-argument ulimit calls
#72
bclement-ocp
closed
1 year ago
1
Copy input and output of provers to RAM
#71
bclement-ocp
opened
1 year ago
1
Run ocamlformat
#70
bclement-ocp
closed
1 year ago
0
Better benchmark stability
#69
bclement-ocp
closed
1 year ago
12
Fix `same_file` check, reloaded
#68
bclement-ocp
closed
1 year ago
1
Fix `same_file` check
#67
hra687261
closed
1 year ago
2
Add (binary) field to (prover) stanzas
#66
bclement-ocp
closed
1 year ago
1
Add support for dir_files (like -F) in run stanzas
#65
bclement-ocp
closed
1 year ago
2
Add plot and detailed regressions to the prover comparison view
#64
bclement-ocp
closed
1 year ago
1
Add ability to compare different provers
#63
bclement-ocp
closed
1 year ago
3
Allow naming directories in config files
#62
bclement-ocp
closed
1 year ago
1
Running benchpress on a slurm-managed cluster
#61
hra687261
closed
1 year ago
3
use ocamlformat
#60
c-cube
closed
1 year ago
0
Mutex.lock: Resource deadlock avoided
#59
Halbaroth
closed
1 year ago
1
Wrong running time
#58
Halbaroth
opened
1 year ago
4
added `desktop_notification`, `no_failure` and `update` as command line options
#57
hra687261
closed
1 year ago
1
The working directory is not changed before fetching the git repository
#56
Halbaroth
closed
1 year ago
1
Fix run task
#55
Halbaroth
closed
2 years ago
0
Activate the WAL mode after creating the database file
#54
Halbaroth
closed
2 years ago
7
Add an option to specify an output database
#53
Halbaroth
closed
2 years ago
2
Use Pp_loc instead of the native code for locs
#52
hra687261
closed
2 years ago
1
Bump to Pp_loc v2.1.0
#51
hra687261
closed
2 years ago
3
Update to Cmdliner v1.1.0
#50
hra687261
closed
2 years ago
8
use vega or vega-lite for graphs
#49
c-cube
opened
2 years ago
0
handle proof checking
#48
c-cube
opened
2 years ago
1
form to do arbitrary sql query in web UI
#47
c-cube
opened
2 years ago
0
chore: try to move to opam2 for CI; remove test deps
#46
c-cube
closed
3 years ago
0
Unix.Unix_error(Unix.ECONNREFUSED, "connect", "") fails silently
#45
shonfeder
closed
3 years ago
3
Use GNU time to record maximum resident set size in addition to elapsed time
#44
Gbury
opened
4 years ago
0
Filter full results to only keep differing results
#43
Gbury
opened
4 years ago
4
Feature wish: show number of entries in detailed view
#42
Gbury
closed
4 years ago
0
Refactor handling of computation limits
#41
Gbury
closed
4 years ago
0
Feature wish for ulimit wrappers
#40
Gbury
closed
4 years ago
1
Double ulimit wrapper
#39
Gbury
closed
4 years ago
2
ui: auto completion in filtering of individual results
#38
c-cube
opened
4 years ago
0
[UI] Add link to filtered list of results in summary
#37
Gbury
closed
4 years ago
0
display cached summary directly on main page
#36
c-cube
closed
4 years ago
0
[UI] Filter results by tag
#35
Gbury
closed
4 years ago
1
richer way to scan prover output
#34
c-cube
opened
4 years ago
0
Plots fails when using custom tags
#33
Gbury
closed
4 years ago
0
Name dirs in config file
#32
Gbury
closed
1 year ago
1
ui: have breadcrumbs for navigation
#31
c-cube
closed
4 years ago
0
server: `prover` link should read from the DB
#30
c-cube
closed
4 years ago
0
jobserver protocol
#29
c-cube
opened
4 years ago
0
Next