about summary refs log tree commit diff homepage
path: root/utils
AgeCommit message (Expand)Author
2023-03-17Add support to disable memsan instrumentation; update UB/Asan suppressionMartin Nowack
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 script to build and upload Grafana Docker imageGeorge Ordish
2020-01-17Add Dockerfile for preconfigured GrafanaGeorge Ordish
2019-01-07fix a bug in a function callTipwheal
2018-07-04Support sanitizer suppression files with lit-based testingMartin Nowack
2016-11-23Renamed .pc to .kquery (kleaver query)Eric Rizzi
2016-02-23Added missing copyright headers per klee/issue #301Marko Dimjašević
2015-12-18Remove a bunch of LeakSanitizer suppressions that aren't needed anymoreDan Liew
2015-12-18Fix memory leaks of ``Array`` objects detected by ASan.Dan Liew
2015-12-17Fix a memory leak in ``UpdateList`` detected by AddressSanitizer.Dan Liew
2015-12-17Add LeakSanitizer (component of AddressSanitizer) suppression fileDan Liew
2015-04-09Normalised line endingsCristian Cadar
2010-05-02Add a little hack for visualizing KLEE branching.Daniel Dunbar
2009-06-27emacs .pc mode: Numbers should be recognized before identifiersDaniel Dunbar
2009-06-14Fixup syntax coloring for emacs .pc mode.Daniel Dunbar
2009-06-08Add some query logs in utils/data/Queries (for 3 and 4 byte pcregrep)Daniel Dunbar
2009-05-21Initial KLEE checkin.Daniel Dunbar
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-05-09 11:27:55 +0000