| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2019-04-08 | Use newer versions of solver components used by MetaSMT | Martin Nowack | |
| Add dependencies for newer build Add support to `git cherry-pick` commits without author/email defined | |||
| 2019-04-08 | Propagate correct version of metasmt to build script | Martin Nowack | |
| 2019-04-08 | Add LD_LIBRARY_PATH to docker image | Gerben Oolbekkink | |
| Fixes #1080. The proper LD_LIBRARY_PATH is required when binaries linked with kleeRuntest are run. The STP line is changed to extend the library path instead of replace it, I am not sure if it can be removed at this moment. | |||
| 2019-04-05 | Add missing dependency for tabulate package | Martin Nowack | |
| 2019-04-05 | Add docker build as target. | Martin Nowack | |
| 2019-04-05 | Remove CC as requirement; automatically set by sanitizer_compiler | Martin Nowack | |
| Update build sqlite script | |||
| 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 | Fix SQLite OSX | Timotej Kapus | |
| 2019-04-04 | Add MSan support for sqlite | Timotej Kapus | |
| 2019-04-04 | add tabulate to OSX build | Frank Busse | |
| 2019-04-04 | some minor refactorings | Frank Busse | |
| 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. | |||
| 2019-04-02 | Add FreeBSD OS triple in RaiseAsm | Gleb Popov | |
| 2019-04-02 | Teach ConcreteTest.py to use `gmake` instead of `make` on FreeBSD | Gleb Popov | |
| 2019-04-02 | Handle __assert() function as handleAssertFail. This assert variant is used ↵ | Gleb Popov | |
| on FreeBSD | |||
| 2019-04-02 | Fix klee-replay tool on FreeBSD. | Gleb Popov | |
| 2019-04-02 | POSIX runtime fixes for FreeBSD. | Gleb Popov | |
| 2019-04-02 | Do not take sys/capability.h header into account on FreeBSD. Also use ↵ | Gleb Popov | |
| libutil.h header there. | |||
| 2019-04-02 | Fix build of Executor.cpp on FreeBSD. | Gleb Popov | |
| 2019-03-31 | Made test/Runtime/POSIX/GenBout.c run in an isolated directory | Andrew Santosa | |
| 2019-03-31 | Applied clang-format on tools/gen-random-bout/gen-random-bout.cpp | Andrew Santosa | |
| 2019-03-31 | Various updates to gen-random-bout.cpp | Andrew Santosa | |
| * Added handling of --sym-arg * Resolved the crash when minimum and maximum number of arguments for --sym-args are equal * Replaced "range" with "n_args" produced by --sym-args * Added model_version variable (constrained to 1), to prevent klee complaining about insufficient input * Allow a single dash to prefix an option * Arrange the elements in the correct order: command-line arguments, files, stdin, stdout * Added test/Runtime/POSIX/GenRandomBout.c test, with a substitution for %gen-random-bout in test/lit.cfg | |||
| 2019-03-21 | remove tests for LLVM <= 3.7 | Julian Büning | |
| 2019-03-21 | drop support for LLVM <= 3.7 | Julian Büning | |
| 2019-03-21 | remove copy of ScalarizerPass for LLVM 3.4 | Julian Büning | |
| 2019-03-21 | remove obsolete LegacyLLVMPassManagerTy | Julian Büning | |
| 2019-03-21 | remove obsolete macro KLEE_LLVM_GEP_TYPE | Julian Büning | |
| 2019-03-20 | tests: add STPDumpDebugQueries.c | Frank Busse | |
| 2019-03-20 | STPSolver: C++11, add missing free, refactoring | Frank Busse | |
| 2019-03-20 | Moving to version 2.1-pre | Cristian Cadar | |
| 2019-03-19 | Release notes for 2.0 v2.0 | Cristian Cadar | |
| 2019-03-19 | Set version to 2.0! | Cristian Cadar | |
| 2019-03-19 | Add support to assign debug instructions to optimised code | Martin Nowack | |
| 2019-03-19 | Use debugging information from newer LLVM versions | Martin Nowack | |
| 2019-03-19 | separate between instructions and functions | Martin Nowack | |
| 2019-03-19 | Refactor InstructionInfoTable | Martin Nowack | |
| Better debug information | |||
| 2019-03-19 | Dockerfile: Add libcxx as a build dependency | MartinNowack | |
| 2019-03-19 | Add Read consistency test case, spelling | Timotej Kapus | |
| 2019-03-19 | Fix representation of ReadExpr of equivalent arrays | Martin Nowack | |
| ObjectStates can be shared between multiple states. A read expression of a symbolic object can be represented differently depending on previous read expression on the same object. If the read expression uses a symbolic index, all pending updates will become entries in the update list of the object state. If the same object state is read again, with a concrete index, the latest update list item will be referenced, even though it might contain more recent but non-essential updates. If, instead, a concrete read will be executed first, it does not contain the non-essential updates. For both executions, the ReadExpr with a constant index will have two different representations, which is not intented. This patch makes sure, we do not include more recent, non-essential updates for concrete reads. Fixes #921 | |||
| 2019-03-18 | Update Dockerfile with new dependencies | Martin Nowack | |
| 2019-03-18 | Update dependencies | Martin Nowack | |
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |