mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-11-03 21:09:11 +00:00
Code Activity
9068 commits 49 branches 53 tags 182 MiB
Commit graph

9068 commits

This branch
This branch
All branches
Author SHA1 Message Date
Nikolaj Bjorner
9e59bba80e fix dotnet example 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-05-02 13:20:51 -07:00
Nikolaj Bjorner
202d497be8
Merge branch 'master' into opt 2018-05-02 12:32:14 -07:00
Nikolaj Bjorner
1fc1249bef create empty model 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-05-02 11:28:13 -07:00
Nikolaj Bjorner
6bff15e12e fix #1609 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-05-02 10:38:46 -07:00
Nikolaj Bjorner
dd6e76478d fix build 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-05-02 08:51:33 -07:00
Nikolaj Bjorner
c2bf8ef410 resolve 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-05-01 15:03:15 -07:00
Nikolaj Bjorner
a07c6e4793 resolve 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-05-01 15:02:04 -07:00
Nikolaj Bjorner
ef6339f14c fix build issues 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-05-01 12:00:03 -07:00
Nikolaj Bjorner
fa93bc419d fix build 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-05-01 10:53:36 -07:00
Nikolaj Bjorner
454d20d23e fix build errors 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-05-01 10:06:54 -07:00
Nikolaj Bjorner
3de2feb84a fix build 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-05-01 09:46:54 -07:00
Nikolaj Bjorner
e4d24fd2c3 fix build 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-05-01 09:39:19 -07:00
Nikolaj Bjorner
bfac44f7ed fix build errors 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-05-01 09:15:53 -07:00
Nikolaj Bjorner
a91d7a7189 fix build errors 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-05-01 09:05:20 -07:00
Nikolaj Bjorner
5ba814b14f try string in pragma 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-05-01 08:54:05 -07:00
Nikolaj Bjorner
42c9394c6d pragma 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-05-01 08:49:48 -07:00
Nikolaj Bjorner
812c913cdd use C99 pragma 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-05-01 08:34:28 -07:00
Nikolaj Bjorner
78b9f0686a merge 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-05-01 07:43:29 -07:00
Nikolaj Bjorner
fd5159bf18 Merge branch 'master' of https://github.com/z3prover/z3 2018-05-01 07:13:05 -07:00
Nikolaj Bjorner
371880da04 n/a 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-05-01 07:13:03 -07:00
Nikolaj Bjorner
6807210c8b merge 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-04-30 16:00:07 -07:00
Nikolaj Bjorner
832803b213 merge 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-04-30 15:59:01 -07:00
Nikolaj Bjorner
ef31b27d5e merge 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-04-30 14:36:45 -07:00
Nikolaj Bjorner
f525f43e43 merge 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-04-30 09:30:43 -07:00
Nikolaj Bjorner
859c68c2ac merge with opt 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-04-30 08:27:54 -07:00
Nikolaj Bjorner
e940f53e9c n/a 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-04-30 07:57:33 -07:00
Nikolaj Bjorner
b8193a0ae6 fix #1604 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-04-29 10:04:42 -07:00
Nikolaj Bjorner
2f025f52c0 fix local search initialization of units, encode offset in clauses 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-04-28 22:26:01 +02:00
Nikolaj Bjorner
38888b5e5c Merge branch 'opt' of https://github.com/nikolajbjorner/z3 into opt 2018-04-27 17:59:41 +02:00
Nikolaj Bjorner
563f337997 testing memory defragmentation, prefetch, delay ate 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-04-27 17:59:03 +02:00
Nikolaj Bjorner
c64d044e60 Merge branch 'master' of https://github.com/z3prover/z3 2018-04-27 17:49:51 +02:00
Nikolaj Bjorner
f234bb348b fix #1599. fix #1600 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-04-27 17:49:20 +02:00
Nikolaj Bjorner
5dbba8bd53 fix #1599. fix #1600 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-04-27 17:48:04 +02:00
Nikolaj Bjorner
a9568d1b12
Merge pull request #1597 from TheRealNebus/master 
WMax Bug Fix
 2018-04-27 09:53:29 +02:00
Nikolaj Bjorner
b5c77065e9
Merge pull request #1596 from mtrberzi/develop 
fix memory leak related to #1575
 2018-04-27 09:52:50 +02:00
TheRealNebus
24b35fb925 WMax conflict budget bug fix 2018-04-26 22:42:55 +01:00
TheRealNebus
e1d7f5deba Revert "MSS based MaxSMT solver" 
This reverts commit 3bbc09c1d2.
 2018-04-26 22:40:00 +01:00
TheRealNebus
7e8ed0762d Revert "implemented CLD" 
This reverts commit 3a7efb91ae.
 2018-04-26 22:39:58 +01:00
TheRealNebus
bf2a031f7b Revert "disjoint cores" 
This reverts commit e5aa79ba6a.
 2018-04-26 22:39:55 +01:00
TheRealNebus
37852807b0 Revert "WMax conflict budget bug fix" 
This reverts commit ab8d3cdc44.
 2018-04-26 22:39:45 +01:00
Murphy Berzish
047f6c558c fix memory leak related to #1575 2018-04-26 16:36:14 -04:00
Nikolaj Bjorner
74292a48e5 change order of concatentation for empty string, #1595 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-04-26 09:08:34 +02:00
Nikolaj Bjorner
a04921dafe fix #1595 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-04-26 08:47:05 +02:00
Nikolaj Bjorner
cf2258a536 fix #1594 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-04-26 08:39:35 +02:00
Nikolaj Bjorner
f54779fe09 Merge branch 'master' of https://github.com/z3prover/z3 2018-04-25 11:18:39 +02:00
Nikolaj Bjorner
b5f067bec5 fix #1592 #1587 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-04-25 11:18:24 +02:00
TheRealNebus
ab8d3cdc44 WMax conflict budget bug fix 2018-04-24 17:59:21 +01:00
Nikolaj Bjorner
484d20c1f2
Merge pull request #1591 from yxliang01/master 
Z3 now will also try to find libz3 in PYTHONPATH
 2018-04-24 17:23:27 +02:00
yxliang01
f7bcf0fd58 Z3 now will also try to find libz3 in PYTHONPATH 2018-04-24 08:17:20 -07:00
Christoph M. Wintersteiger
e13f3d92af Updated CMakelists.txt 2018-04-24 15:01:05 +01:00