3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-07 18:05:21 +00:00
Commit graph

851 commits

Author SHA1 Message Date
Nikolaj Bjorner a9f2ffd928 Merge branch 'opt' of https://github.com/nikolajbjorner/z3 into opt 2018-03-25 14:57:14 -07:00
Nikolaj Bjorner c513f3ca09 merge with master
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2018-03-25 14:57:01 -07:00
Nikolaj Bjorner a79400a01b fix bugs in scc_tr
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2018-03-25 14:55:42 -07:00
Nikolaj Bjorner 3765bde5e9 updated OSX build
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2018-03-22 20:19:08 -07:00
Nikolaj Bjorner bfc0b214ab update script
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2018-03-21 14:49:36 -07:00
Nikolaj Bjorner 12f147403c update script
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2018-03-21 14:13:27 -07:00
Nikolaj Bjorner 5d68a09233 update script
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2018-03-21 11:25:38 -07:00
Nikolaj Bjorner 1470dbf517 back to path
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2018-03-21 10:57:40 -07:00
Nikolaj Bjorner ba30365e2d updated script
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2018-03-21 10:26:09 -07:00
Nikolaj Bjorner 9765a6d0d3 updated script
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2018-03-21 09:23:01 -07:00
Nikolaj Bjorner ff2924e83b fix mac build error
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2018-03-20 17:19:40 -07:00
Nikolaj Bjorner 6304578111 mac
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2018-03-20 17:08:26 -07:00
Nikolaj Bjorner 16d2c2c506 mac
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2018-03-20 17:06:54 -07:00
Nikolaj Bjorner 116f0e0c70 cd below
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2018-03-20 17:05:12 -07:00
Nikolaj Bjorner 971f83997c add ls
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2018-03-20 17:02:19 -07:00
Nikolaj Bjorner 76eae5fa5c add mac build
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2018-03-20 16:57:01 -07:00
Nikolaj Bjorner 4529ad933a add vstsmac
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2018-03-20 15:19:05 -07:00
Nikolaj Bjorner 931dbd5933 remove python doc test
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2018-03-20 13:37:04 -07:00
Nikolaj Bjorner 8c4ea7983f use vc path in 2013
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2018-03-20 12:59:42 -07:00
Nikolaj Bjorner 6ee4efe93a remove python tests from x86 build
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2018-03-20 12:48:21 -07:00
Nikolaj Bjorner f7dfc39984 add vstsvs2013 outline
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2018-03-20 12:20:40 -07:00
Nikolaj Bjorner db7844bef7 adding build definition
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2018-03-20 09:33:23 -07:00
Nikolaj Bjorner 0d13a2812e add error checking and command argument
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2018-03-20 09:26:39 -07:00
Nikolaj Bjorner eb6bbd390a vsts script
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2018-03-20 08:33:09 -07:00
Nikolaj Bjorner dc01266354 fixing after clone
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2018-03-19 20:50:24 -07:00
Nikolaj Bjorner d5bd7878b3 fix example test
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2018-03-19 20:03:47 -07:00
Nikolaj Bjorner d5811a13eb add test-benchmarks
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2018-03-19 19:18:05 -07:00
Nikolaj Bjorner b727a3463d update vsts
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2018-03-19 18:21:34 -07:00
Nikolaj Bjorner ac2fe879ae update script
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2018-03-19 15:55:00 -07:00
Nikolaj Bjorner ba2e28fa0e update build script
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2018-03-19 14:55:38 -07:00
Nikolaj Bjorner 7ded2a90e6 remove unreachable from vector
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2018-03-19 11:55:18 -07:00
Nikolaj Bjorner 7a64c82d99 comment out pull
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2018-03-19 11:15:49 -07:00
Nikolaj Bjorner a873cc41bf update vsts script
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2018-03-19 10:43:59 -07:00
Nikolaj Bjorner 8602c52bc9 fix test build
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2018-03-19 10:41:42 -07:00
Nikolaj Bjorner afb12fe6c3 move script
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2018-03-18 17:22:58 -07:00
Pierre Pronchery 5f7bd993de Add support for NetBSD
Originally from David Holland <dholland@NetBSD.org>.
2018-03-13 21:59:35 +01:00
Nikolaj Bjorner 3d9139f6ef bump revision
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2018-03-10 12:07:55 -08:00
Nikolaj Bjorner 0ce2001449 fix build
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2018-03-10 11:39:22 -08:00
Bruce Mitchener 878a6ca14f Fix typos. 2018-03-09 14:30:43 +07:00
Christoph M. Wintersteiger 0ef33a98c4
Revert "Fix encoding error" 2018-02-13 14:08:55 +00:00
Nikolaj Bjorner ad92bfb1a1 fix python build
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2018-02-01 20:19:24 -08:00
Virgile ROBLES fddc4e311f
Fix encoding error
The encode/decode is not needed and fails if any non-ASCII character is returned by g++ or clang++
2018-01-26 00:30:59 +01:00
Nikolaj Bjorner 1992749e78 to ascii or not to ascii #1447
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2018-01-07 18:52:00 -08:00
Christoph M. Wintersteiger 63951b815d Bumped version number. 2017-12-18 18:58:21 +00:00
Ivan Gotovchits 49678065bd fixes compilation flags for OCaml plugins
The `-linkall` option is needed for a plugin to be standalone,
otherwise it will miss those dependencies that are not used.
2017-12-13 14:45:06 -05:00
Nikolaj Bjorner b96dacfff2 set version, fix build of test files
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2017-11-30 08:42:01 -08:00
Nikolaj Bjorner 161b6a9983 increase minor version, update java/.net apis
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2017-11-28 11:51:37 -08:00
Nikolaj Bjorner 89971e2a98 remove smtlib1 dependencies
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2017-11-28 10:37:30 -08:00
Nikolaj Bjorner 61d149a724 fix java build problem with bool arrays
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2017-11-15 16:18:18 -08:00
Nikolaj Bjorner 795e0c641a add method to create bit-vectors directly from an array of Booleans
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2017-11-15 14:44:59 -08:00