Nikolaj Bjorner
db274ebe01
relax condition for distributing extract over ite #2359
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-06-23 16:48:42 -07:00
Nikolaj Bjorner
e0d8cefde4
remove cooperate
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-06-12 20:15:46 -07:00
Nikolaj Bjorner
28ce701e17
fixing 2267
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2019-05-06 15:31:55 +02:00
Nuno Lopes
912a729097
fix build of unit tests
2017-10-16 00:54:30 +01:00
Nikolaj Bjorner
b19f94ae5b
make include paths uniformly use path relative to src. #534
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2017-07-31 13:24:11 -07:00
Dan Liew
4b517b96df
[CMake] Move CMake files into their intended location so the
...
`contrib/cmake/bootstrap.py` script no longer needs to be executed.
The previous location of the CMake files was a compromise proposed
by @agurfinkel in #461 . While this has served us well (allowing progress
to be made) over time limitations of this approach have appeared.
The main problem is that doing many git operations (e.g. pull, rebase)
means the CMake files don't get updated unless the user remembers to
run the script. This can lead to broken and confusing build system
behaviour.
This commit only does the file moving and necessary changes to
`.gitignore`. Other changes will be done in subsequent commits.
2017-06-12 11:59:00 +01:00
Christoph M. Wintersteiger
4e37821dde
"canceled" -> Z3_CANCELED_MSG
...
Relates to #431
2016-02-04 13:52:43 +00:00
Nikolaj Bjorner
96d1066c6a
reworking cancellation
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2015-12-11 16:43:48 -08:00
Nikolaj Bjorner
baee4225a7
reworking cancellation
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2015-12-11 16:21:24 -08:00
Nikolaj Bjorner
4bc044c982
update header guards to be C++ style. Fixes issue #9
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2015-07-08 23:18:40 -07:00
Nikolaj Bjorner
c0895e5548
remove hassel table from unstable: does not compile under other plantforms
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2013-05-31 17:48:19 -07:00
Leonardo de Moura
77f58269ed
Add html pretty printing mode for RCF package
...
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
2013-01-27 10:19:54 -08:00
Leonardo de Moura
3c1f1a3b65
Fix bug in realclosure::compare function
...
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
2013-01-06 21:50:36 -08:00
Leonardo de Moura
f1d47f35b2
Add refine interval infrastructure
...
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
2013-01-06 18:30:41 -08:00
Leonardo de Moura
ecb58091f7
Add support for transcendental values such as pi and e, and the power operator
...
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
2013-01-05 21:26:12 -08:00
Leonardo de Moura
edf62481e9
Add skeleton for the realclosure package
...
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
2013-01-02 18:08:42 -08:00
Leonardo de Moura
1645f61d85
added READMEs
...
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
2012-11-17 09:32:01 -08:00
Leonardo de Moura
81193fd550
add default template instance
...
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
2012-10-31 11:16:43 -07:00
Leonardo de Moura
683687b153
more cleanup
...
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
2012-10-31 10:54:59 -07:00
