about summary refs log tree commit diff homepage
AgeCommit message (Collapse)Author
2019-05-28Implement handling of the llvm.fabs intrinsicFelix Rath
2019-05-07Update issue templatesCristian Cadar
2019-05-06Removed outdated TODO.txt file. TODOs are now managed on GitHub.Cristian Cadar
2019-05-06Use 'latest' branch of FreeBSD packages on Cirrus CI.Gleb Popov
2019-05-06Fix compilation of POSIX runtime on FreeBSD 11.Gleb Popov
2019-05-06Add 'freebsd' feature in lit.cfg and use it to XFAIL LargeReturnTypes.cpp test.Gleb Popov
2019-05-06Fix build of POSIX runtime on FreeBSD i386.Gleb Popov
2019-04-29Add a configuration file for Cirrus CI.Gleb Popov
2019-04-29More FreeBSD related fixes to POSIX runtime.Gleb Popov
2019-04-29Fix gen-random-bout to build on FreeBSD.Gleb Popov
2019-04-12Fix handling of time in grafanaTimotej Kapus
2019-04-08Use newer version of metaSMT in travis buildMartin Nowack
2019-04-08Use newer versions of solver components used by MetaSMTMartin Nowack
Add dependencies for newer build Add support to `git cherry-pick` commits without author/email defined
2019-04-08Propagate correct version of metasmt to build scriptMartin Nowack
2019-04-08Add LD_LIBRARY_PATH to docker imageGerben 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-05Add missing dependency for tabulate packageMartin Nowack
2019-04-05Add docker build as target.Martin Nowack
2019-04-05Remove CC as requirement; automatically set by sanitizer_compilerMartin Nowack
Update build sqlite script
2019-04-04klee-stats: add - to to-csv/grafana optionsFrank Busse
2019-04-04Add klee-stats test, fix microseconds bugTimotej Kapus
2019-04-04Fix SQLite OSXTimotej Kapus
2019-04-04Add MSan support for sqliteTimotej Kapus
2019-04-04add tabulate to OSX buildFrank Busse
2019-04-04some minor refactoringsFrank Busse
2019-04-04Clean klee-stats, StatsTracker and cmakeTimotej Kapus
2019-04-04Remove unused functionTimotej Kapus
2019-04-04Remove precisionTimotej Kapus
2019-04-04Remove compare-byTimotej Kapus
2019-04-04Remove sort-byTimotej Kapus
2019-04-04Remove unused -sample-interval optionTimotej Kapus
2019-04-04Remove linechart for klee-statsTimotej Kapus
2019-04-04Add add -grafana option to klee-statsTimotej Kapus
It starts a simple web server that acts as a simple JSON datasource for grafana
2019-04-04Change the .stats format into sqlite3Timotej Kapus
Improves querying of the .stats file, reduces its size, speeds up reads and writes and has better defined fail behaviour.
2019-04-02Add FreeBSD OS triple in RaiseAsmGleb Popov
2019-04-02Teach ConcreteTest.py to use `gmake` instead of `make` on FreeBSDGleb Popov
2019-04-02Handle __assert() function as handleAssertFail. This assert variant is used ↵Gleb Popov
on FreeBSD
2019-04-02Fix klee-replay tool on FreeBSD.Gleb Popov
2019-04-02POSIX runtime fixes for FreeBSD.Gleb Popov
2019-04-02Do not take sys/capability.h header into account on FreeBSD. Also use ↵Gleb Popov
libutil.h header there.
2019-04-02Fix build of Executor.cpp on FreeBSD.Gleb Popov
2019-03-31Made test/Runtime/POSIX/GenBout.c run in an isolated directoryAndrew Santosa
2019-03-31Applied clang-format on tools/gen-random-bout/gen-random-bout.cppAndrew Santosa
2019-03-31Various updates to gen-random-bout.cppAndrew 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-21remove tests for LLVM <= 3.7Julian Büning
2019-03-21drop support for LLVM <= 3.7Julian Büning
2019-03-21remove copy of ScalarizerPass for LLVM 3.4Julian Büning
2019-03-21remove obsolete LegacyLLVMPassManagerTyJulian Büning
2019-03-21remove obsolete macro KLEE_LLVM_GEP_TYPEJulian Büning
2019-03-20tests: add STPDumpDebugQueries.cFrank Busse
2019-03-20STPSolver: C++11, add missing free, refactoringFrank Busse
generated by cgit-pink 1.4.1 (git 2.36.1) at 2025-02-18 06:58:01 +0000