about summary refs log tree commit diff homepage
AgeCommit message (Expand)Author
2016-06-10update Makefile for metaSMTHoang M. Le
2016-06-10metaSMT does not require RTTIHoang M. Le
2016-06-10clean up metaSMT includesHoang M. Le
2016-06-04Merge pull request #412 from MartinNowack/fix_travisciMartinNowack
2016-06-04Deactivate officiall llvm source. Use alternative ppaMartin Nowack
2016-06-04Do not install clang-3.4 if not neededMartin Nowack
2016-05-31Merge pull request #405 from ccadar/timesCristian Cadar
2016-05-28Fixed an incorrect read() invocation and missing includes for FD_Fail2.cCristian Cadar
2016-05-27Merge pull request #396 from andreamattavelli/fix_kleaver_parserCristian Cadar
2016-05-27Improved help message for POSIX environment options.Cristian Cadar
2016-05-27Merge pull request #397 from andreamattavelli/refactoring_stdinCristian Cadar
2016-05-27Fixed the stub for times() not to dereference a NULL pointer when call with a...Cristian Cadar
2016-05-25Merge pull request #398 from hoangmle/masterMartinNowack
2016-05-25add entry for llvm-2.9 and z3Hoang M. Le
2016-05-25add include in Z3Solver.cpp (did not compile with llvm-2.9)Hoang M. Le
2016-05-24Split creation of symbolic files and stdin in two distinct optionsAndrea Mattavelli
2016-05-24Fixed bug #375 in Kleaver's parserAndrea Mattavelli
2016-05-24Added string for -run-in directory errorsAndrea Mattavelli
2016-05-24Merge pull request #386 from ShayDamir/relocatable-kleeMartinNowack
2016-05-20Allow relocation of installed klee treeDamir Shaykhutdinov
2016-05-18Merge pull request #387 from andreamattavelli/feat_instruction_loggingMartinNowack
2016-05-18Modified -debug-print-instructions to allow to write directly on log file.Andrea Mattavelli
2016-05-17Merge pull request #392 from MartinNowack/fix_docker_stpMartinNowack
2016-05-16Add cmake 2.8.11 as additional dependencyMartin Nowack
2016-04-19Merge pull request #369 from MartinNowack/fix_determ_solver_arrayMartinNowack
2016-04-18Merge pull request #374 from Justme0/optimize_kinstiteratorMartinNowack
2016-04-17Merge pull request #359 from delcypher/fix_indep_solver_bugCristian Cadar
2016-04-14This test passes under 2.9, so it cannot be used as an XFAIL. We can enable ...Cristian Cadar
2016-04-14Disabling --solver-optimize-divides by default, as the optimization is curren...Cristian Cadar
2016-04-14Added test case with the examples from https://github.com/klee/klee/issues/33...Cristian Cadar
2016-04-12remove synthesized `rule of three` of KInstIteratorjiangg
2016-04-12Merge pull request #364 from MartinNowack/feat_partial_loggingCristian Cadar
2016-04-11Merge pull request #371 from andreamattavelli/masterCristian Cadar
2016-04-11Small refactoring to improve the consistency of info file handlingAndrea Mattavelli
2016-04-09Generate unique STP and Z3 array names deterministicallyMartin Nowack
2016-04-08Merge pull request #370 from delcypher/fix_tautlogical_is_localCristian Cadar
2016-04-08Remove computation of ``isLocal`` that is always true when handlingDan Liew
2016-04-08Merge pull request #368 from delcypher/refactor_klee_out_file_to_ktestDan Liew
2016-04-08Rename KLEE command line options fromDan Liew
2016-04-08Remove dead function declarationDan Liew
2016-03-31Updated NEWS file with 1.2.0 changesCristian Cadar
2016-03-31Moving to version 1.2.0Cristian Cadar
2016-03-23Refactoring of conditional flush into own function.Martin Nowack
2016-03-23Fix comment + Clang FormattingMartin Nowack
2016-03-23Add option to log partial solver queries before calling itMartin Nowack
2016-03-22Properly assert that an assignment computed inDan Liew
2016-03-22Merge pull request #361 from MartinNowack/fix_determ_expprinterCristian Cadar
2016-03-22ExprPPrinter: Print out arrays deterministicallyMartin Nowack
2016-03-22Merge pull request #349 from MartinNowack/fix_so_linkgMartinNowack
2016-03-22Try to fix #348Dan Liew
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-25 19:49:59 +0000