diff options
| author | Morgan Deters <mdeters@gmail.com> | 2011-11-16 03:47:25 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2011-11-16 03:47:25 +0000 |
| commit | f55dfd4df98fbecbd0ef0f86da79d537457109d6 (patch) | |
| tree | 8979e0e92e4d228d285c847f4af4913d4d8a7638 /config | |
| parent | b9118b75a8ee24a94a693cd3f850c63eb5085ef1 (diff) | |
Addressed many of the concerns raised in the public interface review of CVC4 Datatypes (bug #283) by Chris Conway. Thanks, Chris!
Diffstat (limited to 'config')
0 files changed, 0 insertions, 0 deletions