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

178 commits

This branch
This branch
All branches
Author SHA1 Message Date
Leonardo de Moura 9e5860a30f fixed compilation bugs 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-10-24 12:14:00 -07:00
Leonardo de Moura 641db30660 Isolating reg_decl_plugins 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-10-24 11:27:50 -07:00
Leonardo de Moura 69ce24a6ce checkpoint 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-10-24 11:11:07 -07:00
Leonardo de Moura 463297d264 Simplified scripts using /MD option 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-10-24 10:55:14 -07:00
Leonardo de Moura b1a5436c3f moved .net example 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-10-23 22:32:46 -07:00
Leonardo de Moura 952188a485 Moved .NET and ml APIs to src 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-10-23 22:18:59 -07:00
Leonardo de Moura 0a4446ae26 reorganizing the code 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-10-23 22:14:35 -07:00
Leonardo de Moura 9e299b88c4 reorganizing the code 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-10-23 21:53:34 -07:00
Leonardo de Moura b89d35dd69 fixed VS debug mode compilation 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-10-23 21:31:14 -07:00
Leonardo de Moura 94621f0c17 moved python to src 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-10-23 16:34:00 -07:00
Leonardo de Moura e2f4943b4e moved dll and examples 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-10-23 16:33:20 -07:00
Leonardo de Moura 81fd292c66 moved examples to new examples folder 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-10-23 16:30:48 -07:00
Leonardo de Moura 12d7c3a187 Improving visual studio support 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-10-23 16:26:30 -07:00
Leonardo de Moura a564be5caf improving mk_make 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-10-23 15:47:59 -07:00
Leonardo de Moura 6a0e05153c improving mk_make.py 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-10-23 15:10:46 -07:00
Leonardo de Moura 7cb1d21070 checkpoint 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-10-23 14:41:42 -07:00
Leonardo de Moura 236a32c3d4 checkpoint 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-10-23 14:41:26 -07:00
Leonardo de Moura c4898a67e3 checkpoint 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-10-23 13:42:57 -07:00
Leonardo de Moura 1d795e9a5e trying new build infrastructure on linux 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-10-23 13:10:41 -07:00
Leonardo de Moura efff6db567 checkpoint 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-10-23 12:12:59 -07:00
Leonardo de Moura e7e5d4c5bb missing files... 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-10-22 06:01:04 -07:00
Leonardo de Moura a33913979d moved bit_blaster_tactic to bv_tactics 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-10-21 22:37:34 -07:00
Leonardo de Moura 59fc7acc48 checkpoint 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-10-21 22:21:33 -07:00
Leonardo de Moura 9359ab7ce5 checkpoint 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-10-21 22:16:58 -07:00
Leonardo de Moura 142bf71b35 checkpoint 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-10-21 22:04:19 -07:00
Leonardo de Moura 63154b99c5 checkpoint 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-10-21 21:52:11 -07:00
Leonardo de Moura 78b11ccd8e checkpoint 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-10-21 21:50:58 -07:00
Leonardo de Moura 80b2df3621 checkpoint 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-10-21 20:46:41 -07:00
Leonardo de Moura 6fd63cd05a checkpoint 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-10-21 20:04:34 -07: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
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
Leonardo de Moura ded42feeb6 Reorganizing code base 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-10-20 16:33:01 -07:00