Skip to content
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

Investigate use of DataTables library #237

PhilippWendler opened this Issue Apr 28, 2017 · 2 comments


None yet
2 participants
Copy link

PhilippWendler commented Apr 28, 2017

The DataTables library seems to be a powerful JavaScript library for tables, providing a lot of features that we have currently implemented ourselves or which would be nice to have:

We should probably use this library in the HTML tables.


This comment has been minimized.

Copy link

Nairit11 commented Feb 26, 2018

I would like to contribute to this. @PhilippWendler Can you please guide me through this and suggest where should I start from.


This comment has been minimized.

Copy link
Member Author

PhilippWendler commented Feb 27, 2018

Well the goal of this is to investigate if the use of a library like DataTables can make our tables like this example render faster (even if the table has 20 columns with 10000 rows) and be more user-friendly. There is a template with all the JavaScript code from which these tables are generated. For testing, a somewhat larger table than the example table can be generated by running bin/table-generator benchexec/tablegenerator/test_integration/results/integration-predicateAnalysis.* -o . --all-columns --no-diff in the BenchExec project directory.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session.