mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-10-31 03:32:28 +00:00
Code Activity
5776 commits 49 branches 53 tags 182 MiB
Commit graph

5776 commits

This branch
This branch
All branches
Author SHA1 Message Date
Mikolas Janota
c6e66ebc3a Adding ackr component. 2015-12-15 18:43:36 +00:00
Nuno Lopes
dbc1a84d6a fix warning with MSVC++ 64 2015-12-15 18:36:01 +00:00
Christoph M. Wintersteiger
90b1b07af4 build fixes 2015-12-15 15:03:53 +00:00
Christoph M. Wintersteiger
22a77721ef Updated build options for .NET API 2015-12-15 14:20:31 +00:00
Christoph M. Wintersteiger
f4e3989766 .NET API build fixes 2015-12-15 13:09:02 +00:00
Christoph M. Wintersteiger
0da8160716 Merge branch 'master' of https://github.com/Z3Prover/z3 2015-12-15 12:25:09 +00:00
Christoph M. Wintersteiger
942b6ba5ec Updated .NET build. 2015-12-15 12:24:59 +00:00
Christoph M. Wintersteiger
2fde24b3ab Merge pull request #380 from delcypher/c_api_example_typo 
Typo in comment in C api example.
 2015-12-15 12:03:11 +00:00
Dan Liew
83e2b1c6e5 Typo in comment in C api example. 2015-12-15 11:52:35 +00:00
Christoph M. Wintersteiger
fc5b9156cf Merge pull request #363 from delcypher/dotnet_configure_assembly_info 
Refactor ``mk_all_assembly_infos()`` to use the ``configure_file()`` and misc fixes for dotnet bindings
 2015-12-15 11:35:14 +00:00
Dan Liew
439d8d8afe Fix issue on non-windows systems when emitting the build rule 
for the ".NET" bindings example.

