Leonardo de Moura
|
276befb78e
|
fixing eol
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2012-10-26 21:50:08 -07:00 |
|
|
Leonardo de Moura
|
3e89fc092e
|
Moved Microsoft.Z3V3 to dead folder
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2012-10-26 15:27:03 -07:00 |
|
|
Leonardo de Moura
|
cba78d220f
|
auto gen VS project
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2012-10-26 13:34:53 -07:00 |
|
|
Leonardo de Moura
|
2bdcc36526
|
renamed z3.dll to libz3.dll
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2012-10-26 12:33:54 -07:00 |
|
|
Leonardo de Moura
|
cf04bf9959
|
OSX again
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2012-10-26 19:37:18 +01:00 |
|
|
Leonardo de Moura
|
7ebc6fdd66
|
trying reexport trick for OSX
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2012-10-26 11:20:03 -07:00 |
|
|
Leonardo de Moura
|
98147b0fc9
|
Disabled (extra) internal python API for testing.
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2012-10-25 18:55:17 -07:00 |
|
|
Leonardo de Moura
|
fa6b2a7bf9
|
finished binding auto gen for Python and DotNet
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2012-10-25 18:43:22 -07:00 |
|
|
Leonardo de Moura
|
639f66da0a
|
auto gen for Enumeration.cs
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2012-10-25 17:39:35 -07:00 |
|
|
Leonardo de Moura
|
d40c62d8aa
|
auto gen for z3consts.py
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2012-10-25 17:30:38 -07:00 |
|
|
Leonardo de Moura
|
67fe86ca18
|
auto gen .def files
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2012-10-25 16:50:46 -07:00 |
|
|
Leonardo de Moura
|
ec43b3bf7a
|
finished script for auto-gen of install_tactic procedure
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2012-10-25 16:06:14 -07:00 |
|
|
Leonardo de Moura
|
1ea606092c
|
checkpoint
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2012-10-25 15:44:53 -07:00 |
|
|
Leonardo de Moura
|
760b12c4cb
|
auto generate install_tactics procedure
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2012-10-25 14:46:17 -07:00 |
|
|
Leonardo de Moura
|
3c7d655a6e
|
checkpoint
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2012-10-25 12:41:01 -07:00 |
|
|
Leonardo de Moura
|
05569be49f
|
checkpoint
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2012-10-25 12:40:48 -07:00 |
|
|
Leonardo de Moura
|
1d03eedeeb
|
script for updating version numbers.
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2012-10-25 11:52:51 -07:00 |
|
|
Leonardo de Moura
|
f57d4b1b19
|
reorganizing the code
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2012-10-25 11:28:03 -07:00 |
|
|
Leonardo de Moura
|
d7930da9a8
|
Added support for windows DLLs
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2012-10-24 17:08:39 -07:00 |
|
|
Leonardo de Moura
|
87c2e5bc3c
|
Enabled .so support
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2012-10-24 16:00:25 -07:00 |
|
|
Leonardo de Moura
|
0990a2e045
|
using a consistent naming convention for naming tactic subfolders
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2012-10-24 15:11:44 -07:00 |
|
|
Leonardo de Moura
|
67f5ed46c1
|
move array_property_expander to dead code bin
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2012-10-24 14:56:40 -07:00 |
|
|
Leonardo de Moura
|
12a255e36b
|
reorganizing the code
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2012-10-24 14:47:40 -07:00 |
|
|
Leonardo de Moura
|
4cf211acd4
|
moving tactics to tactic folder
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2012-10-24 14:15:15 -07:00 |
|
|
Leonardo de Moura
|
66234ff4bd
|
deleted assertion_sets (aka old tactic framework)
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2012-10-24 14:08:00 -07:00 |
|
|
Leonardo de Moura
|
4f6b34bc7b
|
removing last refs to assertion_set
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2012-10-24 14:04:33 -07:00 |
|
|
Leonardo de Moura
|
96676efeb6
|
had to nuke mip_tactic, it was based on the smt_solver_exp (experimental), that depends on assertion_sets. This change will affect Z3's performance on QF_LIA and QF_LRA benchmarks. The new mcsat should fix that.
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2012-10-24 13:58:24 -07:00 |
|
|
Leonardo de Moura
|
361b55edfd
|
Minimizing dependencies to assertion_set
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2012-10-24 13:33:54 -07:00 |
|
|
Leonardo de Moura
|
3da69a4f1b
|
Integrated structured branch into unstable branch (the official 'working in progress' branch)
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2012-10-24 13:19:19 -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
|
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
|
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
|
c4898a67e3
|
checkpoint
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2012-10-23 13:42:57 -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
|
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
|
9359ab7ce5
|
checkpoint
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2012-10-21 22:16:58 -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
|
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 |
|