~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2014-09-13	Add TravisCI testing infrastructure files.	Dan Liew
2014-09-13	These tests require --optimize=false to run successfully.	Cristian Cadar
2014-09-12	[tests] Fix Concrete tests for out-of-tree builds.	Daniel Dunbar
2014-09-12	[Core] Fix some warnings in -Asserts builds.	Daniel Dunbar
2014-09-12	[FloatEvaluation] Use llvm::report_fatal_error() instead of assert(0) for uns...	Daniel Dunbar
2014-09-12	[Module] Fix handling of instructions without debug info.	Daniel Dunbar
2014-09-12	[tests] Run 'make clean' prior to starting tests.	Daniel Dunbar
2014-09-12	[tests] Add a workaround to try and prevent llvm-gcc from calling putchar(), ...	Daniel Dunbar
2014-09-12	Update .gitignore.	Daniel Dunbar
2014-09-12	[tests] Rewrite MemoryLimit test to use larger allocations for "little" test ...	Daniel Dunbar
2014-09-12	[tests] Dramatically scale back the forks limit for our ImmutableSet test.	Daniel Dunbar
2014-09-12	[tests] Set --output-dir on all test runs, in support of running tests in par...	Daniel Dunbar
2014-09-12	[tests] Update ConcreteTest to use --output-dir.	Daniel Dunbar
2014-09-12	Add a README for the Concrete tests.	Daniel Dunbar
2014-09-12	Fix up ConstantExpr to be deterministic with 64-bit addresses.	Daniel Dunbar
2014-09-12	Add support for testing Concrete tests via lit.	Daniel Dunbar
2014-09-12	Fix up Concrete Makefile to not remove outputs, so tests can run in parallel.	Daniel Dunbar
2014-09-12	Rewrite ConcreteTest.py to only run one test at a time.	Daniel Dunbar
2014-09-12	Update Concrete test Makefile for LLVM changes.	Daniel Dunbar
2014-09-12	Update testingUtils to use printf(), putchar() isn't a known external functio...	Daniel Dunbar
2014-09-12	Update FloatingPointOps concrete test case for LLVM changes.	Daniel Dunbar
2014-09-12	XFAIL LargeReturnTypes.cpp on Darwin, it depends indirectly on using libstdcxx.	Daniel Dunbar
2014-09-12	When building against libc++ (vs libstdcxx), use standard unordered_{map,set}...	Daniel Dunbar
2014-09-12	Regenerate configure.	Daniel Dunbar
2014-09-12	Tweak the workarounds for multiple definition of PACKAGE_* macros from config...	Daniel Dunbar
2014-09-12	Add support for getting memory usage on Darwin.	Daniel Dunbar
2014-09-12	Do not require mallinfo(), which is Linux specific.	Daniel Dunbar
2014-09-12	Do not require <sys/capability.h>, which is Linux specific.	Daniel Dunbar
2014-09-12	Regenerate configure with sanctioned autoconf version.	Daniel Dunbar
2014-09-12	Revert "Patch by Dan Liew: "Improved AutoRegen script so that it supports new...	Daniel Dunbar
2014-07-21	Merge pull request #113 from antiAgainst/klee-stats	Cristian Cadar
2014-07-18	Refactor klee-stats and add simple line chart drawing functionality.	Lei Zhang
2014-07-10	Merge pull request #137 from MartinNowack/fix_cxx_standard	Cristian Cadar
2014-07-09	Fix to avoid warning message taking address of main	Martin Nowack
2014-07-04	Merge pull request #133 from delcypher/fix_empty_error_report	Cristian Cadar
2014-07-04	Fix regression reported by Michael Esser and Andrew Watson	Dan Liew
2014-06-06	Merge pull request #129 from ahorn/master	Cristian Cadar
2014-05-30	Merge pull request #117 from MartinNowack/llvm_raw_ostream	MartinNowack
2014-05-30	Fix ExprTest under LLVM 2.9	Martin Nowack
2014-05-29	Use LLVM DEBUG macro instead of #if 0 or #if DEBUG	Martin Nowack
2014-05-29	Fix header	Martin Nowack
2014-05-29	Avoid non-explicit use of functions from std namespace in KLEE	Martin Nowack
2014-05-29	Remove #include <iostream> to avoid static constructors	Martin Nowack
2014-05-29	Refactoring from std::ostream to llvm::raw_ostream	Martin Nowack
2014-05-19	Rename command line option for equality substitutions	ahorn
2014-05-16	Changed StaticDestructor.cpp to use uclibc and disable optimizations explicitly.	Cristian Cadar
2014-05-13	Merge pull request #131 from haneefmubarak/patch-1	Cristian Cadar
2014-05-12	Update and rename README.txt to README.md	Haneef Mubarak
2014-05-12	Merge pull request #124 from pcc/sort	Dan Liew
2014-05-12	Add SimplifyExpressions command line option	ahorn