diff options
| author | Clark Barrett <barrett@cs.nyu.edu> | 2012-08-19 02:08:15 +0000 |
|---|---|---|
| committer | Clark Barrett <barrett@cs.nyu.edu> | 2012-08-19 02:08:15 +0000 |
| commit | e8e85053afba60bd6060cb07c52c88c316d73b30 (patch) | |
| tree | 05b0d8c37ab667cb8f22d2159bf5079557405a9b /src/expr | |
| parent | 958b0b56aad79df431376344420106115ab23778 (diff) | |
1. Fix for inst_match.cpp to allow compilation on fedora
2. Initial implementation of computeIsConst for arrays - still needs
additional checks based on cardinality
3. Finally fixed pre-competition bug in array rewriter
4. Still to come: array rewrites for constants and STORE_ALL
Diffstat (limited to 'src/expr')
0 files changed, 0 insertions, 0 deletions