Nikolaj Bjorner
|
c372500018
|
update for nuget/core
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-11-14 14:51:58 -08:00 |
|
Nikolaj Bjorner
|
84baddf87c
|
Merge branch 'master' of https://github.com/z3prover/z3
|
2018-11-14 14:07:16 -08:00 |
|
Nikolaj Bjorner
|
1cc2cc0143
|
add TBD marker
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-11-14 14:07:14 -08:00 |
|
Nikolaj Bjorner
|
74db2f2509
|
Merge pull request #1939 from msoeken/dotnetcore-fix
Choose runtime for .NET core DLL.
|
2018-11-14 14:06:43 -08:00 |
|
Mathias Soeken
|
690bd8502a
|
Choose runtime for .NET core DLL.
|
2018-11-14 13:47:46 -08:00 |
|
Nikolaj Bjorner
|
2501a875ef
|
update script to generate file directly instead of from makefile
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-11-14 13:44:40 -08:00 |
|
Nikolaj Bjorner
|
c49d71ba66
|
Merge branch 'master' of https://github.com/z3prover/z3
|
2018-11-14 11:43:44 -08:00 |
|
Nikolaj Bjorner
|
139d8b85f0
|
core
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-11-14 11:43:41 -08:00 |
|
Mathias Soeken
|
33363aeb58
|
Fix problem in mk_echo .
|
2018-11-14 11:27:55 -08:00 |
|
Mathias Soeken
|
e39907c481
|
Fix some problems in mk_echo .
|
2018-11-14 11:25:18 -08:00 |
|
Mathias Soeken
|
d4567a1255
|
Fix echo command for Windows.
|
2018-11-14 11:11:25 -08:00 |
|
Mathias Soeken
|
2fbaad15d7
|
Build example for dotnetcore.
|
2018-11-14 09:57:47 -08:00 |
|
Nikolaj Bjorner
|
ccf6ca310e
|
more dotnet core
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-11-13 19:59:46 -08:00 |
|
Nikolaj Bjorner
|
37ec933c66
|
more dotnet core
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-11-13 19:58:42 -08:00 |
|
Nikolaj Bjorner
|
dbd5ef4526
|
more dotnet core
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-11-13 19:58:09 -08:00 |
|
Nikolaj Bjorner
|
bd78558826
|
adding dotnetcore handling
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-11-13 19:51:57 -08:00 |
|
Nikolaj Bjorner
|
225fb82d96
|
add TBD for dotnet example
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-11-13 15:54:37 -08:00 |
|
Nikolaj Bjorner
|
4d0bc8c8b3
|
ignore propagation on units
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-11-11 15:10:44 -08:00 |
|
Nikolaj Bjorner
|
a000747605
|
fixing mk-win-dist to include redist #1924
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-11-10 14:13:43 -08:00 |
|
Nikolaj Bjorner
|
cea15c8780
|
use h_file not fullname in error message
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-11-10 10:13:05 -08:00 |
|
Nikolaj Bjorner
|
82e60ab17a
|
add exception handler for debugging #1925
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-11-10 10:07:42 -08:00 |
|
Nikolaj Bjorner
|
2c8d942568
|
add error if library is not included #1924
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-11-09 18:05:40 -08:00 |
|
Nikolaj Bjorner
|
b02c698284
|
align variable names with dimacs input
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-11-08 16:52:10 -08:00 |
|
Nikolaj Bjorner
|
1bf934e53a
|
Merge pull request #1918 from c-cube/ocaml-release-gc
feat(api/ml): release runtime lock on some long-running functions
|
2018-11-06 15:03:30 -08:00 |
|
Simon Cruanes
|
9121c74c9f
|
feat(api/ml): release runtime lock on some long-running functions
|
2018-11-06 16:23:18 -06:00 |
|
Nikolaj Bjorner
|
0f0287d129
|
prepare release notes
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-10-28 17:42:16 -05:00 |
|
Nikolaj Bjorner
|
52801db3fd
|
more dotnet core prepration
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-10-22 16:28:01 -07:00 |
|
Nikolaj Bjorner
|
540922766d
|
more dotnetcore preparation
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-10-22 12:15:54 -07:00 |
|
Nikolaj Bjorner
|
4616ddf103
|
more prep for dotnet core
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-10-22 11:50:07 -07:00 |
|
Nikolaj Bjorner
|
7c043dee7d
|
more prep for dotnetcore
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-10-22 11:07:17 -07:00 |
|
Nikolaj Bjorner
|
163e1e3e55
|
avoid name clash
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-10-22 11:03:41 -07:00 |
|
Nikolaj Bjorner
|
8a93f34b4a
|
Merge branch 'master' of https://github.com/z3prover/z3
|
2018-10-22 11:00:07 -07:00 |
|
Nikolaj Bjorner
|
81a92edb61
|
prepare to retool
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-10-22 10:59:51 -07:00 |
|
Florian Pigorsch
|
326bf401b9
|
Fix some spelling errors (mostly in comments).
|
2018-10-20 17:07:41 +02:00 |
|
Nikolaj Bjorner
|
694a6a26c9
|
bump version, add double access
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-10-19 20:20:08 -07:00 |
|
Nikolaj Bjorner
|
016872a5e0
|
increment patch
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-10-15 12:44:19 -07:00 |
|
nabice
|
13183b7c7c
|
Ignore current dir when searching for jni
|
2018-10-10 17:12:16 +08:00 |
|
Andrew Helwer
|
7941074fd1
|
Added packaging directions, removed linkresource flag
|
2018-10-06 18:22:55 -07:00 |
|
Nikolaj Bjorner
|
0c4754d94b
|
rename version.h to z3_version.h to differentiate name in install include directory. Add support for z3_version.h in python build system. #1833
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-09-21 20:13:58 -07:00 |
|
Nikolaj Bjorner
|
e041ebbe80
|
bmc improvements, move fd_solver to self-contained directory
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-08-05 10:00:49 -07:00 |
|
Nikolaj Bjorner
|
c247abfc65
|
prepare js output
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-08-03 22:13:25 -07:00 |
|
Nikolaj Bjorner
|
fed977b492
|
fix #1782
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-08-02 10:08:16 -07:00 |
|
Nikolaj Bjorner
|
1cb3f7c792
|
fixing #1520
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-07-28 18:03:13 -07:00 |
|
Nuno Lopes
|
8791f61aa7
|
reduce mem allocation in tactic API
|
2018-07-02 13:41:44 +01:00 |
|
Nikolaj Bjorner
|
0d4b4b30b1
|
change storage layout of .Net binding Z3_bool to byte to deal with uninitialized memory reads on larger allocation sizes. Bug introduced when switching from defining Z3_bool as int to the bool type from stdbool
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-07-02 02:58:06 -07:00 |
|
Nikolaj Bjorner
|
f1d27cd487
|
workaround non-deterministic behavior of is_irrational_numeral test
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-06-29 18:16:32 -07:00 |
|
Nikolaj Bjorner
|
b6c43f6143
|
move files for build script
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-06-15 15:13:55 -07:00 |
|
Nikolaj Bjorner
|
6e27ad42c8
|
remove pdr reference from legacy build script
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-06-15 15:02:50 -07:00 |
|
Nikolaj Bjorner
|
b37a5b1679
|
clean up python build files
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-05-25 10:27:12 -07:00 |
|
Nikolaj Bjorner
|
753b9dd734
|
fix #1650 fix #1648
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
|
2018-05-25 08:56:13 -07:00 |
|