Nikolaj Bjorner
987efced76
upgrade compilers
2021-01-21 14:25:08 -08:00
Nikolaj Bjorner
6f09ecb229
set version
2021-01-21 14:24:58 -08:00
Nikolaj Bjorner
dafee71500
reshuffle unicode support to use global parameter, and use bit-vectors on demand
2021-01-21 14:24:26 -08:00
Nikolaj Bjorner
fb48481860
update version
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2021-01-20 12:51:48 -08:00
Nikolaj Bjorner
517d907567
Update release.yml for Azure Pipelines
2021-01-20 12:06:47 -08:00
Nikolaj Bjorner
af914f101e
change to macos latest
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2021-01-20 10:19:00 -08:00
Nikolaj Bjorner
c5432dbd88
merge
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2021-01-20 09:12:09 -08:00
Nuno Lopes
3a572edb9c
fix build
2021-01-20 10:42:29 +00:00
Nikolaj Bjorner
48058e706f
fix #4951
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2021-01-20 02:21:42 -08:00
Nikolaj Bjorner
3f2349f0f7
update release notes
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2021-01-20 01:36:09 -08:00
Saurav Yadav
9dcf44b767
fix git_utils.cmake ( #4954 )
...
The code should refrain from using global parameters such as CMAKE_SOURCE_DIR/CMAKE_BINARY_DIR, especially here which is handling the case of Z3 being a submodule. Instead, use project specific variables like Z3_SOURCE_DIR so that people can incorporate z3 build as part of their build-system.
2021-01-20 01:33:33 -08:00
Nikolaj Bjorner
fa4869e400
fix #4949 - and/or get rewritten depending on parameters for rewriter
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2021-01-20 01:08:54 -08:00
Nikolaj Bjorner
3a2ed691f8
fix #4952
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2021-01-20 00:49:28 -08:00
Nikolaj Bjorner
80f429c3fb
nuget
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2021-01-20 00:33:05 -08:00
Nikolaj Bjorner
27ea23289e
fix #4955
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2021-01-20 00:30:11 -08:00
Nikolaj Bjorner
dc4382604b
fix #4955
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2021-01-20 00:29:09 -08:00
Nikolaj Bjorner
3bc18ab0d1
na
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2021-01-19 23:54:10 -08:00
Nikolaj Bjorner
ec5d08ac00
update release script
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2021-01-19 23:24:17 -08:00
Nikolaj Bjorner
80033a5527
na
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2021-01-19 23:21:47 -08:00
Nikolaj Bjorner
95d98ea8ce
throttle equality propagation to shared expressions
2021-01-19 04:51:00 -08:00
Nikolaj Bjorner
7c34a54e8a
try different command-line
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2021-01-19 04:28:22 -08:00
Nikolaj Bjorner
64ba2a9fc9
fix gc of pb constraints
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2021-01-19 03:38:00 -08:00
Nikolaj Bjorner
01418a06a3
better staging of mbi based on generation
2021-01-18 16:55:58 -08:00
Nikolaj Bjorner
990aecceb7
change gc strategy for user-push/pop
2021-01-18 16:55:29 -08:00
Nikolaj Bjorner
b87405cc92
tune user-pop
2021-01-18 16:51:34 -08:00
Nikolaj Bjorner
3ed490d4ed
tune backtracking
2021-01-18 16:51:01 -08:00
Nikolaj Bjorner
91c54f6c39
na
2021-01-12 14:03:55 -08:00
Nikolaj Bjorner
8abb644378
add xml file to the mix #4578
2021-01-12 00:23:02 -08:00
Nikolaj Bjorner
d1dab327cd
fix build
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2021-01-11 23:51:40 -08:00
Nikolaj Bjorner
fc3a642876
fix #4948
2021-01-11 19:26:16 -08:00
Nikolaj Bjorner
0aac7e54a9
fix #4942
...
Patching model update. Could use a more thorough revision.
2021-01-11 15:48:49 -08:00
Nikolaj Bjorner
0e429cab33
enable new core for incremental mode
2021-01-11 14:55:31 -08:00
Nikolaj Bjorner
2ead209d40
indentation and updated links to default landing pages
2021-01-11 13:21:52 -08:00
Nikolaj Bjorner
bcbda45298
updates to doc
2021-01-11 13:03:55 -08:00
Nikolaj Bjorner
396bfa05f3
fix grouping error
2021-01-11 12:25:53 -08:00
Nikolaj Bjorner
223bffd035
fix #4920
2021-01-09 02:02:50 -08:00
Nikolaj Bjorner
1a71dfac6f
play nicebox #4918
2021-01-09 01:39:29 -08:00
Nikolaj Bjorner
96ab9edbfd
fix #4923
2021-01-09 01:21:50 -08:00
Nikolaj Bjorner
ffd57bef24
#4923 - eq2bv
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2021-01-08 16:38:07 -08:00
Nikolaj Bjorner
690bc51b7f
fix #4927
2021-01-08 15:40:15 -08:00
Nikolaj Bjorner
bb56443e71
more #4932
2021-01-08 15:24:12 -08:00
Nikolaj Bjorner
43eb862374
fix #4932
2021-01-08 12:50:36 -08:00
Nikolaj Bjorner
3d39f37e63
fix #4930
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2021-01-08 12:15:02 -08:00
Nikolaj Bjorner
e902e1ef13
fix #4931
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2021-01-08 12:02:53 -08:00
Nikolaj Bjorner
c36355c1e5
fix #4933
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2021-01-08 10:57:55 -08:00
Nikolaj Bjorner
0173359a50
debugging/testing mbi
2021-01-07 17:32:05 -08:00
Nikolaj Bjorner
4ca6d6951f
use updated C++ features
2021-01-07 17:32:05 -08:00
Nikolaj Bjorner
ac7d07ca58
fix #4937
2021-01-07 17:32:05 -08:00
Nikolaj Bjorner
60ef60dff8
euf solver updates
2021-01-07 17:32:04 -08:00
Nikolaj Bjorner
7bf691e1f9
fix bug in tracking qhead
2021-01-07 17:32:04 -08:00