index
:
~cnx/klee
this commit
1.0.x
1.1.x
1.2.x
1.3.x
1.4.x
2.0.x
2.1.x
2.2.x
2.3.x
3.0.x
master
psychic
svcomp
svcomp_32bit
KLEE fork for patch differentiation testing
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
utils
Age
Commit message (
Expand
)
Author
2020-03-31
Fixed some messages, particularly Klee -> KLEE
Cristian Cadar
2020-03-22
StatsTracker: remove NumObjects, fix assignment of and always write ArrayHash...
Frank Busse
2020-01-17
Use current values for stats in Grafana
George Ordish
2020-01-17
Extended the grafana dashboard.
knm17
2020-01-17
Add script to build and upload Grafana Docker image
George Ordish
2020-01-17
Add Dockerfile for preconfigured Grafana
George Ordish
2019-01-07
fix a bug in a function call
Tipwheal
2018-07-04
Support sanitizer suppression files with lit-based testing
Martin Nowack
2016-11-23
Renamed .pc to .kquery (kleaver query)
Eric Rizzi
2016-02-23
Added missing copyright headers per klee/issue #301
Marko Dimjašević
2015-12-18
Remove a bunch of LeakSanitizer suppressions that aren't needed anymore
Dan Liew
2015-12-18
Fix memory leaks of ``Array`` objects detected by ASan.
Dan Liew
2015-12-17
Fix a memory leak in ``UpdateList`` detected by AddressSanitizer.
Dan Liew
2015-12-17
Add LeakSanitizer (component of AddressSanitizer) suppression file
Dan Liew
2015-04-09
Normalised line endings
Cristian Cadar
2010-05-02
Add a little hack for visualizing KLEE branching.
Daniel Dunbar
2009-06-27
emacs .pc mode: Numbers should be recognized before identifiers
Daniel Dunbar
2009-06-14
Fixup syntax coloring for emacs .pc mode.
Daniel Dunbar
2009-06-08
Add some query logs in utils/data/Queries (for 3 and 4 byte pcregrep)
Daniel Dunbar
2009-05-21
Initial KLEE checkin.
Daniel Dunbar