Previously there was a hack that would to path separator replacement
( '/' -> '\' ) which breaks paths under non-windows platforms. The hack
has been made slightly better by doing ( '/' -> os.path.sep). This
preserves the existing behaviour under Windows and unbreaks the build
on non-windows platforms.

I'm not entirely sure why the path replacement needs to be done in
the first place. I thought Windows was supposed to support using
'/' as a path separator (as well as '/'). Maybe ``csc.exe`` doesn't
support these kind of paths?
 2015-12-15 08:56:47 +00:00
Dan Liew
44393b37de Emit dependency of phony target `examples on _ex_dotnet_example` 
when building of the ".NET" bindings is enabled.
 2015-12-15 08:46:47 +00:00
Nikolaj Bjorner
b1459f4fa3 fix build warnings 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2015-12-15 04:57:32 +02:00
Nikolaj Bjorner
82c3233967 Merge branch 'master' of https://github.com/Z3Prover/z3 2015-12-15 04:11:22 +02:00
Nikolaj Bjorner
43bc6caa55 fix warning messages 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2015-12-15 04:11:11 +02:00
Christoph M. Wintersteiger
aa7ce540e8 Merge pull request #379 from wintersteiger/new_ocaml_install 
New ocaml install
 2015-12-14 16:45:36 +00:00
Christoph M. Wintersteiger
c33a8794a4 Merge branch 'master' of https://github.com/Z3Prover/z3 into new_ocaml_install 2015-12-14 16:32:48 +00:00
Christoph M. Wintersteiger
e652b7d2c7 Follow-up fix for #377. 2015-12-14 16:31:10 +00:00
Christoph M. Wintersteiger
6f886d0731 Merge pull request #378 from wintersteiger/issue377 
For for Python 3.x __eq__/__hash__.
 2015-12-14 16:28:14 +00:00
Christoph M. Wintersteiger
4f5a2e432d For for Python 3.x __eq__/__hash__. 
Fixes #377.
 2015-12-14 16:27:39 +00:00
Christoph M. Wintersteiger
edb1f4d896 ML API build fix 2015-12-14 14:55:38 +00:00
Christoph M. Wintersteiger
ced6809cd8 Removed old, unnecessary file. 2015-12-14 14:43:28 +00:00
Christoph M. Wintersteiger
134b93b43e ML API build fixes for Windows. 2015-12-14 14:41:19 +00:00
Christoph M. Wintersteiger
1f0b5cd0bc Merge branch 'master' of https://github.com/Z3Prover/z3 into new_ocaml_install 2015-12-14 13:02:49 +00:00
Dan Liew
d3d10490ea Fix bug in `Makefile` generation when emitting the command to build 
the ".NET" bindings when in debug mode.

``;`` is a shell command separator so it needs to be quoted when
emitting ``/define:DEBUG;TRACE``.
 2015-12-14 09:56:03 +00:00
Dan Liew
28eb21442e Bump the copyright year in `AssemblyInfo.cs.in`. Perhaps we should 
automatically generate this year during the configure step with a
``@COPYRIGHT_END_YEAR@`` substitution instead?
 2015-12-14 09:51:45 +00:00
Dan Liew
288fb3b7c1 Remove some trailing spaces in `AssemblyInfo.cs.in` 2015-12-14 09:51:45 +00:00
Dan Liew
81c98cf3ee Refactor `mk_all_assembly_infos() to use the configure_file()` 
function. The old implementation was buggy under Python 3.5 and
unsafe (not using with statements on calls to ``open()``).
 2015-12-14 09:51:45 +00:00
Nikolaj Bjorner
f3d94db889 bild on gcc #376 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2015-12-13 23:47:45 -08:00
Nikolaj Bjorner
72883df134 fix build, add seq features 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2015-12-13 16:02:17 -08:00
Christoph M. Wintersteiger
771caba9db update ML example readme 2015-12-13 17:44:50 +00:00
Nikolaj Bjorner
3c50508762 use ADT for strings 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2015-12-12 20:46:28 -08:00
Christoph M. Wintersteiger
5a357097c0 ML API Windows build fixes 2015-12-12 20:01:52 +00:00
Nikolaj Bjorner
a7e2fb31e3 updates to resource exceptions, update master possibly handle pull request issue 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2015-12-12 11:36:49 -08:00
Christoph M. Wintersteiger
fbced1db98 Merge branch 'master' of https://github.com/Z3Prover/z3 into new_ocaml_install 2015-12-12 19:34:17 +00:00
Christoph M. Wintersteiger
d456400f93 Merge branch 'new_ocaml_install' of https://github.com/wintersteiger/z3 into new_ocaml_install 2015-12-12 19:34:02 +00:00
Christoph M. Wintersteiger
d5f79c1f17 build fix for ML API 2015-12-12 19:30:25 +00:00
Nikolaj Bjorner
b31ba47271 ensure limit children are safe for race conditions 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2015-12-12 19:30:25 +00:00
Nikolaj Bjorner
17bbaa06dc ensure limit children are safe for race conditions 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2015-12-12 19:30:24 +00:00
Nikolaj Bjorner
a134a079b1 ensure limit children are safe for race conditions 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2015-12-12 19:30:24 +00:00
Nikolaj Bjorner
16f1b72b7c cleanup deprecated critical sections, fix cancellation for par_or_else tactic 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2015-12-12 19:30:24 +00:00
Dan Liew
140b3de3aa Make warnings that are emitted when installing Python bindings outside 
the install prefix on OSX less aggressive by not stating that this might
lead to a broken install (even though it might!).

Also emit a similar warning during the configuration step.

This partially addresses #361
 2015-12-12 19:30:24 +00:00
Nikolaj Bjorner
32be23fdaa fix index into reversed contains semantics 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2015-12-12 19:30:24 +00:00
Nikolaj Bjorner
267a1e962c moving to resource managed cancellation 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2015-12-12 19:30:24 +00:00
Nikolaj Bjorner
d4a90d7ec3 moving to resource managed cancellation 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2015-12-12 19:30:24 +00:00
Nikolaj Bjorner
a9723fb6c7 reworking cancellation 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2015-12-12 19:30:23 +00:00
Nikolaj Bjorner
9769322690 reworking cancellation 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2015-12-12 19:30:23 +00:00
Nikolaj Bjorner
e08bfb62f8 moving to resource managed cancellation 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2015-12-12 19:30:23 +00:00
Nikolaj Bjorner
589626b738 moving to resource managed cancellation 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2015-12-12 19:30:23 +00:00
Nikolaj Bjorner
f2f9578c0a cleanup cancelation logic 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2015-12-12 19:30:22 +00:00