mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-06 01:24:08 +00:00
Code Activity
15642 commits 22 branches 48 tags 156 MiB
Commit graph

91 commits

Author SHA1 Message Date
Nikolaj Bjorner 9122ec9cd6 comment out for now 2021-08-18 14:52:59 -07:00
Nikolaj Bjorner 93c3fc2bda try without semi-colon 2021-08-18 14:52:12 -07:00
Nikolaj Bjorner 2492278a4b Update test for java 2021-08-18 13:32:51 -07:00
Nikolaj Bjorner 810b9d003d move examples to python based build 2021-08-18 10:06:02 -07:00
Nikolaj Bjorner 55f5603714 remove coverage job from azure-pipeline as it is now in a self-contained action 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-07-31 17:17:00 -07:00
0152la 72d3074a44
Add Ubuntu CMake Coverage CI step (#5442) 
Adds an extra step to CI jobs which executes the Z3 test suite with
coverage enabled, and additionally executed coverage-enhancing tests
added to z3test.
 2021-07-29 11:29:49 -07:00
Nuno Lopes d6ce9cce95 fix clang warnings 2021-02-19 10:59:22 +00:00
Nikolaj Bjorner 7068ccdebd have nightly generate doc 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-01-27 16:01:42 -08:00
Nikolaj Bjorner 987efced76 upgrade compilers 2021-01-21 14:25:08 -08:00
Nikolaj Bjorner 80033a5527 na 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-01-19 23:21:47 -08:00
Nikolaj Bjorner 7c34a54e8a try different command-line 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2021-01-19 04:28:22 -08:00
Nikolaj Bjorner bb3faf527c Update azure-pipelines.yml for Azure Pipelines 2020-12-07 10:34:50 -08:00
Nikolaj Bjorner b3366bae5a remove test-examples from MacOS build, re-add maxsat example 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2020-05-19 13:52:44 -07:00
Nikolaj Bjorner 5fe0eeda63 disable regressions in ST mode 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2020-05-19 09:37:06 -07:00
Alexey Vishnyakov 6d96f96cc3
Fix single threaded azure pipeline (#4329) 2020-05-15 08:50:47 -07:00
Nikolaj Bjorner b81ab94db7
pipeline with release mode (#4206) 
* pipeline with release mode

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>

* na

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2020-05-04 12:30:03 -07:00
Nikolaj Bjorner 2a93ac3d81 fix #4200 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2020-05-03 18:10:26 -07:00
Nikolaj Bjorner 6f48c9ce51 na 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2020-05-03 17:27:26 -07:00
Nikolaj Bjorner 3473decb74 na 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2020-05-03 17:27:26 -07:00
Nikolaj Bjorner 6a540e8429
add Julia to pipeline (#4199) 
* add Julia to pipeline

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>

* na

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>

* na

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2020-05-03 17:16:46 -07:00
ahumenberger 269522127b
[Julia bindings] Changes for libcxxwrap 0.7 (#4184) 
* First steps toward adding Julia bindings

* Simplifications

* Streamlining

* Friends of tactic and probe

* Add missing functions

* Update azure-pipelines.yml for Azure Pipelines

* Update azure-pipelines.yml for Azure Pipelines

* Update azure-pipelines.yml for Azure Pipelines

* Update azure-pipelines.yml for Azure Pipelines

* Changes for CxxWrap v0.9.0

* Wrap enumeration and tuple sort

* Wrap z3::fixedpoint

* Wrap z3::optimize

* Wrap missing functions

* Fix aux types

* Add some missing functions

* Revert "Update azure-pipelines.yml for Azure Pipelines"

This reverts commit 5aab9f9240.

* Revert "Update azure-pipelines.yml for Azure Pipelines"

This reverts commit cfccd7ca2c.

* Revert "Update azure-pipelines.yml for Azure Pipelines"

This reverts commit f24740c595.

* Revert "Update azure-pipelines.yml for Azure Pipelines"

This reverts commit 592499eaa0.

* Checkout current version of pipeline

* Build Julia bindings on macOS

* Extract components of algebraic number

* Add type to C API function name

* Remove blank line

* Typo in doc

* Return Z3_ast_vector containing coefficients

* Update Julia bindings
 2020-05-02 05:14:09 -07:00
ahumenberger df1b308dd0
Julia bindings (#3228) 
* First steps toward adding Julia bindings

* Simplifications

* Streamlining

* Friends of tactic and probe

* Add missing functions

* Update azure-pipelines.yml for Azure Pipelines

* Update azure-pipelines.yml for Azure Pipelines

* Update azure-pipelines.yml for Azure Pipelines

* Update azure-pipelines.yml for Azure Pipelines

* Changes for CxxWrap v0.9.0

* Wrap enumeration and tuple sort

* Wrap z3::fixedpoint

* Wrap z3::optimize

* Wrap missing functions

* Fix aux types

* Add some missing functions

* Revert "Update azure-pipelines.yml for Azure Pipelines"

This reverts commit 5aab9f9240.

* Revert "Update azure-pipelines.yml for Azure Pipelines"

This reverts commit cfccd7ca2c.

* Revert "Update azure-pipelines.yml for Azure Pipelines"

This reverts commit f24740c595.

* Revert "Update azure-pipelines.yml for Azure Pipelines"

This reverts commit 592499eaa0.

* Checkout current version of pipeline

* Build Julia bindings on macOS
 2020-03-10 09:16:34 -07:00
Nikolaj Bjorner 5a357f9998 fixup build of example 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2020-02-27 14:34:44 -08:00
Nikolaj Bjorner 58414ca6df create 18 pipeline 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2020-02-27 14:33:08 -08:00
Nikolaj Bjorner da1a149425 create 18 pipeline 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2020-02-27 14:33:08 -08:00
Nikolaj Bjorner d7034bde25 create 18 pipeline 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2020-02-27 14:33:08 -08:00
Nikolaj Bjorner b7e14b1a08 create 18 pipeline 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2020-02-27 14:33:08 -08:00
Nikolaj Bjorner 56e148d4af create 18 pipeline 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2020-02-27 14:33:08 -08:00
Nikolaj Bjorner ed26a7267c create 18 pipeline 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2020-02-27 14:33:08 -08:00
Nikolaj Bjorner ced2a0281b add ml 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2020-02-27 14:33:08 -08:00
Nikolaj Bjorner f962dc8b00 disable msan build 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2020-02-19 06:44:31 -08:00
Nikolaj Bjorner fc4c1dac25 skip debug test for macos build 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2020-02-03 09:10:03 -08:00
Nikolaj Bjorner d14b083bc9 disable regressions from msan 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-11-26 19:50:09 -08:00
Nikolaj Bjorner 07dcb0a98b
Merge pull request #2477 from evmaus/master 
MSAN Integration Build
 2019-11-26 09:31:23 -08:00
Nikolaj Bjorner 2673235dc3 rename additional build options #2709 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-11-18 22:55:37 -08:00
Michał Janiszewski 9ae1a6f061 Add MSVC ARM64 job to Azure Pipelines 2019-10-24 15:19:53 -07:00
Nikolaj Bjorner 8c8a8cee7a add build step to generate doc 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-10-11 13:12:14 -07:00
Nikolaj Bjorner 66b38eac9f add back dotnet after adding ;*.cs to path 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-10-07 20:07:55 -07:00
Nikolaj Bjorner 5fa177a650 remove --dotnet from Ubuntu due to 3.0 .Net core issues 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2019-10-07 17:41:39 -07:00
Everett Maus 73083977e2 Trying a different clang version that should be installed 2019-08-12 17:31:57 -07:00
Everett Maus 8e3f5b0c1d Add MSAN_SYMBOLIZER_PATH to the environment to get symbolization 2019-08-12 15:56:50 -07:00
Everett Maus ec36e232e5 Fixing a spacing issue when undoing a comment 2019-08-09 10:34:42 -07:00
Everett Maus 42b557cf90 Restoring commented out template 2019-08-09 10:33:47 -07:00
Everett Maus f1a713a116 Restoring commented out pipelines 2019-08-09 09:17:17 -07:00
Everett Maus d01aa01ec9 And some includes now. 2019-08-08 21:00:39 -07:00
Everett Maus 1ff11b36bd More syntax errors... 2019-08-08 20:54:29 -07:00
Everett Maus 0d89c02486 Missed a paren as well. 2019-08-08 20:53:47 -07:00
Everett Maus 85601453cd Missed a colon. 2019-08-08 20:52:25 -07:00
Everett Maus 179242ed29 More template changes... 2019-08-08 20:50:19 -07:00
Everett Maus 2bcd3280fa Testing a new configuration 2019-08-08 20:40:54 -07:00