Age | Commit message (Collapse) | Author | |
---|---|---|---|
2012-08-07 | Some items from the CVC4 public interface review: | Morgan Deters | |
* rename DeclarationScope to SymbolTable * rename all HashStrategy -> HashFunction (which we often have anyways) * remove CDCircList (no one is currently using it) |