mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-08 10:25:18 +00:00
Code Activity
15361 commits 23 branches 48 tags 156 MiB
Commit graph

15361 commits

This branch
This branch
All branches
Author SHA1 Message Date
Nikolaj Bjorner 39af2a188d centos -> glibc 2021-06-04 15:54:19 -07:00
Nikolaj Bjorner bce903ae97 #5324 2021-06-04 15:52:38 -07:00
Nikolaj Bjorner 37d2ed646d #5324 
disable euf for opt
 2021-06-04 15:28:52 -07:00
Nikolaj Bjorner 84b86ac8d2 updated ref to esrp 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-06-04 15:13:34 -07:00
Nikolaj Bjorner ae6aea7a4d #5324 2021-06-04 13:49:01 -07:00
Nuno Lopes 7cda90c06a cmake: build with -fvisibility-inlines-hidden 2021-06-04 19:51:40 +01:00
Nuno Lopes 2f9be23d90 attempt to fix MSVC build 2021-06-04 19:49:59 +01:00
Nikolaj Bjorner 03947b2168 remove travis badge 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-06-04 11:40:51 -07:00
Nikolaj Bjorner 88ec0f9fdd undo cxx hoist 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-06-04 11:39:46 -07:00
Nikolaj Bjorner 3655c399f5 hoist c++ flags 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-06-04 11:33:56 -07:00
Nikolaj Bjorner 654e53e762 auxiliary build 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-06-04 11:15:13 -07:00
Nikolaj Bjorner 7ce88ec032 na 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-06-04 11:02:00 -07:00
Nikolaj Bjorner dea7c92730 updated nightly 2021-06-04 10:54:32 -07:00
Nikolaj Bjorner 5da4b29136 turn on parity test 2021-06-04 10:18:24 -07:00
Nikolaj Bjorner c194441824 #5324 2021-06-04 10:18:24 -07:00
Nikolaj Bjorner 73118012c5 #5324 2021-06-04 09:40:31 -07:00
Nikolaj Bjorner 7c86134e85 #5324 2021-06-03 18:36:44 -07:00
Nikolaj Bjorner 0182187296 fix regression in arithmetic resource bound 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-06-03 11:41:42 -07:00
Nikolaj Bjorner d2330055e7 disable travis 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-06-02 18:27:57 -07:00
Nikolaj Bjorner 8a02167e30 get-universe 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-06-01 21:08:08 -07:00
Nikolaj Bjorner 3e773fba5e get-universe 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-06-01 21:07:48 -07:00
Nikolaj Bjorner 6a5cdd48e7 na 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-06-01 20:43:45 -07:00
Nikolaj Bjorner ab3b387076 na 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-06-01 20:37:43 -07:00
Nikolaj Bjorner 45adfc6a66 na 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-06-01 20:31:05 -07:00
Nikolaj Bjorner 0e6d530518 std::cout 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-06-01 18:49:37 -07:00
Nikolaj Bjorner 2156c74d51 #4702 
initial gcd test implementation for accumulated parity constraints
 2021-06-01 15:26:36 -07:00
Nikolaj Bjorner 5127014f18 track cuts 2021-06-01 15:26:36 -07:00
Nikolaj Bjorner ba56bfa656 spelling 2021-05-31 19:04:38 -07:00
Nikolaj Bjorner e2c5e2e39c na 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-05-31 12:32:33 -07:00
Nikolaj Bjorner 8d1dfb9f32 #5223 2021-05-31 12:30:05 -07:00
Nikolaj Bjorner fe0727d889 #5223 2021-05-31 12:29:31 -07:00
Nikolaj Bjorner fb75dac63f #5223 2021-05-31 12:01:33 -07:00
Jakob Rath 46f8b15c14
ref/ref_vector minor convenience changes (#5322) 
* Add ref_vector_core::push_back(ref<T>&&)

* Make operator bool() explicit
 2021-05-31 10:27:46 -07:00
Nikolaj Bjorner 50cf321171 fix #5320 2021-05-31 10:18:27 -07:00
Nikolaj Bjorner 83e2e7200c fix #5316 2021-05-30 11:28:31 -07:00
Nikolaj Bjorner 4d75281841 fix #5315 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-05-30 10:38:04 -07:00
Nikolaj Bjorner b1606487f0 fix #5289 2021-05-30 10:32:30 -07:00
Nikolaj Bjorner 4d41db2920 #5223 
unreachable code in dual solver
 2021-05-29 09:49:47 -07:00
Nikolaj Bjorner 3024fe7baf fix #5312 2021-05-29 08:17:33 -07:00
Nikolaj Bjorner 56b47fa956 fix #5304 2021-05-29 08:06:06 -07:00
Nikolaj Bjorner 15916091d1 fix #5307 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-05-28 14:38:41 -07:00
Nikolaj Bjorner ce6fc21bef fix #5300 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-05-28 14:17:13 -07:00
Nikolaj Bjorner c5d4ff9b6f fix #5300 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-05-28 14:16:43 -07:00
Nikolaj Bjorner f42d4a58e3 fix #5308 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-05-28 14:10:32 -07:00
Iain Scott 48beb814f5
Use more generic linux-x64 for NuGet rid instead of specific ubuntu, debian, etc. (#5310) 2021-05-28 13:53:52 -07:00
Nuno Lopes 5a66dfad2a change parameter::hash so that the least significant bits arent overriden 
the 3rd bit was being stuck by the parameter kind, leading to increased number of hash collisions
 2021-05-27 09:38:21 +01:00
Nikolaj Bjorner 322531e95c fix #5303 2021-05-25 10:20:20 -07:00
Nuno Lopes 36ca98cbbe ast: remove 2 default constructors 2021-05-24 14:59:03 +01:00
Nikolaj Bjorner 2ebab021f2 fix #5297 2021-05-23 13:42:15 -07:00
Nikolaj Bjorner 8919fa4970 #5296 2021-05-23 10:32:09 -07:00