mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-23 17:15:31 +00:00
Code Activity
13297 commits 23 branches 48 tags 157 MiB
Commit graph

13297 commits

This branch
This branch
All branches
Author SHA1 Message Date
Nikolaj Bjorner
2b0e1f7c2b debugging dl_bmc 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2012-10-10 18:37:10 -07:00
Nikolaj Bjorner
c9c8fb3834 debugging dl_bmc 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2012-10-10 18:32:52 -07:00
Nikolaj Bjorner
5409c90918 Merge branch 'working' of https://z3-1/gw/git/z3 into working 2012-10-10 17:57:08 -07:00
Nikolaj Bjorner
233f7fd53b debugging imdds and fixed bug in horn subsumption model transformer 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2012-10-10 17:56:37 -07:00
Leonardo de Moura
cd671cf67a Added release notes 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-10-10 09:18:46 -07:00
Leonardo de Moura
7185812b03 updated API 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-10-10 08:19:27 -07:00
Leonardo de Moura
261c8d0b7e Merge branch 'working' of //z3-1/z3 into working 2012-10-09 22:16:35 -07:00
Josh Berdine
cc940eb18e regenerated ml api 2012-10-10 01:32:08 +01:00
Josh Berdine
c0c98f7d09 reordered Z3_get_quantifier_num_bound in z3_api 2012-10-10 01:32:08 +01:00
Josh Berdine
af29bc7dc5 fixed typos in docs for num_no_patterns and no_patterns 2012-10-10 01:32:07 +01:00
Nikolaj Bjorner
a50d8d6b6c Merge branch 'working' of https://z3-1/gw/git/z3 into working 2012-10-09 11:05:37 -07:00
Nikolaj Bjorner
2fb2636d76 exposing hyper resolution rule over C API 
Signed-off-by: Nikolaj Bjorner <nbjorne@microsoft.com>
 2012-10-09 11:03:35 -07:00
Leonardo de Moura
dfaa03b018 Cleaned maxsat example 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-10-09 07:32:29 -07:00
Leonardo de Moura
659fe1e361 Removed release command from Makefile. Cleaned c++ example. 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-10-09 07:21:26 -07:00
Leonardo de Moura
39f695f756 Added --with-python configuration option, replaced *.py with *.pyc in install-python make command. 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-10-09 07:06:48 -07:00
Leonardo de Moura
bd1729239b Working on python bindings 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-10-09 06:39:17 -07:00
Leonardo de Moura
39846d3527 Added install-python/uninstall-python commands to Makefile 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-10-09 06:24:44 -07:00
Leonardo de Moura
7b79fb4795 Merge branch 'working' of /home/leo/projects-bare/z3 into working 2012-10-09 02:11:43 -07:00
Leonardo de Moura
a68ba36445 Added install/uninstall to Makefile 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-10-09 02:11:26 -07:00
Leonardo de Moura
adc2c659e1 removed tst file 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-10-09 01:37:56 -07:00
Leonardo de Moura
5c6c07c1e2 Fixed memory smash 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-10-09 01:36:42 -07:00
Leonardo de Moura
df66397eb9 Merge branch 'working' of /home/leo/projects-bare/z3 into working 2012-10-09 01:11:09 -07:00
Leonardo de Moura
5f735d2f12 debugging unsat core generation... 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-10-09 01:10:19 -07:00
Nikolaj Bjorner
78f29416f1 working on imdds 
Signed-off-by: Nikolaj Bjorner <nbjorne@microsoft.com>
 2012-10-08 11:53:54 -07:00
Leonardo de Moura
06a08da81b Merge branch 'master' of /home/leo/projects-bare/z3 2012-10-05 15:38:06 -07:00
Leonardo de Moura
1cfe6e477a removed unnecessary files. 2012-10-05 15:19:26 -07:00
Leonardo de Moura
ea5039031e Fixed pointer arith. bug 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-10-05 15:15:28 -07:00
Leonardo de Moura
ee71ad5a11 Added simple file 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-10-04 12:32:15 -07:00
Leonardo de Moura
bd108739ce Removed unnecessary files. They were accidently added. 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-10-04 10:34:18 -07:00
Leonardo de Moura
08d69153c0 Making sure Z3 compiles with gcc 4.7.1. Making sure 'make release' works. Temporarily removed iz3 and ocaml bindings from 'make release' script. Removed test_user_theory from 'make release' script. 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-10-03 18:32:56 -07:00
Leonardo de Moura
9bf3fd7646 Added missing files 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-10-03 18:11:56 -07:00
Leonardo de Moura
4603ba2a94 llvm stuff 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-10-02 22:37:57 -07:00
Leonardo de Moura
9823ee3b44 Licence 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-10-02 16:03:02 -07:00
Leonardo de Moura
ae15953609 update_api script for Linux/OSX 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-10-02 14:49:14 -07:00
Leonardo de Moura
c3d3f51f02 missing file 2012-10-02 14:43:20 -07:00
Leonardo de Moura
1a8aa48f34 modified scripts to be able to run them on Linux/OSX 2012-10-02 14:37:50 -07:00
Leonardo de Moura
7b1aa09ff3 Added documentation for update_api.sh 2012-10-02 14:27:12 -07:00
Leonardo de Moura
87dbd49b4c disable build.cmd from update_api.cmd 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-10-02 13:51:20 -07:00
Leonardo de Moura
bf180f2792 Added missing file 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-10-02 12:55:24 -07:00
Leonardo de Moura
bcca613cb2 Added ml component 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-10-02 12:44:06 -07:00
Leonardo de Moura
454fa7dcdd Improve _find_lib() in Z3Py for Linux/OSX 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-10-02 12:31:45 -07:00
Leonardo de Moura
11aa025805 Fixed gcc compilation error 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-10-02 12:22:07 -07:00
Leonardo de Moura
78f18b23a8 Fixed user name 2012-10-02 12:01:22 -07:00
Leonardo de Moura
68269c43a6 other components 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-10-02 11:48:48 -07:00
Leonardo de Moura
e9eab22e5c Z3 sources 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-10-02 11:35:25 -07:00
Leonardo de Moura
3f9edad676 Z3Py extra files 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-10-02 08:24:25 -07:00
Leonardo de Moura
e9ff9ba9fc Z3Py sources 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-10-02 08:00:13 -07:00