Nikolaj Bjorner
|
72a7164e2d
|
add model checker to external
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-02-08 13:03:57 -08:00 |
|
Nikolaj Bjorner
|
5a2b072ddf
|
working on completing ATE/ALA for acce and abce
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-01-29 20:32:06 -08:00 |
|
Nikolaj Bjorner
|
a5b663c52d
|
add unit walk engine
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2017-12-17 16:09:07 -08:00 |
|
Nikolaj Bjorner
|
99b232a4c5
|
fix lookahead with ba extension
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2017-10-11 17:30:21 -07:00 |
|
Nikolaj Bjorner
|
651587ce01
|
merge with master branch
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2017-09-19 09:39:22 -07:00 |
|
Nikolaj Bjorner
|
4813bcc11f
|
merge
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2017-09-19 08:31:01 -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
|
b1090f4399
|
n/a
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2017-07-31 09:49:11 -07:00 |
|
Nikolaj Bjorner
|
b2b2c636f8
|
update for equivalences
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2017-07-28 10:30:23 -07:00 |
|
Nikolaj Bjorner
|
53c38f02d5
|
n/a
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2017-07-06 22:12:18 -07:00 |
|
Nikolaj Bjorner
|
da263601e6
|
n/a
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2017-07-05 19:19:36 -07:00 |
|
Nikolaj Bjorner
|
5262248823
|
n/a
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2017-07-04 11:13:05 -07:00 |
|
Nikolaj Bjorner
|
bcf0ee7709
|
n/a
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2017-06-29 18:53:58 -07:00 |
|
Nikolaj Bjorner
|
7580644d15
|
n/a
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2017-06-29 08:11:27 -07:00 |
|
Nikolaj Bjorner
|
66f0de6785
|
added in-processing features to card/pb
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2017-06-25 16:26:47 -07:00 |
|
Nikolaj Bjorner
|
f3b0ede6e8
|
update lookahead to include extensions
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2017-06-07 16:35:35 -07:00 |
|
Nikolaj Bjorner
|
7d245be4e1
|
enable exposing internal solver state on interrupted solvers
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2017-05-30 17:33:27 -07:00 |
|
Nikolaj Bjorner
|
42deeb3498
|
testing lookahead
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2017-02-12 11:49:07 -08:00 |
|
Nikolaj Bjorner
|
15283e4e7c
|
expose extension conflict resolution as plugin to sat solver
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2017-02-05 10:08:57 -08:00 |
|
Nikolaj Bjorner
|
0b711c5ef8
|
adding drat
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2017-02-03 15:41:08 -08:00 |
|
Nikolaj Bjorner
|
8b7bafbd9f
|
updates
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2017-01-30 21:23:53 -08:00 |
|
Nikolaj Bjorner
|
92e2d920fd
|
working on card for sat
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2017-01-30 14:03:27 -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 |
|
Leonardo de Moura
|
c66b9ab615
|
Reorganizing the code
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2012-10-20 15:30:42 -07:00 |
|