3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-06 09:34:08 +00:00
Commit graph

11025 commits

Author SHA1 Message Date
Nikolaj Bjorner 84520a0ffa separate failing java test
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-06-12 08:13:57 -07:00
Nuno Lopes 514d52a84f CI: fail if any command fails 2019-06-12 11:25:10 +01:00
Nuno Lopes 328b182994 CI: compile with 3 threads 2019-06-12 10:44:30 +01:00
Nikolaj Bjorner 8d3dfd36b2 initialize/finalize cooperate at top-level
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-06-12 02:37:24 -07:00
Nuno Lopes 04a2cce830 don't use thread-local storage if running a single thread 2019-06-12 09:59:19 +01:00
Nuno Lopes 3f5cea4a9e CI: add test for --single-threaded 2019-06-12 09:59:19 +01:00
Nikolaj Bjorner 5c05b62025 deallocate mux, fix script
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-06-12 01:41:14 -07:00
Nikolaj Bjorner f9677fdfd2 update pipelines
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-06-12 01:25:43 -07:00
Nikolaj Bjorner 921a574074 mutex allocation #2336
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-06-11 19:50:48 -07:00
Nikolaj Bjorner 9b08021ae1
Merge pull request #2339 from kybeak/master
Add build options:/GF Enables the compiler to create a single copy of…
2019-06-12 04:47:15 +02:00
Kyung Mo Beak 930db75979 Add build options:/GF Enables the compiler to create a single copy of identical strings in the program image and in memory during execution. This is an optimization called string pooling that can create smaller programs /Gy Allows the compiler to package individual functions in the form of packaged functions /profile This informs the linker to emit full fixup information so that Vulcan completely identifies code and data cross-references 2019-06-11 19:37:45 -07:00
Nikolaj Bjorner 71c38a08e5 add initialization
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-06-11 19:28:08 -07:00
Nikolaj Bjorner 583098b8b0 throttle som blowup by default factor of 10
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-06-11 17:11:54 -07:00
Nikolaj Bjorner 4209eeaee7
Merge pull request #2338 from levnach/fix
limit the size of bit vectors
2019-06-12 01:57:44 +02:00
Lev Nachmanson 14ff768a63 limit the size of bit vectors
Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
2019-06-11 16:40:54 -07:00
Nikolaj Bjorner 0ac462108f templatize regression test
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-06-11 11:56:05 -07:00
Nikolaj Bjorner 9b68072797 templatize regression test
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-06-11 11:55:26 -07:00
Nikolaj Bjorner 5005fcc0e0 extract jupyter template
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-06-11 11:52:42 -07:00
Nikolaj Bjorner a393195f61 comment out jupyter validation
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-06-11 11:49:17 -07:00
Nikolaj Bjorner 4b782c8c6c Update release.yml for Azure Pipelines 2019-06-11 19:46:47 +02:00
Nikolaj Bjorner d51f8c90f9 release
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-06-11 10:41:51 -07:00
Nikolaj Bjorner 607f4b92f6 add unit testing of jupyter notebooks
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-06-11 10:41:51 -07:00
Nikolaj Bjorner b4bbe12ca1 set kernel to 3
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-06-11 10:41:51 -07:00
Nikolaj Bjorner 7bfb730fee fix traffic jam
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-06-10 17:45:55 -07:00
Nikolaj Bjorner 27ec5c688f
Merge pull request #2335 from angr/master
Allow building python wheels with binaries from a prebuilt release
2019-06-11 01:48:32 +02:00
Audrey Dutcher 6fa85ad654 Allow building python wheels with binaries from a prebuilt release 2019-06-10 16:23:26 -07:00
Nikolaj Bjorner b4daf8dcd8 adding advanced port
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-06-10 12:33:20 -07:00
Nikolaj Bjorner cfff6cc073
Merge pull request #2334 from shiatsumat/patch-1
Merge navigations for stable and nightly builds on README.md
2019-06-10 20:10:11 +02:00
Yusuke Matsushita 53046df628
Merge navigations for stable and nightly builds
Merged navigations for stable and nightly builds, reflecting the very recent update.
2019-06-11 02:52:13 +09:00
Nikolaj Bjorner 9f426443ca saving strategies tutorial from notebooks.azure.com
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-06-10 10:30:11 -07:00
Nikolaj Bjorner 6cd7169665 readme and link
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-06-09 11:10:35 -07:00
Nikolaj Bjorner 2861b10d58 update
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-06-08 09:26:15 -07:00
Nikolaj Bjorner 08528b3526 ported guide
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-06-08 09:20:55 -07:00
Nikolaj Bjorner a9f9f81c39
Merge pull request #2330 from ekpyron/cmakeVersionFile
Generate Z3ConfigVersion.cmake.
2019-06-08 05:26:19 +02:00
Nikolaj Bjorner 36e03db0f3 png
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-06-07 19:29:14 -07:00
Nikolaj Bjorner e0a49dd556 html pages for z3 python tutorial
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-06-07 19:14:54 -07:00
Daniel Kirchner 29e6ab8335 Generate Z3ConfigVersion.cmake. 2019-06-08 02:50:07 +02:00
Nikolaj Bjorner 165c0ef3e1 disable windows validation for now
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-06-07 17:42:47 -07:00
Nikolaj Bjorner da6e3efa97 try with \ instead of /
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-06-07 17:28:27 -07:00
Nikolaj Bjorner 51532ba446 remove stale config #2318 thanks @ekpyron
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-06-07 17:08:22 -07:00
Nikolaj Bjorner cb6d3d2458 increase minimal requirement to 3.4
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-06-07 17:05:12 -07:00
Nikolaj Bjorner 9d783628db add regression tests to nightly
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-06-07 16:55:02 -07:00
Nikolaj Bjorner 6bbe924063 try with create action to change commit id
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-06-07 16:48:59 -07:00
Nikolaj Bjorner bb10854f6a remove non-functional portions
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-06-07 16:48:21 -07:00
Nikolaj Bjorner 9f02acffbb use tmp
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-06-07 14:51:33 -07:00
Nikolaj Bjorner bd0ecdd6de omit target path
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-06-07 14:48:44 -07:00
Nikolaj Bjorner af8f0a7312 try consolidation
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-06-07 13:50:06 -07:00
Nikolaj Bjorner 37ae0fe7d4 fix parameters
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-06-07 10:07:14 -07:00
Christoph M. Wintersteiger 998b0ff7f4
Fixed corner-case in fp.rem encoding. Fixes #2289. 2019-06-07 18:03:51 +01:00
Nikolaj Bjorner f065a6b13b try eq syntax
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-06-07 10:01:06 -07:00