about summary refs log tree commit diff homepage
AgeCommit message (Expand)Author
2015-04-02Removed underConstrained field, which I believe was re-introduced byCristian Cadar
2015-04-02[Core] Documentation and cleanupMartin Nowack
2015-04-01[include] Add missing functions in klee.hMartin Nowack
2015-04-01[runtime] Fix include in klee_intMartin Nowack
2015-04-01[test] Fix compilation warningMartin Nowack
2015-04-01[Core] Fixed typo in assertionMartin Nowack
2015-04-01[runtime] Fix comments to c style for c files and headersMartin Nowack
2015-04-01[tests] Fix undefined functionMartin Nowack
2015-04-01[tools] Added fortified version wrapper for fprintfMartin Nowack
2015-04-01[include] Added documentationMartin Nowack
2015-04-01[include] Removed unused variableMartin Nowack
2015-03-22Fix compilation under MacOS, see https://github.com/klee/klee/issues/219 for ...Cristian Cadar
2015-03-20Improve arithmetic-right-overshift-sym-conc.c test by make sure itDan Liew
2015-03-20[Solver] Fix leak intermediate expression not freedMartin Nowack
2015-03-20[Core] Fix memory leak in assembler raisingMartin Nowack
2015-03-12Merge pull request #212 from MartinNowack/killing_states_warningCristian Cadar
2015-03-12[Core] Always warn if states get deleted due to memory limitsMartin Nowack
2015-03-03Consistent capitalization of "KLEE"Cristian Cadar
2015-03-03Slight updates in license file, acknowledging more recent contributions.Cristian Cadar
2015-03-02New regression test checking that the Array factory correctly distinguishes b...Cristian Cadar
2015-03-02Merge branch 'holycrap872-ArrayFactory'Cristian Cadar
2015-02-27Improved some comments and fixed some formatting issues in the Array factory ...Cristian Cadar
2015-02-27Merge branch 'ArrayFactory' of https://github.com/holycrap872/klee into holyc...Cristian Cadar
2015-02-22Added factory method for Arrays + hid constructors from outside callsEric Rizzi
2015-02-19Teach ExprSMTLIBPrinter to use SMTLIBv2's distinct function ratherDan Liew
2015-02-13Fixed and refactored overflow test cases.Cristian Cadar
2015-02-13refactor integer overflow detection, add signed intLuca Dariz
2015-02-13Fix overflow detection in unsigned multiplicationLuca Dariz
2015-02-13add tests for unsigned integer overflowLuca Dariz
2015-02-13Detect overflow of unsigned add, sub and mul operationsLuca Dariz
2015-02-13Revert "Merged @luckyluke's change for detecting overflow of unsigned add, sub"Cristian Cadar
2015-02-10Merged @luckyluke's change for detecting overflow of unsigned add, subCristian Cadar
2014-12-19Merge pull request #168 from willemp/fix-va-args-passing-for-big-typesCristian Cadar
2014-12-19Moved some of @ddunbar's notes from llvm.org/bugs into TODO.txtCristian Cadar
2014-12-18Merge pull request #178 from mchalupa/masterCristian Cadar
2014-12-13Add a few line breaks to make the code more readable inDan Liew
2014-12-13Clean up some ExprSMTLIBPrinter code by using llvm_unreachableDan Liew
2014-12-13Clean up a few comments in ExprSMTLIBPrinterDan Liew
2014-12-12Print nested let-abbreviations in ExprSMTLIBPrinterRaimondas Sasnauskas
2014-12-09Merge pull request #186 from paulmar/fixshiftCristian Cadar
2014-12-08Merge pull request #183 from hpalikareva/fix-overshift-metasmtCristian Cadar
2014-12-08Fix overshift checkPaul Marinescu
2014-12-03Merge pull request #182 from hpalikareva/fix-test-prefer-cexCristian Cadar
2014-12-03Handling overshift behaviour in MetaSMTBuilderHristina Palikareva
2014-12-03Fixed test /Feature/PreferCex.c: Z3 instantiates different value for unconstr...Hristina Palikareva
2014-12-02Unbreak compilation (in metaSMT configuration) by preventing the #defineHristina Palikareva
2014-12-02Fix typoDan Liew
2014-12-02Add a comment explaining why the query expr is being negated.Dan Liew
2014-12-02The printing of constraints and the QueryExpr have been merged into aDan Liew
2014-12-02Implement :named and let abbreviation modes in ExprSMTLIBPrinterRaimondas Sasnauskas
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-27 20:39:11 +0000