mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-24 09:35:32 +00:00
Code Activity
10308 commits 24 branches 48 tags 158 MiB
Commit graph

34 commits

Author SHA1 Message Date
Nuno Lopes
178e5b31e8 spread a few anonymous namespaces and remove some m_imp idioms 2018-12-21 22:49:06 +00: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
Andrew Dutcher
0bbd172af3 First steps to a sane python build 2016-09-14 01:37:04 -07:00
Dan Liew
20d3bf4d0c [CMake] Implement support for building the .NET bindings. 
When using Mono support for installing/uninstalling the bindings
is also implemented. For Windows install/uninstall is not implemented
because the python build system does not implement it and Microsoft's
documentation (https://msdn.microsoft.com/en-us/library/dkkx7f79.aspx)
says that the gacutil should only be used for development and not for
production.

For now a warning is just emitted if ``INSTALL_DOTNET_BINDINGS``
is enabled and the .NET toolchain is native Windows. Someone with
better knowledge of how to correctly install assemblies under Windows
should implement this or remove this message.

A notable difference from the Python build system is the
``/linkresource:`` flag is not passed to the C# compiler. This means
a user of the .NET bindings will have to copy the Z3 library (i.e.
``libz3.dll``) to their application directory manually. The reason
for this difference is that using this flag requires the working
directory to be the directory containing the Z3 library (i.e.
``libz3.dll``) but setting this up with multi-configuration generators
doesn't currently seem possible.
 2016-03-27 15:04:04 +01:00
Dan Liew
a5f8ceaa48 Add globbing patterns to `.gitignore` so the files copied 
over by the ``contrib/cmake/bootstrap.py`` script are ignored
and so don't get accidently commited.
 2016-03-04 15:26:09 +00:00
Nikolaj Bjorner
52619b9dbb pull unstable 
Signed-off-by: Nikolaj Bjorner <nbjorner@hotmail.com>
 2015-04-01 14:57:11 -07:00
Christoph M. Wintersteiger
e754aa1c11 Minor adjustments after rebasing ml-ng onto unstable. 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 17:17:58 +00:00
Christoph M. Wintersteiger
ec0b12ecd1 ML API refactoring (z3native.c -> z3native_stubs.c) 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 17:12:48 +00:00
Christoph M. Wintersteiger
e2ac8c73d9 ML API temp files added to .gitignore 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 16:51:26 +00:00
Christoph M. Wintersteiger
dcd6f1f697 More ML API 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 16:49:26 +00:00
Christoph M. Wintersteiger
a40433aae8 More ML API 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 16:13:58 +00:00
Christoph M. Wintersteiger
1579da02b0 More new ML API 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 16:13:30 +00:00
Christoph M. Wintersteiger
4f0e8a1057 ML API refactoring (z3native.c -> z3native_stubs.c) 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 16:06:08 +00:00
Christoph M. Wintersteiger
a965d65901 ML API temp files added to .gitignore 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 15:41:17 +00:00
Christoph M. Wintersteiger
65ddf2be49 More ML API 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 15:40:39 +00:00
Christoph M. Wintersteiger
f5a0520b83 More ML API 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 15:40:37 +00:00
Christoph M. Wintersteiger
03a5c88ded More new ML API 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2015-01-19 15:40:10 +00:00
Nikolaj Bjorner
08cb8b8de8 address divergence in the case of shared theory symbols. Codeplex issue 147, thanks to George Karpenkov 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2014-12-09 16:04:25 +01:00
Christoph M. Wintersteiger
0713535fa6 Documentation website fixes. 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2014-10-24 21:00:23 +01:00
Christoph M. Wintersteiger
7d196201dc fixed warnings 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2014-10-24 12:33:20 +01:00
Christoph M. Wintersteiger
c3b7c738f8 Merge branch 'bvsls' of https://git01.codeplex.com/z3 into opt 
Conflicts:
	scripts/mk_project.py
	src/duality/duality.h
	src/duality/duality_solver.cpp
	src/duality/duality_wrapper.h
	src/interp/iz3hash.h

Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2014-04-25 22:18:41 +01:00
Christoph M. Wintersteiger
aa006fa237 added dotnet generated files to .gitignore 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2014-04-09 11:31:44 +01:00
Anh-Dung Phan
5921628f53 Dump opt_solver checksat calls for profiling 2013-11-13 18:46:18 -08:00
Leonardo de Moura
349c21d4de Add configure script that is just a wrapper for python 'src/mk_make.py'. It makes the build more user friendly for users familiar with ./configure + make idiom 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2013-01-13 11:34:05 -08:00
Leonardo de Moura
71aec11a04 Ignore callgrind files and Python pyo files 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-12-26 15:50:09 -08:00
Leonardo de Moura
4f9442864a auto generation of parameter helper 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-11-30 15:31:40 -08:00
Leonardo de Moura
cf28cbab0a saved params work 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-11-29 17:19:12 -08:00
Christoph M. Wintersteiger
00ebabcc6e Ignoring more common build directories 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2012-11-28 21:30:22 +00:00
Christoph M. Wintersteiger
9b9b7a6980 Java API: .gitignore updated 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2012-11-27 19:02:15 +00:00
Christoph M. Wintersteiger
3f548c7610 Java API: .gitignored auto-generated files and java class files. 
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
 2012-11-27 19:01:30 +00:00
Leonardo de Moura
badb81998d updated .gitignore 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-11-22 10:11:39 -08:00
Leonardo de Moura
6c11a78e61 fixed .gitignore 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-11-20 08:41:45 -08:00
Leonardo de Moura
051e84de20 Updated .gitignore 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-11-20 08:40:05 -08:00
Leonardo de Moura
92b6a257ef Added .gitignore 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
 2012-11-20 08:37:46 -08:00