Nikolaj Bjorner
|
51d62684e1
|
move propagation to after binary clause addition
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-03-26 15:51:00 -07:00 |
|
Nikolaj Bjorner
|
96b717f494
|
propagate during asymmetric branching
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-03-26 15:17:41 -07:00 |
|
Nikolaj Bjorner
|
7063ad81cc
|
updates
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-03-25 19:42:06 -07:00 |
|
Nikolaj Bjorner
|
c4ff5c7ac7
|
remove lns code
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-03-25 18:32:16 -07:00 |
|
Nikolaj Bjorner
|
a79400a01b
|
fix bugs in scc_tr
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-03-25 14:55:42 -07:00 |
|
Nikolaj Bjorner
|
bfc0b214ab
|
update script
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-03-21 14:49:36 -07:00 |
|
Nikolaj Bjorner
|
12f147403c
|
update script
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-03-21 14:13:27 -07:00 |
|
Nikolaj Bjorner
|
5d68a09233
|
update script
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-03-21 11:25:38 -07:00 |
|
Nikolaj Bjorner
|
1470dbf517
|
back to path
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-03-21 10:57:40 -07:00 |
|
Nikolaj Bjorner
|
ba30365e2d
|
updated script
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-03-21 10:26:09 -07:00 |
|
Nikolaj Bjorner
|
9765a6d0d3
|
updated script
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-03-21 09:23:01 -07:00 |
|
Nikolaj Bjorner
|
fe30b7edb6
|
fix mac build error
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-03-21 03:16:58 -07:00 |
|
Nikolaj Bjorner
|
f86a9b4b70
|
check-error
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-03-21 02:44:53 -07:00 |
|
Nikolaj Bjorner
|
d27527d4df
|
fix mac build error
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-03-20 20:49:57 -07:00 |
|
Nikolaj Bjorner
|
bd7ba4b612
|
fix mac build error
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-03-20 20:16:47 -07:00 |
|
Nikolaj Bjorner
|
81260c7ffb
|
fix mac build error
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-03-20 19:53:25 -07:00 |
|
Nikolaj Bjorner
|
4b71bfc95d
|
mac build
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-03-20 19:19:42 -07:00 |
|
Nikolaj Bjorner
|
ff2924e83b
|
fix mac build error
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-03-20 17:19:40 -07:00 |
|
Nikolaj Bjorner
|
6304578111
|
mac
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-03-20 17:08:26 -07:00 |
|
Nikolaj Bjorner
|
16d2c2c506
|
mac
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-03-20 17:06:54 -07:00 |
|
Nikolaj Bjorner
|
116f0e0c70
|
cd below
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-03-20 17:05:12 -07:00 |
|
Nikolaj Bjorner
|
971f83997c
|
add ls
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-03-20 17:02:19 -07:00 |
|
Nikolaj Bjorner
|
76eae5fa5c
|
add mac build
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-03-20 16:57:01 -07:00 |
|
Nikolaj Bjorner
|
dc01266354
|
fixing after clone
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-03-19 20:50:24 -07:00 |
|
Nikolaj Bjorner
|
d5bd7878b3
|
fix example test
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-03-19 20:03:47 -07:00 |
|
Nikolaj Bjorner
|
d5811a13eb
|
add test-benchmarks
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-03-19 19:18:05 -07:00 |
|
Nikolaj Bjorner
|
b727a3463d
|
update vsts
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-03-19 18:21:34 -07:00 |
|
Nikolaj Bjorner
|
b002477d1a
|
fix java API
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-03-19 18:10:57 -07:00 |
|
Nikolaj Bjorner
|
ac2fe879ae
|
update script
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-03-19 15:55:00 -07:00 |
|
Nikolaj Bjorner
|
965da74d01
|
Merge branch 'opt' of https://github.com/nikolajbjorner/z3 into opt
|
2018-03-19 15:49:40 -07:00 |
|
Nikolaj Bjorner
|
9598045435
|
fix java
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-03-19 15:49:28 -07:00 |
|
Nikolaj Bjorner
|
ba2e28fa0e
|
update build script
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-03-19 14:55:38 -07:00 |
|
Nikolaj Bjorner
|
7ded2a90e6
|
remove unreachable from vector
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-03-19 11:55:18 -07:00 |
|
Nikolaj Bjorner
|
7a64c82d99
|
comment out pull
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-03-19 11:15:49 -07:00 |
|
Nikolaj Bjorner
|
a873cc41bf
|
update vsts script
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-03-19 10:43:59 -07:00 |
|
Nikolaj Bjorner
|
8602c52bc9
|
fix test build
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-03-19 10:41:42 -07:00 |
|
Nikolaj Bjorner
|
afb12fe6c3
|
move script
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-03-18 17:22:58 -07:00 |
|
Nikolaj Bjorner
|
785b7f3e6a
|
vsts cmd
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-03-18 17:03:06 -07:00 |
|
Nikolaj Bjorner
|
b82214ef0d
|
try paths to vsvars
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-03-18 16:59:41 -07:00 |
|
Nikolaj Bjorner
|
a7e0f18482
|
vsts cmd
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-03-18 16:53:04 -07:00 |
|
Nikolaj Bjorner
|
af96e42724
|
fixing local search
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-03-15 21:11:55 -07:00 |
|
Nikolaj Bjorner
|
59b142f803
|
fixing local search
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-03-15 06:48:26 -07:00 |
|
Nikolaj Bjorner
|
bf8ea92b99
|
fixing nls
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-03-13 17:23:58 -07:00 |
|
Nikolaj Bjorner
|
4375f54c45
|
adding lns
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-03-13 13:31:27 -07:00 |
|
Nikolaj Bjorner
|
64954cc551
|
fix pbge and reduce_tr
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-03-13 09:07:58 -07:00 |
|
Nikolaj Bjorner
|
e7d43ed516
|
fix pb rewriter
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-03-12 11:22:05 -07:00 |
|
Nikolaj Bjorner
|
f04e805fa4
|
add hiding to auxiliary declarations created in mc
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-03-06 18:02:37 -08:00 |
|
Nikolaj Bjorner
|
19b1248e5e
|
Merge branch 'opt' of https://github.com/nikolajbjorner/z3 into opt
|
2018-03-06 13:33:40 -08:00 |
|
Nikolaj Bjorner
|
d3ceb8c794
|
radix sort experiment
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-03-06 13:33:37 -08:00 |
|
Nikolaj Bjorner
|
718e5a9b6c
|
add unit extraction
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-03-06 01:08:17 -08:00 |
|