mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-07 18:05:21 +00:00
Code Activity
10990 commits 23 branches 48 tags 156 MiB
Commit graph

10990 commits

This branch
This branch
All branches
Author SHA1 Message Date
Nikolaj Bjorner 36e03db0f3 png 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-07 19:29:14 -07:00
Nikolaj Bjorner e0a49dd556 html pages for z3 python tutorial 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-07 19:14:54 -07:00
Nikolaj Bjorner 165c0ef3e1 disable windows validation for now 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-07 17:42:47 -07:00
Nikolaj Bjorner da6e3efa97 try with \ instead of / 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-07 17:28:27 -07:00
Nikolaj Bjorner 51532ba446 remove stale config #2318 thanks @ekpyron 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-07 17:08:22 -07:00
Nikolaj Bjorner cb6d3d2458 increase minimal requirement to 3.4 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-07 17:05:12 -07:00
Nikolaj Bjorner 9d783628db add regression tests to nightly 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-07 16:55:02 -07:00
Nikolaj Bjorner 6bbe924063 try with create action to change commit id 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-07 16:48:59 -07:00
Nikolaj Bjorner bb10854f6a remove non-functional portions 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-07 16:48:21 -07:00
Nikolaj Bjorner 9f02acffbb use tmp 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-07 14:51:33 -07:00
Nikolaj Bjorner bd0ecdd6de omit target path 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-07 14:48:44 -07:00
Nikolaj Bjorner af8f0a7312 try consolidation 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-07 13:50:06 -07:00
Nikolaj Bjorner 37ae0fe7d4 fix parameters 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-07 10:07:14 -07:00
Christoph M. Wintersteiger 998b0ff7f4
Fixed corner-case in fp.rem encoding. Fixes #2289. 2019-06-07 18:03:51 +01:00
Nikolaj Bjorner f065a6b13b try eq syntax 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-07 10:01:06 -07:00
Nikolaj Bjorner 66283a1722 update pipeline 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-07 09:58:35 -07:00
Nikolaj Bjorner 17c894fa62 try matrix 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-06 21:12:49 -07:00
Nikolaj Bjorner 549ccb190a remove obsolete 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-06 20:44:25 -07:00
Nikolaj Bjorner 536f2a1e25 add cmake pipe to mac build 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-06 20:33:41 -07:00
Nikolaj Bjorner 9b4f327e29 set upload mode to replace 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-06 20:03:20 -07:00
Nikolaj Bjorner e0a1db869f consolidate nightly 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-06 18:50:37 -07:00
Nikolaj Bjorner 9fa52153fa remove cz3 builds 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-06 18:19:32 -07:00
Nikolaj Bjorner 16fa1fa5db remove and 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-06 17:42:10 -07:00
Nikolaj Bjorner 7255edf216 remove new_sub 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-06 17:13:59 -07:00
Nikolaj Bjorner 44b0b0148b deal with warnings 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-06 17:13:38 -07:00
Nikolaj Bjorner 4f9a27693d Update nightly-windows.yaml for Azure Pipelines 2019-06-07 02:06:44 +02:00
Nikolaj Bjorner e731a44880
Merge pull request #2329 from Z3Prover/nomp 
Nomp
 2019-06-07 02:05:11 +02:00
Nikolaj Bjorner 2752bb232a Update azure-pipelines.yml for Azure Pipelines 2019-06-07 02:03:46 +02:00
Nikolaj Bjorner 51cca37a3c Update azure-pipelines.yml for Azure Pipelines 2019-06-06 22:20:21 +02:00
Nikolaj Bjorner 82da3493ee fix printing of recursive defs 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-06 13:11:46 -07:00
Nikolaj Bjorner 5764ff243d Update azure-pipelines.yml for Azure Pipelines 2019-06-06 21:59:25 +02:00
Nikolaj Bjorner 1d2eac366a Update azure-pipelines.yml for Azure Pipelines 2019-06-06 20:15:16 +02:00
Nikolaj Bjorner 71009a9d02 suspend limits during assert and macro expansion 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-06 11:07:57 -07:00
Nikolaj Bjorner 9f5dafdd2b Update azure-pipelines.yml for Azure Pipelines 2019-06-06 19:07:10 +02:00
Nikolaj Bjorner 03ba9ec75f Update azure-pipelines.yml for Azure Pipelines 2019-06-06 18:51:08 +02:00
Nikolaj Bjorner 8f70a274e5 Update azure-pipelines.yml for Azure Pipelines 2019-06-06 18:44:32 +02:00
Nikolaj Bjorner 8f61659374 missing argument 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-06 09:20:10 -07:00
Nikolaj Bjorner 16aa50aadc Update azure-pipelines.yml for Azure Pipelines 2019-06-06 18:07:19 +02:00
Nikolaj Bjorner dbbff4e9cd Update azure-pipelines.yml for Azure Pipelines 2019-06-06 18:06:42 +02:00
Nikolaj Bjorner 2da9f943ba Set up CI with Azure Pipelines 
[skip ci]
 2019-06-06 17:38:14 +02:00
Nikolaj Bjorner 783f998892 Update nightly-windows.yaml for Azure Pipelines 2019-06-06 17:31:18 +02:00
Nikolaj Bjorner 8f1325d5c5 Update nightly-ubuntu.yaml for Azure Pipelines 2019-06-06 17:29:23 +02:00
Nikolaj Bjorner 2d75bf9d12 edit 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-05 23:47:53 -07:00
Nikolaj Bjorner 7c1e935bc2 rlimit mux 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-05 22:17:09 -07:00
Nikolaj Bjorner f0f37411a2 macos 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-05 20:15:11 -07:00
Nikolaj Bjorner dc452b92e1 update tag 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-05 20:11:00 -07:00
Nikolaj Bjorner 87116b7086 Merge branch 'nomp' of https://github.com/z3prover/z3 into nomp 2019-06-05 19:40:31 -07:00
Nikolaj Bjorner 75b92df1d0 change cp command 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-05 19:40:24 -07:00
Nikolaj Bjorner 7c034827cb Update nightly-ubuntu.yaml for Azure Pipelines 2019-06-06 04:15:43 +02:00
Nikolaj Bjorner ae93469e17 Set up CI with Azure Pipelines 
[skip ci]
 2019-06-06 02:29:06 +02:00