~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
2018-04-12	Fix python2 linking	Martin Nowack

2018-04-09	doDumpStates: incorrectly increments stats	Frank Busse
	doDumpStates calls stepInstruction and therefore indirectly increases time and instruction statistics for all dangling (dumped) states. This patch removes the call, but now the timing stats for the last executed state are lost, as StatsTracker::stepInstruction isn't called anymore.
2018-03-26	[CMake] Add option to set GTest include dir	lyxia

2018-03-23	fix test/Feature/BFSSearcherAndDFSSearcherInterleaved.c to use explicit ↵	Julian Büning
	enumeration of possible strings instead of CHECK-SAME (does not work as intended with LLVM >= 3.7)
2018-03-01	Store CexCache stats and then update klee-stats to use them	Domenico Fabio Marino
	Signed-off-by: Domenico Fabio Marino <nospamdomi@hotmail.it>
2018-02-18	Add missing endian information to avoid selecction of big endian systems	Martin Nowack

2018-02-18	Fail for aggegrations with big endian ordering	Martin Nowack

2018-02-18	Fixed handling of constant vectors with complex data	Martin Nowack

2018-02-18	Test complex constant data vectors as well	Martin Nowack

2018-02-18	Make print function of ObjectState public and const	Martin Nowack

2018-02-18	Add testcase for constant array handling	Martin Nowack

2018-02-18	Add test case for constant vector init	Martin Nowack

2018-02-18	Fix correct element order of InsertElement/ExtractElement	Martin Nowack

2018-02-18	Fix getelementptr for array or vector indices	Martin Nowack
	Rewrote code based on: llvm::GEPOperator::accumulateConstantOffset(): Handle signed offset correctly.
2018-02-18	Fix generation of expressions from constant sequential data	Martin Nowack

2018-02-18	Added comment for getPointerWidth	Martin Nowack

2018-02-01	llvm50: use auto variable instead of SwitchInst::CaseIt	Jiri Slaby
	llvm50 changed the semantics of SwitchInst::CaseIt and started using "auto" variable type. So use it here too for all versions greater than 3.4 -- 3.4 does not support this semantics yet. Signed-off-by: Jiri Slaby <jirislaby@gmail.com>
2018-01-30	Enable caching for travis-ci	Martin Nowack
	* Use ccache for building * Implement caching of locally build brew packages
2018-01-30	Fix coverage generation	Martin Nowack
	* Generate base coverage tracking all files * Reset coverage tracking before running experiments * Use base path KLEE_SRC * Fix uploading of results
2018-01-22	MergeHandler: remove unused closedStateCount	Jiri Slaby
	clang 5 reports: In file included from ../lib/Core/MergeHandler.cpp:10: ../include/klee/MergeHandler.h:81:12: warning: private field 'closedStateCount' is not used [-Wunused-private-field] unsigned closedStateCount; ^ So fix it by removing the member. Signed-off-by: Jiri Slaby <jirislaby@gmail.com>
2018-01-17	add wllvm to the python packages to be installed	Hexcoder

2018-01-16	[Travis-CI] Added codecov.io support	Andrea Mattavelli

2018-01-08	[NFC] Remove unused config header template that was only used by	Dan Liew
	the old build system (now removed).
2017-12-11	fix regression test: use `%klee` instead of `klee`	Felix Rath

2017-12-11	fix merging tests: use `%klee` instead of `klee`	Felix Rath
	Fixes #800
2017-12-05	Move Homebrew tap from personal repository to the KLEE organization	Andrea Mattavelli

2017-12-05	Updated TravisCI to use pip2 instead of pip	Andrea Mattavelli

2017-12-05	Bumped xcode version for TravisCI	Andrea Mattavelli

2017-11-30	Implemented bounded merging functionality	Lukas Wölfer

2017-11-30	Added pause and continue functionality for states in Executor	Lukas Wölfer

2017-11-26	Replace confusing message in lit.site.cfg.in about the file being autogenerated	Cristian Cadar

2017-11-24	klee_make_symbolic: add test cases for API	Frank Busse

2017-11-24	klee_make_symbolic: warn on deprecated usage	Frank Busse
	* terminates state instead of using assertion for illegal argument number * renames empty names to "unnamed" (otherwise test generation fails) * deprecates two argument version
2017-10-26	[cmake]Fix detection of non-standard path for tcmalloc	Martin Nowack

2017-10-25	fixing huge allocation size constant to be unsigned	David Trabish

2017-10-17	[travis] build metaSMT with C++11	Hoang M. Le

2017-10-17	[travis] add a workaround to keep Travis alive when running tests for ↵	Hoang M. Le
	metaSMT-CVC4 (which needs around 10m for one specific test case)
2017-10-17	[travis] update scripts to additionally test CVC4 and Yices2	Hoang M. Le

2017-10-17	[cmake] detect available metaSMT backends using a pre-defined flag and raise ↵	Hoang M. Le
	compile flags accordingly
2017-10-17	add support for CVC4 and Yices2 via metaSMT	Hoang M. Le

2017-10-15	Fixed assert in BFSSearcher that does not hold as part of interleaved searcher	Julian Büning

2017-10-12	Removed unnecessary and redundant variable	Andrea Mattavelli

2017-10-09	Fixed initialization of distance to uncovered instructions when KLEE relies ↵	Andrea Mattavelli
	on default searchers
2017-10-06	Silenced warnings on comparison of integers of different signs in TreeStreamTest	Andrea Mattavelli

2017-10-06	Removed the word 'unsigned' from integer overflow error messages	Andrew Santosa

2017-10-05	enforce c++11	Jörg Thalheim
	fixes #314
2017-10-05	Merge pull request #757 from delcypher/cmake_clean_all	Andrea Mattavelli
	[CMake] Implement clean-all (fixes #718)
2017-10-04	[CMake] Add `clean_doxygen` rule to clean up doxygen build tree and	Dan Liew
	add this as a dependency of `clean_all`.
2017-10-04	[CMake] Add global clean target `clean_all`. Fixes #718.	Dan Liew
	This target invokes the `clean` target but is also intended for use by other cleaning targets. The `clean_runtime` target is now declared as a dependency of `clean-all` so that the runtime is cleaned as well.
2017-10-04	[CMake] Fix bug when doing non-assert builds.	Dan Liew
	It seems we need to pass `-D` to CMake explicitly.