| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2020-03-01 | [klee-stats] Do not crash if tabulate is not installed but requested | Martin Nowack | |
| 2020-03-01 | [klee-stats] Refactor writing table into own function | Martin Nowack | |
| 2020-03-01 | [klee-stats] Refactor CSV printout in own function | Martin Nowack | |
| 2020-03-01 | [klee-stats] Check if stats file exist before trying to open it | Martin Nowack | |
| Providing a list of directories might sometimes not contain the stats file. Check its existence before trying to access it. | |||
| 2020-01-17 | Add support to provid a specific host address and port for grafana server | Martin Nowack | |
| 2020-01-17 | Extended the grafana dashboard. | knm17 | |
| Added units for some of the data and modified klee-stats source code to provide solver time as a fraction of walltime along with fork, resolve and cexcache time. | |||
| 2019-08-08 | Read Klee's start time correctly in klee-stats | George Ordish | |
| The last modification time of the run.stats database was being used as the starting time of klee. This was causing Grafana to show graphs incorrectly. Instead we now read the start time from the info file. Co-Authored-By: Kenny Macheka <knm17@ic.ac.uk> | |||
| 2019-04-12 | Fix handling of time in grafana | Timotej Kapus | |
| 2019-04-04 | klee-stats: add - to to-csv/grafana options | Frank Busse | |
| 2019-04-04 | Add klee-stats test, fix microseconds bug | Timotej Kapus | |
| 2019-04-04 | Clean klee-stats, StatsTracker and cmake | Timotej Kapus | |
| 2019-04-04 | Remove unused function | Timotej Kapus | |
| 2019-04-04 | Remove precision | Timotej Kapus | |
| 2019-04-04 | Remove compare-by | Timotej Kapus | |
| 2019-04-04 | Remove sort-by | Timotej Kapus | |
| 2019-04-04 | Remove unused -sample-interval option | Timotej Kapus | |
| 2019-04-04 | Remove linechart for klee-stats | Timotej Kapus | |
| 2019-04-04 | Add add -grafana option to klee-stats | Timotej Kapus | |
| It starts a simple web server that acts as a simple JSON datasource for grafana | |||
| 2019-04-04 | Change the .stats format into sqlite3 | Timotej Kapus | |
| Improves querying of the .stats file, reduces its size, speeds up reads and writes and has better defined fail behaviour. | |||
| 2018-08-29 | klee-stats: add TResolve(%) to --print-all | Frank Busse | |
| 2018-03-01 | Store CexCache stats and then update klee-stats to use them | Domenico Fabio Marino | |
| Signed-off-by: Domenico Fabio Marino <nospamdomi@hotmail.it> | |||
| 2016-02-23 | Added missing copyright headers per klee/issue #301 | Marko Dimjašević | |
| 2016-02-08 | Fixed two spelling errors. | Marko Dimjašević | |
| 2014-07-18 | Refactor klee-stats and add simple line chart drawing functionality. | Lei Zhang | |
| 2012-10-09 | Patch by Tomasz Kuchta that adds several useful options (--print-abs-times, ↵ | Cristian Cadar | |
| --print-rel-times, --precision) to klee-stats. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@165499 91177308-0d34-0410-b5e6-96231b3b80d8 | |||
| 2012-06-21 | Patch by Paul Marinescu improving klee-stats: "klee-stats now reports avg ↵ | Cristian Cadar | |
| and max memory consumption and states. A bug in the compare-by=<key> functionality has been fixed and the --compare-at=[<value>|last] option has been added. Specifying a value reports all statistics at the point where <key> had value <value>; specifying 'last' reports at the largest <key> value common to all executions" git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@158948 91177308-0d34-0410-b5e6-96231b3b80d8 | |||
| 2011-12-16 | Fixed help message in klee-stats. | Cristian Cadar | |
| git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@146741 91177308-0d34-0410-b5e6-96231b3b80d8 | |||
| 2009-07-26 | Tweak | Daniel Dunbar | |
| git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@77154 91177308-0d34-0410-b5e6-96231b3b80d8 | |||
| 2009-06-09 | Use env instead of hard coding python path. | Daniel Dunbar | |
| git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@73142 91177308-0d34-0410-b5e6-96231b3b80d8 | |||
| 2009-06-05 | Fixed a division by zero triggered by straight-line code in klee-stats. | Cristian Cadar | |
| Added an error message when no directories are given. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72966 91177308-0d34-0410-b5e6-96231b3b80d8 | |||
| 2009-06-05 | Moved PrintStats.py to tool/klee-stats/ | Cristian Cadar | |
| git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72964 91177308-0d34-0410-b5e6-96231b3b80d8 | |||
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |