~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
2014-09-17	Another LLVM3.5 compilation fix.	Dan Liew

2014-09-16	[LLVM3.5] Update Kleaver for MemoryBuffer::getFileOrSTDIN changes.	Daniel Dunbar

2014-09-16	Fix #include under LLVM3.5. OwningPtr doesn't exist anymore.	Dan Liew

2014-09-16	Fix LLVM3.5 compilation a little more. ``Support/system_error.h``	Dan Liew
	was removed by r210803
2014-09-16	Fix compilation error due to r199218. Maybe we should just remove this	Dan Liew
	assertion entirely?
2014-09-15	Merge pull request #160 from MartinNowack/fix_dirconsistency	Daniel Dunbar
	Generate fake files for test cases
2014-09-15	Generate fake files for test cases	Martin Nowack

2014-09-15	Merge pull request #157 from MartinNowack/fix_posix_printout	Cristian Cadar
	Fix a possible deadlock.
2014-09-15	Merge pull request #158 from delcypher/remove_response_files	Cristian Cadar
	Remove --read-args command line option because this feature has been
2014-09-15	[Travis] Show commands as they execute in	Dan Liew
	``install-llvm-and-runtime-compiler.sh``
2014-09-15	Merge pull request #134 from delcypher/coloured_error_messages	Dan Liew
	Taught klee_warning(), klee_error() etc... to emit coloured text output.
2014-09-15	Taught klee_warning(), klee_error() etc... to emit coloured text output.	Dan Liew
	Also use bold green text when KLEE finishes. This is done by taking advantage of llvm::raw_ostream's nice API for controlling the console text colour.
2014-09-15	Remove --read-args command line option because this feature has been	Dan Liew
	available in LLVM's command line parser for a while (response files).
2014-09-15	Removed inlineChecks() function which was just dead code.	Dan Liew

2014-09-14	[Travis] Stop building with both Clang and GCC for now, see comment.	Daniel Dunbar

2014-09-15	Merge pull request #154 from delcypher/travis_script_fixes	Dan Liew
	Travis clean ups
2014-09-14	[LLVM3.5] Ensure Twine definition is available from Executor.h.	Daniel Dunbar

2014-09-14	Fix LLVM3.5 compilation. This is due to r202168	Dan Liew

2014-09-14	[LLVM3.5] Drop use of PassNameParser, which we don't even use anymore.	Daniel Dunbar

2014-09-14	Fix LLVM3.5 compilation due to switching to std::error_code	Dan Liew

2014-09-15	Capture STP build output to file and only show its contents if there	Dan Liew
	is a build failure. This is so the output shown in the TravisCI web interface is kept small.
2014-09-14	[LLVM3.5] Update for more random headers moving around.	Daniel Dunbar

2014-09-15	Clean up travis build scripts a little.	Dan Liew

2014-09-15	Fix when we decide to "not exit on command error". We were doing this	Dan Liew
	too late so if the unittests failed the lit tests would not run.
2014-09-14	[LLVM3.5] Update for move of CFG.h into IR.	Daniel Dunbar
	- Mostly fixed by removing unnecessary references.
2014-09-14	[LLVM3.5] Update for CallSite.h move into IR/.	Daniel Dunbar

2014-09-14	Fix compilation error due to change in raw_fd_ostream for LLVM3.5	Dan Liew

2014-09-14	[LLVM3.5] Don't try to use DEBUG macro without DEBUG_TYPE.	Daniel Dunbar

2014-09-14	Provide --enable-cxx11 configure option to enable building with C++11.	Dan Liew
	For LLVM >= 3.5 explicitly force this to be enabled otherwise we can't compile against LLVM. - Some minor tweaks to the configure logic by me (Daniel Dunbar), to ensure C++ compiler is tested before these checks run, and to properly restore CXXFLAGS.
2014-09-14	[Core] Fix a bug in how source file names were written in .istats files.	Daniel Dunbar
	- KCachegrind appears to expect the first function name to be preceeded by the name of the file it appears in. Otherwise, it will end up creating two different records for the function, one of which has no file name and won't have any statistics.
2014-09-14	[Module] Try harder to associate each instruction with source level debug info.	Daniel Dunbar
	- This makes KCachegrind output look nicer, as otherwise it assumes instructions without debug info were inlined and shows some message to that effect. - This does however we might be lying a bit about the source line that an instruction came from. - This also adds a test case for our istats output, yay!
2014-09-14	[tests] Enable running tests in parallel.	Daniel Dunbar
	- This works fine for me on OS X now, and has been reported to work on Linux as well. Enabling across the board although presumably Travis will still only run single-threaded. - Fixes #147.
2014-09-14	[Core] Remove support for "--use-asm-addresses".	Daniel Dunbar
	- I suspect no one is using this feature, and I'm not sure it is well conceived either. Ripping it out for now in lieu of bothering to maintain it.
2014-09-14	Use klee-libc for this test, as it runs when configured w/o uclibc.	Daniel Dunbar
	- If this is a problem for some reason, lets either fix the problem or move it into Runtime tests.
2014-09-14	Enable test case again	Martin Nowack

2014-09-14	Replace fprintf with klee_warnings for POSIX lib	Martin Nowack

2014-09-14	Merge pull request #155 from MartinNowack/fix_fd_fail2	Daniel Dunbar
	Fix testcase FD_Fail2.c
2014-09-14	Use not test instead of non-existing FAIL.	Martin Nowack

2014-09-14	Fix testcase FD_Fail2.c	Martin Nowack
	Major issue was that puts was used for the succeed printf calls. With newer gcc/clang versions, printf is always used. The former took different code paths leading to much more possibilities to trigger failed writes and therefore generating more test cases. This patch avoids the generation of puts. And checks for the 4 possible generated test cases for 2 possible errors.
2014-09-14	Merge branch 'travis_icon' of https://github.com/delcypher/klee	Daniel Dunbar

2014-09-14	[Travis] Disable Write2 on Travis with LLVM-3.4 for now, to see if this ↵	Daniel Dunbar
	prevents the hang we are seeing.
2014-09-14	Merge branch 'remove_bc_dependency' of https://github.com/delcypher/klee	Daniel Dunbar

2014-09-14	Remove dependence on the bc tool. Use python instead because we are	Dan Liew
	already dependent on it.
2014-09-14	Add Travis build status icon/link	Dan Liew

2014-09-14	Upgrade ConcreteTest.py to work with Python3 (Python 2.7.x should still	Dan Liew
	work)
2014-09-13	[Core] Fix implementation of FRem for LLVM 3.3+, which was wrong (caught by ↵	Daniel Dunbar
	FloatingPointOps.ll).
2014-09-13	[tests] Add support for testing LLVM version in REQUIRES: and XFAIL: lines.	Daniel Dunbar
	- You can now make tests disabled, or expected to fail, by writing something like: // XFAIL: llvm-3.4 or // REQUIRES: not-llvm-3.4 - This mechanism doesn't support version comparisons, it is mostly intended to help with switching over to new LLVM versions and incrementally working through the test failures.
2014-09-13	[test/Concrete] Remove the Invoke*.ll tests.	Daniel Dunbar
	- LLVM changed the exception handling semantics a lot, and we can't write compatible tests across the versions. Unfortunately I am afraid this probably also means KLEE's exception handling semantics are broken for LLVM 3.4+, but our C++ support is spotty at best. These tests should probably be replaced with ones in a source language that supports exceptions if and when someone wants to make that work.
2014-09-13	[test/Concrete] Update LLVM IR syntax.	Daniel Dunbar

2014-09-13	[Solver] Tune down the shared memory region size on Darwin.	Daniel Dunbar
	- See comment, this is a gross workaround for Darwin's very small default limit on shared memory size. I'm not sure how big of a counterexample users can actually expect STP to solve in practice -- if there is a practical use for larger ones it would probably be good for us to write a fallback strategy.