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
/
tools
Age
Commit message (
Expand
)
Author
2018-12-19
Renamed --stop-after-n-tests to --max-tests
Cristian Cadar
2018-12-19
Added a replaying option category
Cristian Cadar
2018-12-19
Added checks option category, moved --optimize to starting category, renamed ...
Cristian Cadar
2018-12-19
Added linking option category
Cristian Cadar
2018-12-19
Added starting option category
Cristian Cadar
2018-12-19
Added test case option category
Cristian Cadar
2018-11-23
Implemented memalign with alignment
Lukas Wölfer
2018-10-30
Base time API upon std::chrono
Frank Busse
2018-10-26
Added gen-bout tool to generate ktest file (file.bout) using specified concre...
Andrew Santosa
2018-10-26
llvm5: avoid ++ on function->arg_begin()
Jiri Slaby
2018-10-23
refactor klee_open_output_file to return std::unique_ptr
Julian Büning
2018-10-16
Renamed klee/CommandLine.h to klee/SolverCmdLine.h, since this file is meant ...
Cristian Cadar
2018-10-08
cleanup headers, whitespaces, and types
Frank Busse
2018-10-08
add support for klee-replay on OSX
Frank Busse
2018-09-18
llvm4: handle different header names
Jiri Slaby
2018-09-14
llvm: make KLEE compile against LLVM 3.9
Jiri Slaby
2018-09-10
Unify the error message if that function has not been found.
Martin Nowack
2018-09-10
POSIX: Add invocation of klee_init_env into wrapper before calling main
Martin Nowack
2018-08-29
klee-stats: add TResolve(%) to --print-all
Frank Busse
2018-08-03
Replace remaining *Inst::Create() calls with llvm::Builder
Martin Nowack
2018-07-12
llvm38: SmallString is always up-to-date
Jiri Slaby
2018-07-04
Reorder linking and optimizations
Martin Nowack
2018-06-29
fix out of range access in KleeHandler::getKTestFilesInDir
Frank Busse
2018-05-24
llvm: make KLEE compile against LLVM 3.7
Richard Trembecký
2018-05-08
remove unused file: tools/klee/Debug.cpp
Daniel Schemmel
2018-05-05
Fix handling of errno if external functions are invoked
Martin Nowack
2018-04-28
exitOnError no output buf fix
Zekun Shen
2018-03-01
Store CexCache stats and then update klee-stats to use them
Domenico Fabio Marino
2017-11-30
Implemented bounded merging functionality
Lukas Wölfer
2017-10-04
Remove Autoconf/Makefile build system and adjust the TravisCI
Dan Liew
2017-08-27
Remove unnecessary null pointer checks
Oscar Deits
2017-08-04
Removed merging searchers
Lukas Wölfer
2017-08-01
Fixed test case counter: Previously the number of test cases generated by KLE...
Andrea Mattavelli
2017-07-26
This reverts incorrect patch https://github.com/klee/klee/commit/db29a0bba74b...
Cristian Cadar
2017-07-23
Remove support for LLVM < 3.4
Martin Nowack
2017-07-18
Merge pull request #672 from jirislaby/llvm40_static_casts
Andrea Mattavelli
2017-06-16
move module loading into external function
Jörg Thalheim
2017-06-15
llvm: get rid of static_casts from iterators
Jiri Slaby
2017-06-12
llvm: don't use clEnumValEnd for LLVM 4.0
Jiri Slaby
2017-06-07
llvm: rename ExitOnError to OptExitOnError
Jiri Slaby
2017-06-01
Refactor file opening code out of `main.cpp` and into
Dan Liew
2017-05-24
llvm: make KLEE compile against LLVM 3.5 and 3.6
Richard Trembecký
2017-03-23
Replace `llvm:errs()` with `klee_error()` as suggested by @andreamattavelli
Dan Liew
2017-03-23
[WIP] Fix bug where stats would not be updated on early exit caused by
Dan Liew
2017-02-28
convert iterators using static_cast
Jiri Slaby
2017-02-25
llvm: stop using global context
Jiri Slaby
2017-01-16
[CMake] Rename "integrationtests" to "systemtests".
Dan Liew
2016-12-02
Fixed the issue of klee-stats not being copied to bin/
Cristian Cadar
2016-12-01
Added among the external calls that we model
Andrea Mattavelli
2016-11-23
Renamed .pc to .kquery (kleaver query)
Eric Rizzi
[prev]
[next]