Nikolaj Bjorner
|
caef8d026f
|
add unsat core, activity, quick pass for viable
|
2021-11-24 13:23:28 +01:00 |
|
Nikolaj Bjorner
|
b82c3cfd33
|
remove deprecated comment
|
2021-11-24 11:26:13 +01:00 |
|
Nikolaj Bjorner
|
21c604e7b4
|
na
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2021-11-23 18:56:32 +01:00 |
|
Nikolaj Bjorner
|
e8f5a29c31
|
fix #5679
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2021-11-22 19:37:10 +01:00 |
|
Nikolaj Bjorner
|
73ffd1c1cb
|
na
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2021-11-22 18:18:01 +01:00 |
|
Nikolaj Bjorner
|
8db711bc3c
|
retire deprecated functionality
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2021-11-22 18:14:15 +01:00 |
|
Nikolaj Bjorner
|
8ec5ccbb9a
|
roll in new-viable
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2021-11-22 06:17:20 +01:00 |
|
Nikolaj Bjorner
|
d86570ce75
|
prepare for new viable
|
2021-11-21 06:18:35 +01:00 |
|
Nikolaj Bjorner
|
fee4821106
|
include thread
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2021-11-19 21:06:07 +01:00 |
|
Nikolaj Bjorner
|
a7d24788c3
|
wasm build issue
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2021-11-19 20:45:36 +01:00 |
|
Nikolaj Bjorner
|
741c5f43f4
|
Merge branch 'master' of https://github.com/z3prover/z3
|
2021-11-19 11:03:08 -08:00 |
|
Nikolaj Bjorner
|
ca2c2bb802
|
ensure smt2log works with multi-threaded consumers, ease scenarios around #5655
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2021-11-19 11:02:50 -08:00 |
|
Nikolaj Bjorner
|
4928c28e63
|
fix #5675
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2021-11-19 08:42:32 -08:00 |
|
Nikolaj Bjorner
|
b0bf03457c
|
conflict
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2021-11-19 08:23:50 -08:00 |
|
Nikolaj Bjorner
|
99d5215956
|
revert use of f format
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2021-11-19 00:01:19 -08:00 |
|
Nikolaj Bjorner
|
f83367a11e
|
mac builds
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2021-11-18 22:39:30 -08:00 |
|
Nikolaj Bjorner
|
518ef9f916
|
fix #5674
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2021-11-18 21:14:50 -08:00 |
|
Nikolaj Bjorner
|
4587575649
|
if you read this commit message you probably are a programmer who has no life
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2021-11-18 20:25:47 -08:00 |
|
Nikolaj Bjorner
|
43a827c931
|
Update release.yml for Azure Pipelines
|
2021-11-18 16:05:22 -08:00 |
|
Nikolaj Bjorner
|
caaefef847
|
remove add_non_viable
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2021-11-18 15:57:55 -08:00 |
|
Nikolaj Bjorner
|
6bf4f001d9
|
na
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2021-11-18 15:53:51 -08:00 |
|
Nikolaj Bjorner
|
1dcb7e6f6a
|
remove justified vars
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2021-11-18 15:43:39 -08:00 |
|
Nikolaj Bjorner
|
71d5d2486c
|
Update release.yml for Azure Pipelines
|
2021-11-18 15:01:43 -08:00 |
|
Nikolaj Bjorner
|
72f28f06e4
|
Update release.yml for Azure Pipelines
|
2021-11-18 14:05:13 -08:00 |
|
Nikolaj Bjorner
|
b95ba89dbe
|
update release pipeline
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2021-11-18 13:09:13 -08:00 |
|
Nikolaj Bjorner
|
feadfbfba4
|
enable publish
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2021-11-18 12:00:44 -08:00 |
|
Nikolaj Bjorner
|
41a5b930b6
|
update release notes
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2021-11-18 11:22:00 -08:00 |
|
Brenton Bostick
|
5351640e97
|
Fix stray semicolon in examples (#5669)
|
2021-11-18 10:35:22 -08:00 |
|
Nikolaj Bjorner
|
de424713e4
|
if you are really reading this commit message, you must be a programmer who has no life.
|
2021-11-18 10:10:50 -08:00 |
|
Nikolaj Bjorner
|
5194aa186a
|
nightly
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2021-11-17 09:36:50 -08:00 |
|
Nikolaj Bjorner
|
a5fdf6ba8a
|
Update viable2.cpp
|
2021-11-16 09:54:06 -08:00 |
|
Nikolaj Bjorner
|
1752055aa6
|
update nightly
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2021-11-16 09:49:16 -08:00 |
|
Nikolaj Bjorner
|
c826b64e35
|
prepare release
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2021-11-16 09:41:51 -08:00 |
|
Nikolaj Bjorner
|
69a17d0c60
|
test and fix viable2
|
2021-11-14 20:55:12 -08:00 |
|
Nikolaj Bjorner
|
4261345503
|
na
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2021-11-13 17:43:07 -08:00 |
|
Nikolaj Bjorner
|
d073583d88
|
na
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2021-11-13 06:50:11 -08:00 |
|
Nikolaj Bjorner
|
b6f7deacf4
|
fix #5663
|
2021-11-12 11:36:42 -08:00 |
|
Nikolaj Bjorner
|
5708de4301
|
na
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2021-11-12 11:20:35 -08:00 |
|
Nikolaj Bjorner
|
3c16edc8d3
|
check for v1 == v2
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2021-11-12 09:11:17 -08:00 |
|
Nikolaj Bjorner
|
63ac2ee0d1
|
#5614 turn on / off options to get better performance.
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2021-11-11 17:54:46 -08:00 |
|
Nikolaj Bjorner
|
b28a8013fe
|
#5653
fix performance bottleneck in static features
|
2021-11-11 13:30:38 -08:00 |
|
Nikolaj Bjorner
|
c9f5ce43b2
|
viable 2 with dlist
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2021-11-10 14:43:10 -08:00 |
|
Nikolaj Bjorner
|
0bec8520e1
|
adding new viable using forbidden intervals
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2021-11-10 08:23:45 -08:00 |
|
Nikolaj Bjorner
|
733f44d141
|
merge
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2021-11-10 03:03:23 -08:00 |
|
Nikolaj Bjorner
|
931e1624b2
|
na
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2021-11-10 02:58:35 -08:00 |
|
Nikolaj Bjorner
|
ef320af90b
|
fix issue with dependency m_todo updates
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2021-11-10 02:22:44 -08:00 |
|
Nikolaj Bjorner
|
c1d58088be
|
na
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2021-11-10 01:42:04 -08:00 |
|
Nikolaj Bjorner
|
d0b47d23f6
|
na
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2021-11-10 00:43:57 -08:00 |
|
rainoftime
|
b5deba8426
|
add EFSMT solving example (#5654)
Co-authored-by: rainoftime <rainoftime@gmail.com>
|
2021-11-09 11:05:10 -08:00 |
|
Nikolaj Bjorner
|
d0c8240560
|
refactor forbidden intervals
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2021-11-09 10:34:11 -08:00 |
|