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

7998 commits

This branch
This branch
All branches
Author SHA1 Message Date
Nikolaj Bjorner 705439cb85 update build definition to 4 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-03-22 20:22: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 4529ad933a add vstsmac 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-03-20 15:19:05 -07:00
Nikolaj Bjorner abc274e290 merge 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-03-20 14:58:12 -07:00
Nikolaj Bjorner d99068e412
Merge pull request #1546 from mtrberzi/refactoring 
theory_str determinism refactoring
 2018-03-20 13:38:50 -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 d8462807c3 add missin bar 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-03-20 09:35:51 -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
Murphy Berzish 7759d05efe fix use-after-free 2018-03-19 23:09:07 -04:00
Murphy Berzish d26eddf776 re-add indexof-contains heuristic 2018-03-19 18:31:26 -04:00
Murphy Berzish 1f4bfcb4e5 fix indexof subterm 2018-03-19 18:10:06 -04:00
Murphy Berzish 5c692dc79d fixups to theory_str indexof and axiom handling loop 2018-03-19 18:06:42 -04:00
Murphy Berzish 84c30e0b60 theory_str fixups for new collections 2018-03-19 17:03:01 -04:00
Nikolaj Bjorner 18e75dc001 Merge branch 'master' of https://github.com/z3prover/z3 2018-03-19 13:34:17 -07:00
Nikolaj Bjorner ebc6ec2eb5 fix #1547 by rewriting legacy recognizers to SMT-LIB2.6 style recognizers which are assumed by theory_datatype 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-03-19 13:33:58 -07:00
Murphy Berzish a988d01537 add const to iterator loops where it can be used 2018-03-19 12:25:44 -04:00
Murphy Berzish d569485170 Merge remote-tracking branch 'upstream/master' into refactoring 2018-03-19 01:43:18 -04:00
Nikolaj Bjorner b572639fcd fix #1545 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-03-17 17:49:33 -07:00
Nikolaj Bjorner 72f8e408fc fix #1538 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-03-17 11:25:07 -07:00
Nikolaj Bjorner aa913c564c moving more std::map std::set to obj_*, #1529 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-03-17 04:21:28 -07:00
Nikolaj Bjorner f59d4c6ac0 Merge branch 'master' of https://github.com/z3prover/z3 2018-03-16 19:30:23 -07:00
Nikolaj Bjorner 5dd7e2c520 fix #1544 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-03-16 19:30:13 -07:00
Nikolaj Bjorner b12a1caa07 fix build 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-03-16 09:05:44 -07:00
Nikolaj Bjorner b93a04c38f Merge branch 'master' of https://github.com/z3prover/z3 2018-03-16 07:46:35 -07:00
Nikolaj Bjorner 86d3bbe6cb added TODO markers in theory_str.h for moving to obj_map, remove include of stdbool for now 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-03-16 07:46:27 -07:00
Nikolaj Bjorner 3a4a58ecfd
Merge pull request #1541 from fmgoncalves/patch-1 
Fix #1540 Remove extraneous function
 2018-03-16 07:40:13 -07:00
Nikolaj Bjorner 1c8e71bd8b
Merge pull request #1542 from waywardmonkeys/doc-fixes 
Fix minor issues in docs.
 2018-03-16 07:39:50 -07:00
Bruce Mitchener 0a0b7a9635 Fix minor issues in docs. 2018-03-16 20:56:06 +07:00
Filipe Gonçalves e4cab7bc83
Fix #1540 Remove extraneous function 
Remove extra __deepcopy__ function definition that shadows working implementation.
 2018-03-16 22:04:39 +10:00
Nikolaj Bjorner b1f05d8271 fix #1539 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-03-14 18:14:29 -07:00
Nikolaj Bjorner 46048d5150 change lemma display utility to use updated pretty printer 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-03-14 12:15:13 -07:00
Nikolaj Bjorner 776a7d4e6c Merge branch 'master' of https://github.com/z3prover/z3 2018-03-14 09:04:10 -07:00
Nikolaj Bjorner 5e2723a16e java 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-03-14 09:04:08 -07:00
Nikolaj Bjorner c229518953 Merge branch 'master' of https://github.com/z3prover/z3 2018-03-14 07:29:38 -07:00
Nikolaj Bjorner 2b2aee3c18 remove unused operators #1530 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-03-14 07:29:26 -07:00
Nikolaj Bjorner eb5f5e8294
Merge pull request #1537 from DeforaNetworks/khorben/netbsd 
Add support for NetBSD
 2018-03-13 20:26:46 -07:00
Pierre Pronchery 5f7bd993de Add support for NetBSD 
Originally from David Holland <dholland@NetBSD.org>.
 2018-03-13 21:59:35 +01:00
Murphy Berzish b5471e7fe0 refactor: use c++11 for (part 1) 2018-03-12 20:04:04 -04:00
Murphy Berzish 73f7e301c3 preliminary refactoring to use obj_map 2018-03-12 17:09:55 -04:00
Nikolaj Bjorner 5651d00751 fix #1534 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-03-12 13:21:31 -07:00
Nikolaj Bjorner 3d9139f6ef bump revision 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-03-10 12:07:55 -08:00
Nikolaj Bjorner 5854492504 add stdbool.h to see whether build system breaks #1526 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-03-10 11:59:42 -08:00
Nikolaj Bjorner fb3498cd0b
Merge pull request #1528 from DeforaNetworks/khorben/configure-parameters 
Fix parameter expansion when configuring Z3
 2018-03-10 14:42:01 -05:00
Nikolaj Bjorner 0ce2001449 fix build 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-03-10 11:39:22 -08:00
Nikolaj Bjorner 6e87622c8a remove references to deprecated uses of PROOF_MODE #1531 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-03-10 13:55:01 -05:00