mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-11-03 21:09:11 +00:00
Code Activity
14314 commits 49 branches 53 tags 182 MiB
Commit graph

14314 commits

This branch
This branch
All branches
Author SHA1 Message Date
Josh Berdine
cd8618f90d updated ml api test regressions (due to new printing?) 2012-10-22 03:34:56 +01:00
Josh Berdine
53e22f308b made .cmd scripts executable 2012-10-22 03:20:00 +01:00
Leonardo de Moura
f6c89ba1d3 checkpoint 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-10-21 18:32:35 -07:00
Leonardo de Moura
39d6628be9 checkpoint 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-10-21 18:23:20 -07:00
Leonardo de Moura
56ab7a7495 checkpoint 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-10-21 18:12:34 -07:00
Leonardo de Moura
ffaf88798d preparing to split framework 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-10-21 17:31:45 -07:00
Josh Berdine
83e92c2dd7 added build and test scripts and READMEs to distribute 2012-10-22 01:04:11 +01:00
Josh Berdine
6e1eb7044b removed files specific to source depot and SDV 2012-10-22 01:04:11 +01:00
Josh Berdine
27b8eefa67 updated ml api test expected output following recent formatting changes 2012-10-22 01:04:11 +01:00
Josh Berdine
4c8044176d clean .z3-trace 2012-10-22 01:04:10 +01:00
Josh Berdine
aec36146ab updated ml build scripts to assume required tools are already set up, and added comments specifying which tools are required 2012-10-22 01:04:10 +01:00
Leonardo de Moura
c4711ac472 checkpoint 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-10-21 16:03:12 -07:00
Leonardo de Moura
00e94e1653 Moved scripts to scripts dir 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-10-21 15:35:30 -07:00
Leonardo de Moura
6d25a3bd2b Added Visual Solution Generation 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-10-21 15:33:49 -07:00
Leonardo de Moura
ae400c4b2a checkpoint 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-10-21 14:39:59 -07:00
Leonardo de Moura
cf47f6ce60 renamed user_ext => user_plugin 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-10-21 14:19:00 -07:00
Leonardo de Moura
dcf778a287 Reorganizing the code 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-10-21 14:16:35 -07:00
Leonardo de Moura
3003ee5cb6 Integrating Nikolaj's Saturday changes (at unstable branch) 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-10-21 13:40:22 -07:00
Leonardo de Moura
add684d8e9 checkpoint 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-10-21 13:32:12 -07:00
Leonardo de Moura
4722fdfca5 Reorganizing the code 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-10-21 08:12:38 -07:00
Leonardo de Moura
6bc591c67e Reorganizing the code 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-10-20 22:44:27 -07:00
Leonardo de Moura
aa949693d4 Reorganizing the code 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-10-20 22:28:22 -07:00
Leonardo de Moura
492484c5aa Reorganizing the code 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-10-20 22:03:58 -07:00
Leonardo de Moura
2b8fb6c718 Reorganizing the code 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-10-20 20:53:33 -07:00
Leonardo de Moura
6bdb009c3e Reorganizing the code 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-10-20 20:42:28 -07:00
Leonardo de Moura
d8cd3fc3ab Reorganizing the code 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-10-20 19:54:08 -07:00
Leonardo de Moura
8b70f0b833 Reorganizing the code 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-10-20 19:30:14 -07:00
Nikolaj Bjorner
452ea65189 move to z3.dll instead of z3_dbg.dll 2012-10-20 19:26:31 -07:00
Nikolaj Bjorner
61de6433c0 Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable 2012-10-20 19:11:50 -07:00
Nikolaj Bjorner
1cae83183a add missing /** so that OCaml can build 2012-10-20 19:10:25 -07:00
Leonardo de Moura
ded42feeb6 Reorganizing code base 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-10-20 16:33:01 -07:00
Leonardo de Moura
9a84cba6c9 Reorganizing the code. Moved nlsat to its own directory. 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-10-20 15:48:18 -07:00
Leonardo de Moura
c66b9ab615 Reorganizing the code 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-10-20 15:30:42 -07:00
Leonardo de Moura
8a6997960a Reorganizing code. Added script for generating VS project files 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-10-20 15:16:37 -07:00
Nikolaj Bjorner
090ca2e46c refined difference logic check, consolidate scoped modes 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2012-10-20 10:47:30 -07:00
Leonardo de Moura
2c464d413d Reorganizing source code. Created util dir 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-10-20 10:19:38 -07:00
Nikolaj Bjorner
14aff67684 Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable 2012-10-20 06:36:30 -07:00
Nikolaj Bjorner
630ba0c675 use a more liberal static feature for difference logic 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2012-10-20 06:33:14 -07:00
Nikolaj Bjorner
c2f9f2e9cd Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable 2012-10-20 04:27:42 -07:00
Nikolaj Bjorner
4e94fa7d37 Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable 2012-10-20 04:26:46 -07:00
Nikolaj Bjorner
2e73957f97 enable proof production with difference logic, integrate with PDR engine 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2012-10-20 04:25:58 -07:00
Leonardo de Moura
472b8caa41 Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable 2012-10-19 18:39:01 -07:00
Leonardo de Moura
b505fe13cd updated release notes 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-10-19 18:38:34 -07:00
Nikolaj Bjorner
36f7bad1da Merge branch 'unstable' of https://git01.codeplex.com/z3 into unstable 2012-10-19 08:33:57 -07:00
Nikolaj Bjorner
ccb50f5d8a updated comments to create_children 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2012-10-19 08:33:43 -07:00
Nikolaj Bjorner
28a4f51ea5 qe-lite 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2012-10-19 08:30:23 -07:00
Nikolaj Bjorner
cadfb804c5 remove dead code 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2012-10-19 08:22:31 -07:00
Nikolaj Bjorner
b22fb74c5c working on symbolic execution for PDR 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2012-10-18 21:09:32 -07:00
Nikolaj Bjorner
8f5fc3716e working on symbolic execution for PDR 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2012-10-18 21:01:28 -07:00
Leonardo de Moura
8cde0c0672 fixed update_api.py 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-10-18 12:55:28 -07:00