Nikolaj Bjorner
|
d0e20e44ff
|
booyah
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2020-07-04 15:56:30 -07:00 |
|
Nikolaj Bjorner
|
9ca5b3f304
|
fix #4449
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2020-06-03 21:10:07 -07:00 |
|
Nikolaj Bjorner
|
6f65051f2c
|
silence some build warnings
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2020-04-03 17:11:34 -07:00 |
|
Nikolaj Bjorner
|
426e4cc75c
|
fix #3557
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2020-04-03 16:37:59 -07:00 |
|
Nikolaj Bjorner
|
0fa04179d0
|
fix #3522
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2020-03-26 11:06:04 -07:00 |
|
Nikolaj Bjorner
|
b19f94ae5b
|
make include paths uniformly use path relative to src. #534
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2017-07-31 13:24:11 -07: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
|
d815cf9b7b
|
fix bug in optimization where a variable is updated twice
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2015-07-07 16:01:48 -07:00 |
|
Nikolaj Bjorner
|
e8811748d3
|
fix regressions in nl/smt
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2015-05-16 19:08:37 +01:00 |
|
Nikolaj Bjorner
|
d45c7ce082
|
prepare revised primal phase
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2015-01-18 04:11:40 +05:30 |
|
Nikolaj Bjorner
|
465eafbf45
|
fix assertion for integrality, lax noprogress bail out code
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2014-07-09 05:04:00 +02:00 |
|
Nikolaj Bjorner
|
57fc0f3f55
|
bug fixes to min-max, and experiments with hsmax
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2014-05-28 15:44:39 -07:00 |
|
Leonardo de Moura
|
add684d8e9
|
checkpoint
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2012-10-21 13:32:12 -07:00 |
|