~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
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.
2017-10-04	Fix TravisCI `METASMT_DEFAULT` setting.	Dan Liew

2017-10-04	Remove Autoconf/Makefile build system and adjust the TravisCI	Dan Liew
	configuration, TravisCI scripts and Dockerfile build appropriately. There are a bunch of clean ups this enables but this commit doesn't attempt them. We can do that in future commits.
2017-10-04	Merge pull request #761 from ccadar/misc	Cristian Cadar
	Silenced some warnings about unused variables when assertions are dis…
2017-10-04	Merge branch 'master' into misc	Cristian Cadar

2017-10-03	Merge pull request #760 from delcypher/cmake_fixes	Andrea Mattavelli
	A few minor CMake fixes/tweaks
2017-10-03	Silenced some warnings about unused variables when assertions are disabled.	Cristian Cadar

2017-10-03	[CMake] Report the value of some important variables during configure	Dan Liew
	to aid debugging.
2017-10-03	[CMake] Fix initialisation order of `KLEE_COMPONENT_*` and	Dan Liew
	`KLEE_SOLVER_LIBRARIES` variables. The code to add `NDEBUG` to `KLEE_COMPONENT_CXX_DEFINES` did so before initialisation and would be silently overwritten.
2017-09-29	Removed dead link, fixes #754	Cristian Cadar