Comments (3)
Drup
commented on July 25, 2024
While we are at it, making the opt branch up to date with the unstable one would be very useful for me.
Edit: woops, nvm, it was done just a week ago!
from z3.
wintersteiger
commented on July 25, 2024
Yes all of this will happen over the next few months as we prepare the next master release. After that (at the latest) we will switch to the different model of updating the master branch more often, until then we will collect everything in the unstable branch before we release, so bear with us for a little bit as we transition.
from z3.
wintersteiger
commented on July 25, 2024
Closing this issue, everything's on track, but we don't have an exact data for the next master release yet.
from z3.
Related Issues (20)
- Python bindings: poor performance when loading large instances HOT 1
- Recent OSX wheels cannot be installed on Intel HOT 6
- Nuget.org feed is not updated with last versions of Microsoft.Z3 HOT 3
- Segemation fault when quantifying over polymorphic function
- Arm64 binaries for Windows HOT 3
- Problems solved by z3-python HOT 1
- A simple regex constraint for which dZ3 returns unknown
- fp.roundToIntegral gives invalid zero_extend application
- Z3Py is returning UNSAT for SAT instances involving the string solver. HOT 1
- Bug Discovery in Z3 Python; Resolution Found in Z4 Project HOT 2
- error while loading shared libraries: libz3.so HOT 1
- [NodeJS] Z3 doesn't seem to clean up threads/workers after finishing its job HOT 2
- /usr/local/include/z3++.h:2458: error: undefined reference to 'Z3_is_seq_sort' HOT 1
- Enhancing Z3's Multi-Precision Capabilities for Advanced Mathematical Computations HOT 1
- why the linux package (apt) z3 version is so old? HOT 1
- How to reduce the size of the generated dynamic library file libz3.dll HOT 1
- Wrong or no results on reversing xorshift128+ HOT 1
- Question of quantifier instantiation strategies HOT 2
- Error when calling CharFromBv from Python API
- Refutational Soundness issue HOT 1
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from z3.