about summary refs log tree commit diff homepage
path: root/utils/grafana/klee_dashboard.json
AgeCommit message (Expand)Author
2020-03-31Fixed some messages, particularly Klee -> KLEECristian Cadar
2020-03-22StatsTracker: remove NumObjects, fix assignment of and always write ArrayHash...Frank Busse
2020-01-17Use current values for stats in GrafanaGeorge Ordish
2020-01-17Extended the grafana dashboard.knm17
2020-01-17Add Dockerfile for preconfigured GrafanaGeorge Ordish