about summary refs log tree commit diff homepage
path: root/lib
AgeCommit message (Expand)Author
2024-05-02Refine support for stdio captureNguyễn Gia Phong
2024-03-05Relax revision combination checkNguyễn Gia Phong
2024-03-05Hack up brute-force decision tree constructionNguyễn Gia Phong
2024-03-05Clean up interfacesNguyễn Gia Phong
2024-03-05Revert orphaned changesNguyễn Gia Phong
2024-03-05Handle conjoined metaconstraintsNguyễn Gia Phong
2024-03-05Move differentiator to separate moduleNguyễn Gia Phong
2024-03-05Execute concrete programs more eagerlyNguyễn Gia Phong
2024-03-05Implement detection of implicit return via pointerNguyễn Gia Phong
2024-03-05Implement return value detectionNguyễn Gia Phong
2024-03-05Handle revisited meta sym var when generate env varNguyễn Gia Phong
2024-03-05Retire external symbilic diffNguyễn Gia Phong
2024-03-05Implement native path condition combinationNguyễn Gia Phong
2024-03-05Fix metavar detection false negativeNguyễn Gia Phong
2024-03-05Fallback on UBNguyễn Gia Phong
2024-03-05Support 1-byte metavariablesNguyễn Gia Phong
2024-03-05Add search heuristic for patch locationsNguyễn Gia Phong
2024-03-05Avoid resolving combined SMT formulaeNguyễn Gia Phong
2024-03-05Half-bake decision clusteringNguyễn Gia Phong
2024-03-05Conclude concrete execution implNguyễn Gia Phong
2024-03-05Lay ground work for concrete executionNguyễn Gia Phong
2024-03-05Clone state more completelyNguyễn Gia Phong
2024-03-05Implement differentiator extractionNguyễn Gia Phong
2024-03-05Save exited states' formulaNguyễn Gia Phong
2024-03-05Receive instrumented revision numberNguyễn Gia Phong
2024-03-05Implement differencial test structureNguyễn Gia Phong
2024-02-29Add support to fully concretise objects if modified externallyMartin Nowack
2024-02-29Support external call concretisation policies for referenced objectsMartin Nowack
2024-02-29Refactor `ObjectState::flushToConcreteStore` to use `toConstant`Martin Nowack
2024-02-29Use correctly constrained constants if the memory object is fully symbolicMartin Nowack
2024-02-29Correctly update symbolic variables that have been changed externallyMartin Nowack
2024-02-27Small refactorings and reformatting in callExternalFunctionCristian Cadar
2024-02-27Simplified callExternalFunction by using toConstant instead of getValueCristian Cadar
2024-02-27Extend toConstant() to take an additional boolean argument that decides wheth...Cristian Cadar
2024-02-27This commit fixes the concretization of arguments following an external call ...Cristian Cadar
2024-02-19Rename --ptree-batch-size to --exec-tree-batch size, and --compress-execution...Cristian Cadar
2024-02-17Fixed incorrect reference in ExternalCallWarningsCristian Cadar
2024-02-16drop llvm 9 and 10Daniel Schemmel
2024-02-08Mention default value in help text for `--strip-all` and `--strip-debug`MartinNowack
2024-02-08Use `std::` namespace for `uint64_t`MartinNowack
2024-02-08Disable unsupported passes for newer LLVM versionsMartin Nowack
2024-02-08Add support to `aligned_alloc` generated by LLVMMartin Nowack
2024-02-08Add support for `Intrinsic::get_rounding` for LLVM 16Martin Nowack
2024-02-08Use APIs of newer LLVM versions instead of unsupported onesMartin Nowack
2024-02-08Add support for opaque pointersMartin Nowack
2024-02-08Refactor invocation of old pass manager into legacy functionMartin Nowack
2024-01-30Change `GetConstraintLog` to work with `std::string`s instead of `char*`sDaniel Schemmel
2024-01-30Avoid generating array names in solver builders that could accidently collideMartin Nowack
2024-01-30Modify getValueFromSeeds() to include more functionality and simplify its cal...Cristian Cadar
2024-01-30Make Assignment::evaluate be constCristian Cadar
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-12-04 19:45:58 +0000