diff options
author | 2013-11-25 15:20:31 +0100 | |
---|---|---|
committer | 2013-11-25 15:20:31 +0100 | |
commit | 230f5c3aa91b843cf1864258386e3902ffb6370a (patch) | |
tree | a08684f118e1a38de8b910a32f2ee877eab1c445 /CMakeLists.txt | |
parent | c550a0e6340e432c87351638561f5b96f32d5d89 (diff) |
Evaluator: introduce the main Assignment class, add call_assignment to bypass NoAlias and AssumeAliasing, and some bits of cleaning
Diffstat (limited to 'CMakeLists.txt')
0 files changed, 0 insertions, 0 deletions