about summary refs log tree commit diff homepage
AgeCommit message (Expand)Author
2017-07-25Merge pull request #724 from delcypher/floating_point_ops_clean_upAndrea Mattavelli
2017-07-25Re-enable parts of `FloatingPointOps.ll`. The message about failuresDan Liew
2017-07-24Moved klee_choose from klee-libc to KLEE intrinsics.Cristian Cadar
2017-07-24more portable shebangsJörg Thalheim
2017-07-24llvm: get rid of static_casts from iterators (take 2)Jörg Thalheim
2017-07-24Merge pull request #721 from delcypher/cmake_runtime_dependency_fixesAndrea Mattavelli
2017-07-24Merge pull request #713 from MartinNowack/remove_llvm_29_33Andrea Mattavelli
2017-07-24[CMake] Add a sanity check to the runtime build system so that weDan Liew
2017-07-24[CMake] Fix bug where the runtime build system would not rebuild bitcodeDan Liew
2017-07-23Remove LLVM 2.9 from MakefilesMartin Nowack
2017-07-23Remove klee-gccMartin Nowack
2017-07-23Cleanup Travis builderMartin Nowack
2017-07-23Updated test cases to reflect removal of LLVM 2.9Martin Nowack
2017-07-23Remove support for LLVM < 3.4Martin Nowack
2017-07-21Release notes for 1.4.0 v1.4.0 1.4.xCristian Cadar
2017-07-20Switching version to 1.4.0Cristian Cadar
2017-07-20Merge pull request #657 from delcypher/vectorized_instructionsCristian Cadar
2017-07-20Replace assertions of types on LLVM instructions in the Executor with aDan Liew
2017-07-20Merge pull request #673 from jirislaby/llvm40_WallTimerMartinNowack
2017-07-20Core: TimingSolver, use TimerStatIncrementerJiri Slaby
2017-07-20Merge pull request #704 from ccadar/TreeStreamAndrea Mattavelli
2017-07-19Added some unit tests for TreeStream: one testing some basic behaviour, the o...Cristian Cadar
2017-07-19Implement basic support for vectorized instructions.Dan Liew
2017-07-19Fixes bug in TreeStreamWriter::write reported by @gladtbx in #562. Also remo...Cristian Cadar
2017-07-18Use assembly line for printing debug informationMartin Nowack
2017-07-18Merge pull request #672 from jirislaby/llvm40_static_castsAndrea Mattavelli
2017-07-17Merge pull request #700 from andreamattavelli/fix_travis_macosCristian Cadar
2017-07-16Added caching of Homebrew downloadsAndrea Mattavelli
2017-07-08Corrected comment of Z3Solver classAndrew Santosa
2017-06-16move module loading into external functionJörg Thalheim
2017-06-16llvm37: introduce type for PassManagerJiri Slaby
2017-06-16Added location info for external calls and improved a message.Cristian Cadar
2017-06-15Merge pull request #680 from jirislaby/llvm37_dilocCristian Cadar
2017-06-15llvm37: do not copy DILocation to getDSPIPathJiri Slaby
2017-06-15llvm: get rid of static_casts from iteratorsJiri Slaby
2017-06-12llvm: don't use clEnumValEnd for LLVM 4.0Jiri Slaby
2017-06-08Merge pull request #675 from ccadar/varargsAndrea Mattavelli
2017-06-08Merge pull request #667 from andreamattavelli/fix_macos_varargCristian Cadar
2017-06-08Fixed typos in comments related to vararg support.Cristian Cadar
2017-06-07Prevent test failure when realloc fails in test/Feature/Realloc.cAndrew Santosa
2017-06-07llvm: rename ExitOnError to OptExitOnErrorJiri Slaby
2017-06-05Merge pull request #665 from delcypher/fix_long_double_gcc7Andrea Mattavelli
2017-06-05Removing flaky test Vararg.c from Darwin build until we find a proper fixAndrea Mattavelli
2017-06-05Fix test failure on systems with libstdc++ corresponding to gcc7.Dan Liew
2017-06-02hide backend solver declarations from public includeHoang M. Le
2017-06-02replace handleMetaSMT() with klee::createMetaSMTSolver() and move it into Met...Hoang M. Le
2017-06-01[Z3] Remove unused include.Dan Liew
2017-06-01[Z3] Add `-debug-z3-verbosity=<N>` option which behaves like Z3's `-v:<N>` op...Dan Liew
2017-06-01[Z3] Switch from `Z3_mk_simple_solver()` to `Z3_mk_solver()`.Dan Liew
2017-06-01[Z3] In `getConstraintLog()` use a separate builder from that of theDan Liew
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-27 04:56:48 +0000