Comments (5)
elfring
commented on July 25, 2024
Are there any more update candidates left over?
from z3.
nunoplopes
commented on July 25, 2024
The fix was done on the unstable branch, not on master. I did a grep and there's nothing fundamental left behind.
from z3.
elfring
commented on July 25, 2024
How do think about to clean-up the use of double underscores in more identifiers?
Would you like to tamper with the reserved name space even less in your code base?
from z3.
nunoplopes
commented on July 25, 2024
Of course we aim to have fully well-defined code, which I'm sure we don't have at the moment.
Please feel to give concrete suggestions about what needs fixing. Thanks!
from z3.
elfring
commented on July 25, 2024
Examples for further update candidates:
DDNF__H_SCOPED_PROOF__H_Z3_PRIVATE__H_
from z3.
Related Issues (20)
- [feature request] output only necessary bindings HOT 1
- How to introduce Z3 in Visual Studio
- questions about the architecture of some release versions HOT 2
- Simplification yields f/n applied to x₁...xₘ with m≠n HOT 1
- RISC V build failures
- Z3 prover: this Smtlib shoud not be SAT because last assert, why? HOT 1
- [api bug?] Error("invalid argument") whenever no expr update
- ASSERT and python crashes HOT 3
- Performance regression on QF_NIA HOT 1
- Nested construction terms problem HOT 5
- z3 solver check call hangs when solver is created with smt tactic HOT 1
- Select one bit in BitVec
- C++23 compatibility HOT 1
- Undetermined value in Z3?
- Linux arm64 build is actually an x86_64 build HOT 3
- Last package available for Ubuntu via apt is 4.8.12 HOT 1
- Missing universes for uninterpreted sorts HOT 2
- 4.8.5 and 4.13.0 hang on example that works in 4.6.0 (linear constraints with int variables)
- ASSERTION VIOLATION, File: ../src/qe/qsat.cpp Line: 655
- Huge performance issue solved by tiny inlining
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.