Age | Commit message (Collapse) | Author | |
---|---|---|---|
2020-06-16 | Update copyright headers. | Aina Niemetz | |
2019-10-20 | Cleaning-up the declaration of wrapped functions/methods, which have no ↵ | Andrew V. Jones | |
definitions (#3399) Signed-off-by: Andrew V. Jones <andrewvaughanj@gmail.com> | |||
2019-08-10 | Simplify how defined functions are tracked during parsing (#3177) | Andrew Reynolds | |
2019-04-24 | Do not use __ prefix for header guards. (#2974) | Mathias Preiner | |
Fixes 2887. | |||
2019-03-26 | Update copyright headers. | Aina Niemetz | |
2018-06-25 | Updated copyright headers. | Aina Niemetz | |
2018-01-08 | Remove throw specifiers from symbol table. (#1490) | Tim King | |
2017-10-02 | Removing throw specifiers from SymbolTable::Implementation. (#1183) | Tim King | |
2017-09-28 | Update symbol table to support operator overloading (#1154) | Andrew Reynolds | |
2017-07-22 | Consolidating the opaque pointers in SymbolTable. (#204) | Tim King | |
* Consolidating the opaque pointers in SymbolTable. This removes details about the implementation from a public header. * Removing the guard for SymbolTable for the move constructor. | |||
2017-07-20 | Moving from the gnu extensions for hash maps to the c++11 hash maps | Tim King | |
* Replacing __gnu_cxx::hash_map with std::unordered_map. * Replacing __gnu_cxx::hash_set with std::unordered_set. * Replacing __gnu_cxx::hash with std::hash. * Adding missing includes. | |||
2017-07-07 | Update copyright headers. | Mathias Preiner | |
2016-04-20 | update from the master | PaulMeng | |
2014-10-06 | Support for RESET command in CVC native language (and infrastructure for ↵ | Morgan Deters | |
support elsewhere). | |||
2014-07-01 | Update copyrights. | Morgan Deters | |
2013-04-02 | Regenerated copyrights: canonicalized names, no emails | Morgan Deters | |
2013-04-01 | update copyrights | Morgan Deters | |
2012-11-29 | minor documentation fix | Morgan Deters | |
2012-10-11 | Standardizing copyright notice. Touches **ALL** sources, guys, sorry.. it's | Morgan Deters | |
just the header comments at the top, though. Don't update to this rev if you don't have time for a complete rebuild, and exclude this rev if you want to see what's new across a range of commits. (this commit was certified error- and warning-free by the test-and-commit script.) | |||
2012-09-28 | Public interface review items: | Morgan Deters | |
* Internal uses of CheckArgument changed to AssertArgument/AlwaysAssertArgument() * Make util/Assert.h cvc4_private instead of public, so AssertionException and friends are now internal-only * CheckArgument() throws non-AssertionException * things outside the core library (parsers, driver) use regular C-style assert, or a public exception type. * auto-generated documentation for Smt options and internal options Also, a small fix to SMT-LIBv1 QF_ABV and QF_AUFBV definitions, which were nonstandard. | |||
2012-08-29 | * Numerous documentation fixes (fix doxygen warnings, add missing ↵ | Morgan Deters | |
documentation, etc.). * Remove sat_module.cpp, which was no longer used (was previously refactored?) | |||
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) |