Lev Nachmanson
|
80994f74bf
|
redirect to the new solver
Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
|
2020-04-06 17:31:56 -07:00 |
|
Lev Nachmanson
|
e90ff4b992
|
fix the patch of real vars
Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
|
2020-04-06 17:31:56 -07:00 |
|
Nikolaj Bjorner
|
09c5de7798
|
fix #3811
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2020-04-06 17:29:07 -07:00 |
|
Nikolaj Bjorner
|
18b4c7e99b
|
fix #3796
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2020-04-06 17:09:23 -07:00 |
|
Nikolaj Bjorner
|
b2ba45448a
|
fix #3798
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2020-04-06 17:06:17 -07:00 |
|
Nikolaj Bjorner
|
bfb26ecc6d
|
fix #3793
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2020-04-06 16:59:36 -07:00 |
|
Nikolaj Bjorner
|
d2ec661ec6
|
fix #3020
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2020-04-06 16:42:01 -07:00 |
|
Nikolaj Bjorner
|
6761bf1495
|
fix #3822
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2020-04-06 16:33:00 -07:00 |
|
Nikolaj Bjorner
|
bcbc774b79
|
fix #3790
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2020-04-06 15:18:26 -07:00 |
|
Nikolaj Bjorner
|
16be6b9162
|
fix #3789
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2020-04-06 13:57:38 -07:00 |
|
Nikolaj Bjorner
|
5acf4b5968
|
fix #3786
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2020-04-06 13:03:41 -07:00 |
|
Nikolaj Bjorner
|
07413cc928
|
fix #3785
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2020-04-06 12:56:52 -07:00 |
|
Nikolaj Bjorner
|
077a2cf6f7
|
fix #3784
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2020-04-06 12:27:53 -07:00 |
|
Nikolaj Bjorner
|
bffe7a2215
|
fix #3783
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2020-04-06 12:19:34 -07:00 |
|
Nikolaj Bjorner
|
d702f48f9e
|
change lar_terms to use column indices
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2020-04-06 12:13:59 -07:00 |
|
Nikolaj Bjorner
|
c2e5cd78c8
|
change lar_terms to use column indices
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2020-04-06 12:13:59 -07:00 |
|
Nuno Lopes
|
3313590b95
|
fix #3713: too much caching in dom-simplify for OR expressions
|
2020-04-06 12:11:26 +01:00 |
|
Nuno Lopes
|
346d852bbd
|
fix build
|
2020-04-06 11:19:04 +01:00 |
|
Nikolaj Bjorner
|
9e7af79094
|
initialization order
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2020-04-05 18:16:40 -07:00 |
|
Nikolaj Bjorner
|
b9c9687caf
|
bool_vector
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2020-04-05 18:14:56 -07:00 |
|
Nikolaj Bjorner
|
da6297f31f
|
bool_vector
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2020-04-05 17:41:19 -07:00 |
|
Nikolaj Bjorner
|
dff5071598
|
compile
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2020-04-05 17:03:26 -07:00 |
|
Nikolaj Bjorner
|
daa904c9d2
|
fix #3778
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2020-04-05 15:13:36 -07:00 |
|
Nikolaj Bjorner
|
b79b8c9bc4
|
fix #3777
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2020-04-05 15:08:28 -07:00 |
|
Nikolaj Bjorner
|
406c0792f1
|
fix #3775
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2020-04-05 14:04:00 -07:00 |
|
Nikolaj Bjorner
|
bb1119a6ca
|
fix #3774
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2020-04-05 13:59:28 -07:00 |
|
Nikolaj Bjorner
|
550852bc62
|
fix #3765
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2020-04-05 13:49:26 -07:00 |
|
Nikolaj Bjorner
|
e246f6649e
|
tidy
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2020-04-05 13:31:48 -07:00 |
|
Nikolaj Bjorner
|
b889b110ee
|
bool_vector, some spacer tidy
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2020-04-05 12:59:04 -07:00 |
|
Nikolaj Bjorner
|
2ed26e8e73
|
fix #3762
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2020-04-05 12:10:02 -07:00 |
|
Nikolaj Bjorner
|
efc02282f4
|
fix #3758
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2020-04-05 12:01:17 -07:00 |
|
Nikolaj Bjorner
|
1949a978ce
|
fix #3760
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2020-04-05 11:39:25 -07:00 |
|
Nikolaj Bjorner
|
077f2248ca
|
fix #3756
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2020-04-05 11:32:53 -07:00 |
|
Nikolaj Bjorner
|
54d981e88f
|
fix #3757
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2020-04-05 11:25:29 -07:00 |
|
Nikolaj Bjorner
|
39ffc4ece7
|
fix #3759
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2020-04-05 11:19:23 -07:00 |
|
Nikolaj Bjorner
|
080dbb13b0
|
tv alignment, code review comments
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2020-04-05 03:35:19 -07:00 |
|
Nikolaj Bjorner
|
fddbac0f52
|
use tv for interfacing on get_term
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2020-04-05 02:42:00 -07:00 |
|
Nikolaj Bjorner
|
296a97d0d3
|
build
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2020-04-05 01:03:38 -07:00 |
|
Nikolaj Bjorner
|
399cf75ad4
|
fpa warning
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2020-04-05 00:55:13 -07:00 |
|
Nikolaj Bjorner
|
9e374d6514
|
remove trace for #3725
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2020-04-05 00:53:16 -07:00 |
|
Nikolaj Bjorner
|
4842c71019
|
fix #3537
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2020-04-05 00:38:14 -07:00 |
|
Nikolaj Bjorner
|
eacde16b3e
|
fix #3199
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2020-04-04 23:55:44 -07:00 |
|
Nikolaj Bjorner
|
8118292def
|
fix #3754
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2020-04-04 23:20:44 -07:00 |
|
Nikolaj Bjorner
|
7477e96e59
|
fix #3519
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2020-04-04 23:18:15 -07:00 |
|
Nikolaj Bjorner
|
5516e420a1
|
disable bapa from smt interface
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2020-04-04 23:09:28 -07:00 |
|
Nikolaj Bjorner
|
e419565239
|
fix #3751
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2020-04-04 23:01:30 -07:00 |
|
Nikolaj Bjorner
|
7ae9734db2
|
fix #3752
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2020-04-04 22:56:41 -07:00 |
|
Nikolaj Bjorner
|
2f80acb1bc
|
fix #3543
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2020-04-04 21:56:46 -07:00 |
|
Nikolaj Bjorner
|
0fc8ebc8cc
|
fix #3683
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2020-04-04 18:56:10 -07:00 |
|
Nikolaj Bjorner
|
7e8753cd3f
|
fix #3726
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2020-04-04 18:48:09 -07:00 |
|