~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
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