| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2019-11-05 | Mark all constant global memory objects as constant | Martin Nowack | |
| Fixes #264. We first aggregate all constant memory objects initialise them and initialise their counter parts in the concrete memory. After that, we mark memory objects as constant such that they can't be modified (i.e. this includes marking them symbolic). | |||
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |