Nikolaj Bjorner
|
96e157e201
|
fix warnings for unused variables
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2016-05-17 13:54:22 -07:00 |
|
Nikolaj Bjorner
|
2a051719d8
|
cleanup deprecated critical sections, fix cancellation for par_or_else tactic
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2015-12-12 09:43:00 -08:00 |
|
Nikolaj Bjorner
|
61dbb6168e
|
cleanup cancelation logic
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2015-12-11 12:35:35 -08:00 |
|
Nikolaj Bjorner
|
4bc044c982
|
update header guards to be C++ style. Fixes issue #9
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2015-07-08 23:18:40 -07:00 |
|
Nikolaj Bjorner
|
cb00555635
|
local changes
Signed-off-by: Nikolaj Bjorner <nbjorner@hotmail.com>
|
2015-05-27 09:18:52 -07:00 |
|
Nikolaj Bjorner
|
c969d78042
|
throw exception instead of debug mode assertion in ast_manager on malformed input
Signed-off-by: Nikolaj Bjorner <nbjorner@hotmail.com>
|
2015-05-21 15:07:01 -07:00 |
|
Nikolaj Bjorner
|
c0895e5548
|
remove hassel table from unstable: does not compile under other plantforms
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2013-05-31 17:48:19 -07:00 |
|
Leonardo de Moura
|
1645f61d85
|
added READMEs
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2012-11-17 09:32:01 -08:00 |
|
Leonardo de Moura
|
9e299b88c4
|
reorganizing the code
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2012-10-23 21:53:34 -07:00 |
|