ada/z3
0
0
Fork 0
mirror of https://github.com/AdaCore/z3.git synced 2026-02-12 12:40:40 -08:00
Code Issues Packages Projects Releases Wiki Activity
20,121 Commits 55 Branches 6 Tags
master
Commit Graph

1869 Commits

Author SHA1 Message Date
Nikolaj Bjorner
6efffa0054 renemable Centos AMD nightly 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2025-10-28 18:55:47 -07:00
Nikolaj Bjorner
766eaa3376 disable centos build until resolved 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2025-10-28 15:12:05 -07:00
hwisungi
2bf1cc7d61 Enabling Control Flow Guard (CFG) by default for MSVC on Windows, with options to disable CFG. (#7988) 
* Enabling Control Flow Guard by default for MSVC on Windows, with options to disable it.

* Fix configuration error for non-MSVC compilers.

* Reviewed and updated configuration for Python build and added comment for CFG.
 2025-10-22 14:18:25 +02:00
Copilot
6eee8688c2 Add Windows ARM64 builds to NuGet packages for nightly and release pipelines (#7847) 
* Initial plan

* Add Windows ARM64 builds to NuGet packages for nightly and release pipelines

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>

---------

Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2025-09-03 19:03:51 -07:00
Copilot
449704ef64 Enable ARM64 support in .NET NuGet package (#7846) 
* Initial plan

* Enable ARM64 support in .NET NuGet package by adding Linux ARM64 and macOS ARM64 to os_info mapping

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>

---------

Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2025-09-03 15:20:54 -07:00
Nikolaj Bjorner
1bed5a4306 remove double tweak versioning 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2025-08-26 09:51:11 -07:00
Copilot
300e0ae69e Move VERSION.txt to scripts directory and update all references (#7811) 
* Initial plan

* Move VERSION.txt to scripts/ and update all references

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>

---------

Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2025-08-24 16:36:05 -07:00
Nikolaj Bjorner
7e6e96f6aa remove resources directive again 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2025-08-23 11:44:55 -07:00
Nikolaj Bjorner
12e74783b6 add resources 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2025-08-23 11:40:57 -07:00
Solal Pirelli
4792068517 Attempt at adding the README to the NuGet package (#7807) 
* Attempt at adding README to NuGet package

* Forgot to enable publishing
 2025-08-23 11:15:51 -07:00
Copilot
64419ad85b Update nightly.yaml to match release.yml NuGet tool installer changes (#7810) 
* Initial plan

* Update nightly.yaml to match release.yml NuGet tool installer changes

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>

---------

Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2025-08-23 11:15:21 -07:00
Copilot
265265a68c Create centralized version management with VERSION.txt (#7802) 
* Initial plan

* Create VERSION.txt and update CMakeLists.txt to read version from file

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>

* Complete centralized version management system

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>

* Fix version update script and finalize implementation

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>

* Create centralized version management with VERSION.txt

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>

---------

Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2025-08-20 09:12:33 -07:00
Nikolaj Bjorner
4542fc0b3b update version number to 4.15.4 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2025-08-17 17:09:56 -07:00
Nikolaj Bjorner
a121e6c6e9 enable pypi public 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2025-08-15 16:09:34 -07:00
Copilot
7b8482a093 Remove NugetPublishNightly stage from nightly.yaml (#7787) 
* Initial plan

* Remove NugetPublishNightly stage from nightly.yaml

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>

---------

Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
 2025-08-15 09:51:25 -07:00
Nikolaj Bjorner
174d64c4d9 fix releaseNotesSource to inline 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2025-08-14 14:43:13 -07:00
Nikolaj Bjorner
baa0588fbe remove automata from python build 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2025-08-07 21:07:52 -07:00
Nikolaj Bjorner
fa3d341b18 add on_binding callbacks across APIs 
update release notes,
add to Java, .Net, C++
 2025-08-07 12:55:50 -07:00
Lev Nachmanson
30830aae75 rename a Python file 
Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
 2025-08-07 08:33:04 -07:00
Nikolaj Bjorner
31a30370ac add Z3_solver_propagate_on_binding to ml callback declarations 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2025-08-07 05:53:59 -07:00
Nikolaj Bjorner
b33f444545 add an option to register callback on quantifier instantiation 
Suppose a user propagator encodes axioms using quantifiers and uses E-matching for instantiation. If it wants to implement a custom priority scheme or drop some instances based on internal checks it can register a callback with quantifier instantiation
 2025-08-06 21:11:55 -07:00
Nikolaj Bjorner
195f3c9110 update build dependencies 2025-07-07 16:50:35 +02:00
Nikolaj Bjorner
b1259fb6ce Update nightly.yaml for Azure Pipelines 2025-06-28 16:11:16 -07:00
Nikolaj Bjorner
2f2289eaff update minor version number 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
 2025-06-25 09:14:13 -07:00
Nikolaj Bjorner
bd3e722b6b remove nuget signing steps 2025-06-24 07:18:49 -07:00