| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2024-01-30 | Change `GetConstraintLog` to work with `std::string`s instead of `char*`s | Daniel Schemmel | |
| 2024-01-30 | Avoid generating array names in solver builders that could accidently collide | Martin Nowack | |
| If an array name ended with a number, adding a number-only suffix could generate the same name used as part of the solvers. In the specific testcase `val_1` became solver array `val_111` which collided with array `val_11` that became `val_111` as well. Using an `_` as prefix for the suffix, solves that problem in general, i.e. `val_1` becomes `val_1_11` and `val_11` becomes `val_11_1`. Fixes #1668 | |||
| 2023-04-21 | use unique_ptr all throughout the solver chain | Daniel Schemmel | |
| 2020-07-01 | Separate constraint set and constraint manager | Martin Nowack | |
| 2020-04-07 | Add unit test for Z3Solver::getConstraintLog | Daniel Grumberg | |
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |