mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-22 00:26:38 +00:00
Code Activity
10888 commits 23 branches 48 tags 157 MiB
Commit graph

10888 commits

This branch
This branch
All branches
Author SHA1 Message Date
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
fdfb9e4fd5 Merge branch 'master' of https://github.com/z3prover/z3 2019-06-05 16:10:31 -07:00
Nikolaj Bjorner
aabc54409c change printing directires 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-05 16:10:22 -07:00
Nikolaj Bjorner
a8b02ddb93 fix #2323 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-05 13:43:45 -07:00
Nikolaj Bjorner
1ca3381390 fix #2319 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-05 09:42:19 -07:00
Nikolaj Bjorner
2788f72bbb don't lose equalities over ite, #2317 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-04 20:32:24 -07:00
Nikolaj Bjorner
8140edfd59 Update azure-pipeline.vs.yaml for Azure Pipelines 2019-06-04 12:16:22 +02:00
Nikolaj Bjorner
da2fcac272 other path? 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-03 16:32:15 -07:00
Nikolaj Bjorner
dd4088dd25 update path 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-03 16:15:30 -07:00
Nikolaj Bjorner
ea7f2b788e Update azure-pipeline.vs.yaml for Azure Pipelines 2019-06-04 01:11:28 +02:00
Nikolaj Bjorner
5d3cf4d661 Update azure-pipeline.vs.yaml for Azure Pipelines 2019-06-04 01:09:52 +02:00
Nikolaj Bjorner
471929ded4 Update azure-pipeline.vs.yaml for Azure Pipelines 2019-06-04 01:04:58 +02:00
Nikolaj Bjorner
be570c212f add windist cmd 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-03 16:04:15 -07:00
Nikolaj Bjorner
bdea36036d Update azure-pipeline.vs.yaml for Azure Pipelines 2019-06-04 00:51:07 +02:00
Nikolaj Bjorner
31b34310f1 Update azure-pipeline.vs.yaml for Azure Pipelines 2019-06-04 00:46:50 +02:00
Nikolaj Bjorner
115e6e9efe Update azure-pipeline.vs.yaml for Azure Pipelines 2019-06-04 00:46:09 +02:00
Nikolaj Bjorner
3297ab181e Update azure-pipeline.vs.yaml for Azure Pipelines 2019-06-04 00:45:18 +02:00
Nikolaj Bjorner
5ea5cf4937 Update azure-pipeline.vs.yaml for Azure Pipelines 2019-06-04 00:42:35 +02:00
Nikolaj Bjorner
35e2e6c82c Update azure-pipeline.vs.yaml for Azure Pipelines 2019-06-04 00:37:30 +02:00
Nikolaj Bjorner
5ae1de314d Update azure-pipeline.vs.yaml for Azure Pipelines 2019-06-04 00:11:16 +02:00
Nikolaj Bjorner
f2098dc863 vs pipeline 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-03 15:08:03 -07:00
Nikolaj Bjorner
53514281d2 vs2017 pipeline 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-03 14:56:33 -07:00
Nikolaj Bjorner
d19eae1876 pipe v1 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-03 12:41:43 -07:00
Nikolaj Bjorner
11d7fca4d6 integrating another update by jfc 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-03 08:15:11 -07:00
Nikolaj Bjorner
8cc92e0730 remove stale file 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-02 19:23:04 -07:00
Nikolaj Bjorner
1155a29c6e spelling 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-02 17:26:49 -07:00
Nikolaj Bjorner
51b75a132c signed char -> int, update mk_util to catch warnings on fptest, thanks to jfc 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-02 17:22:36 -07:00
Nikolaj Bjorner
6fdef691e5 fix #2316 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-02 16:37:38 -07:00
Nikolaj Bjorner
1d46d5c870 use signed char per porting issue for ARM/64 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-02 15:53:32 -07:00
Nikolaj Bjorner
cccd37101e fix #2314 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-06-01 20:34:58 -07:00
Nikolaj Bjorner
14923bad52
Merge pull request #2315 from waywardmonkeys/reduce-copies 
Use const& to reduce copies.
 2019-06-02 05:04:21 +02:00
Bruce Mitchener
a12de12515 Use const& to reduce copies. 2019-06-02 09:58:32 +07:00
Nikolaj Bjorner
62de187d02
Merge pull request #2311 from waywardmonkeys/fix-reorder-warning 
Fix -Wreorder warning.
 2019-06-02 02:57:24 +02:00
Nikolaj Bjorner
3c3e5d7f7d
Merge pull request #2313 from waywardmonkeys/fix-cppapi-comment-typo 
Fix C++ API comment typo.
 2019-06-02 02:56:52 +02:00
Nikolaj Bjorner
a6db02c6e3
Merge pull request #2312 from waywardmonkeys/fix-unused-variable-warning 
Fix some unused variable warnings.
 2019-06-02 02:56:32 +02:00
Bruce Mitchener
17a0d75436 Fix C++ API comment typo. 2019-06-01 15:57:56 +07:00
Bruce Mitchener
960b8566f5 Fix some unused variable warnings. 2019-06-01 15:45:17 +07:00
Bruce Mitchener
759811b308 Fix -Wreorder warning. 2019-06-01 15:44:21 +07:00
Nikolaj Bjorner
60e4cad7f1 increase minor version number 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-05-31 17:01:42 -07:00
Nikolaj Bjorner
01f6489892 fix #2310 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-05-31 16:22:49 -07:00
Nikolaj Bjorner
dd452e0ac1 eq 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-05-31 15:29:27 -07:00
Nikolaj Bjorner
e79542cc68 fix #2309 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-05-31 07:46:11 -07:00
Nikolaj Bjorner
f1dee935d0 remove UNREACHABLE 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-05-30 17:07:00 -07:00