mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-23 09:05:31 +00:00
Code Activity
10156 commits 23 branches 48 tags 157 MiB
Commit graph

10156 commits

This branch
This branch
All branches
Author SHA1 Message Date
Nikolaj Bjorner
1a5be0f25e make dotnet core dist optional 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-11-16 15:14:43 -08:00
Nikolaj Bjorner
cfb14c879a make dotnet core dist optional 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-11-16 13:59:00 -08:00
Nikolaj Bjorner
5ebe342da1 add support for keyfiles 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-11-16 13:27:58 -08:00
Nikolaj Bjorner
f4ced3c164 use netstandard1.4 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-11-15 16:40:35 -08:00
Nikolaj Bjorner
4509caf102 build generated files outside of src 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-11-15 16:17:04 -08:00
Nikolaj Bjorner
60d7444c96 build generated files outside of src 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-11-15 16:16:38 -08:00
Nikolaj Bjorner
becf5de872 with Mathias on nuget package generation 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-11-15 16:16:15 -08:00
Nikolaj Bjorner
bb5837791a clean up dotnet core component 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-11-15 11:02:49 -08:00
Nikolaj Bjorner
55dfc79223 Merge branch 'master' of https://github.com/z3prover/z3 2018-11-15 10:36:42 -08:00
Nikolaj Bjorner
8bfeca063d update example build for dotnet core 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-11-15 10:36:27 -08:00
Nikolaj Bjorner
a85a612bae use old-fashined C for test_capi 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-11-15 10:03:43 -08:00
Nikolaj Bjorner
67bd90660e Merge branch 'master' of https://github.com/z3prover/z3 2018-11-15 09:21:10 -08:00
Nikolaj Bjorner
03bb5a085f fix #1940 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-11-15 09:21:03 -08:00
Nikolaj Bjorner
6a9c8a8999 remove spurious string 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-11-14 19:40:56 -08:00
Nikolaj Bjorner
c6c4dc4563 start script on assembling platform binaries to wrap with nuget install 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-11-14 16:57:47 -08:00
Nikolaj Bjorner
4f4463b2b7 update for nuget/core 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-11-14 15:06:24 -08:00
Nikolaj Bjorner
13d1ccfeaf update for nuget/core 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-11-14 14:59:53 -08:00
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
1713259c3d Merge branch 'master' of https://github.com/z3prover/z3 2018-11-14 13:44:45 -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
727929c9af fix test build 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-11-14 12:04:31 -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
Nikolaj Bjorner
d24a642ae0
Merge pull request #1938 from msoeken/dotnetcore-example 
Dotnetcore example
 2018-11-14 11:42:46 -08:00
Nikolaj Bjorner
1f95f97459 Merge branch 'master' of https://github.com/z3prover/z3 2018-11-14 11:31:49 -08:00
Nikolaj Bjorner
52910fa465 fix #1937 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-11-14 11:31:39 -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
eb682c3e39
Merge pull request #1935 from ahelwer/master 
Updated nuget package spec and directions
 2018-11-13 12:28:51 -08:00
Andrew Helwer
c59b331c1f Updated nuget package spec and directions 2018-11-13 12:19:20 -08:00
Nikolaj Bjorner
9b4cf1559d recover error stream from dimacs 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-11-12 15:33:46 -08:00
Nikolaj Bjorner
ef9b46b2e5 fix #1922 - incorrect pretty printing of datatypes 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-11-12 09:21:51 -08:00
Nikolaj Bjorner
8847898a7d add multiline lisp style comments #1932 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-11-12 08:52:51 -08:00
Nikolaj Bjorner
72400f1869 fix #1927 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-11-12 03:43:04 -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
6a72a4fc00 Merge branch 'master' of https://github.com/z3prover/z3 2018-11-11 09:50:59 -08:00
Nikolaj Bjorner
69e2f33ecf undefine min/max #1927 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2018-11-11 09:50:52 -08:00
Nikolaj Bjorner
cc4b26f738
Merge pull request #1930 from agurfinkel/deep_space 
print certificate
 2018-11-11 09:31:38 -08:00
Nikolaj Bjorner
9bd7e8ea7e
Merge pull request #1931 from waywardmonkeys/fix-more-typos 
Fix typos.
 2018-11-11 09:29:45 -08:00