Comments (4)
You can even go one step further and imagine showing:
- differing results: sat / unsat vs unknown / timeout / memout
- conflicting results: sat (or unsat) vs unsat (or sat)
with a prioritization of showing conflicting results
, as it implies a potential soundness bug in the tool(s).
from benchpress.
note that when viewing a file, you already should get a list of errors (per prover), and summary tables with comparisons between provers, including conflicting instances. Then you can click on these to get to these conflicting files.
But in general, yes, the UI could use more cross linking and filtering :)
from benchpress.
Ah yes, didn't notice it. Guillaume just showed me the tool.
from benchpress.
does this suffice, actually: https://benchpress.cedeela.fr/show_table/res-20200515T222015-2eed2c42-3d64-4611-956f-341d3b2d54ab.sqlite/?pb=&res=different ?
from benchpress.
Related Issues (20)
- server: `prover` link should read from the DB
- ui: have breadcrumbs for navigation
- Name dirs in config file HOT 1
- Plots fails when using custom tags
- richer way to scan prover output
- [UI] Filter results by tag HOT 1
- display cached summary directly on main page
- [UI] Add link to filtered list of results in summary
- ui: auto completion in filtering of individual results
- Double ulimit wrapper HOT 2
- Feature wish for ulimit wrappers HOT 1
- Feature wish: show number of entries in detailed view
- Use GNU time to record maximum resident set size in addition to elapsed time
- Unix.Unix_error(Unix.ECONNREFUSED, "connect", "") fails silently HOT 3
- form to do arbitrary sql query in web UI
- handle proof checking HOT 1
- use vega or vega-lite for graphs
- Wrong running time HOT 4
- Mutex.lock: Resource deadlock avoided HOT 1
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from benchpress.