Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Can you merge the new ML API from the unstable branch into the master branch? #30

Closed
UnixJunkie opened this issue Apr 8, 2015 · 3 comments
Closed

Can you merge the new ML API from the unstable branch into the master branch? #30

UnixJunkie opened this issue Apr 8, 2015 · 3 comments

Comments

@UnixJunkie
Copy link

No description provided.

@Drup
Copy link
Contributor

Drup commented Apr 8, 2015

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!

@wintersteiger
Copy link
Contributor

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.

@wintersteiger
Copy link
Contributor

Closing this issue, everything's on track, but we don't have an exact data for the next master release yet.

NikolajBjorner added a commit to NikolajBjorner/z3 that referenced this issue Oct 19, 2016
@NikolajBjorner @levnach
added fixed equality propagation functionality (Z3Prover#30)
ca07c5e 
* local changes

Signed-off-by: Nikolaj Bjorner <[email protected]>

* add bound extraction for variables

Signed-off-by: Nikolaj Bjorner <[email protected]>

* adding fixed equality propagation

Signed-off-by: Nikolaj Bjorner <[email protected]>

* adding fixed equality propagation

Signed-off-by: Nikolaj Bjorner <[email protected]>

* adding fixed equality propagation

Signed-off-by: Nikolaj Bjorner <[email protected]>
@chadbrewbaker chadbrewbaker mentioned this issue Nov 13, 2016
Closed
@levnach levnach mentioned this issue Nov 28, 2018
Closed
@5hadowblad3 5hadowblad3 mentioned this issue Mar 16, 2020
Closed
@NikolajBjorner NikolajBjorner mentioned this issue Apr 1, 2020
Closed
@rainoftime rainoftime mentioned this issue Apr 6, 2020
Closed
@rammohan02 rammohan02 mentioned this issue Feb 10, 2024
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@UnixJunkie @Drup @wintersteiger