-
Notifications
You must be signed in to change notification settings - Fork 8
Issues: sneeuwballen/benchpress
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
use vega or vega-lite for graphs
A-ui
ui related (web ui, cli)
help wanted
#49
opened Jan 5, 2022 by
c-cube
handle proof checking
A-proof
related to proof checking
A-stanzas
stanza language for config files
enhancement
#48
opened Nov 27, 2021 by
c-cube
3 of 5 tasks
form to do arbitrary sql query in web UI
A-ui
ui related (web ui, cli)
#47
opened Nov 27, 2021 by
c-cube
Use GNU time to record maximum resident set size in addition to elapsed time
#44
opened Jul 23, 2020 by
Gbury
ui: auto completion in filtering of individual results
A-ui
ui related (web ui, cli)
enhancement
help wanted
#38
opened May 18, 2020 by
c-cube
richer way to scan prover output
A-stanzas
stanza language for config files
enhancement
#34
opened May 17, 2020 by
c-cube
3 tasks
ProTip!
Adding no:label will show everything without a label.