summaryrefslogtreecommitdiff
path: root/src/base/exception.h
AgeCommit message (Expand)Author
2020-06-16Update copyright headers.Aina Niemetz
2019-11-29improving parsing error messages related to HOL (#3510)Haniel Barbosa
2019-09-11Fix not to output all warnings (#2778)Ken Matsui
2019-04-24Do not use __ prefix for header guards. (#2974)Mathias Preiner
2019-03-26Update copyright headers.Aina Niemetz
2018-08-07Require Swig 3 (#2283)Andres Noetzli
2018-08-07Delete functions instead of using CVC4_UNDEFINED (#1794)Andres Noetzli
2018-06-25Updated copyright headers.Aina Niemetz
2018-01-09Cleaning up throw specifiers on Exception and subclasses. (#1475)Tim King
2017-08-30Use thread_local instead of compiler extensions (#210)Andres Noetzli
2017-07-07Update copyright headers.Mathias Preiner
2016-04-20update from the masterPaulMeng
2016-01-28Adding listeners to Options.Tim King
2016-01-05Adding a new class LastExceptionBuffer for the purpose of owning the memory f...Tim King
2015-12-24Miscellaneous fixesTim King
2015-12-14Refactoring Options Handler & Library Cycle BreakingTim King
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback