Comments (5)
fbrausse
commented on June 10, 2024
I'm good with the current state. No urgent PRs from my side.
from esbmc.
ChenfengWei0
commented on June 10, 2024
I'm also good with the current state.
- The Solidity "mapping and built-in member" PR is nearly done. However, since the
reallocissue is unfixed, I think we should not merge it into 7.6. - The condition coverage PR still needs a lot of improvement and bug fixes. So it should not be merged into 7.6 either.
from esbmc.
brcfarias
commented on June 10, 2024
I don't have any pull requests to consider. I'm ok with the release for ESBMC.
from esbmc.
fbrausse
commented on June 10, 2024
I believe there is nothing left to do here. :)
from esbmc.
lucasccordeiro
commented on June 10, 2024
Many thanks, @fbrausse.
from esbmc.
Related Issues (20)
- [QUESTION] Get SMT formula HOT 5
- CVC4 backend doesn't work for --smt-formula-(only|too) HOT 3
- Update our documentation for SMT formula generation & build instructions HOT 2
- [dereference] check the reduction in correct true results for #1555 HOT 1
- Issues including algorithm with cpp 11 HOT 7
- Wrong release version info HOT 3
- Negation of Unsigned is not being computed correctly HOT 2
- ESBMC frontend for Clarity Smart contracts HOT 2
- [CVC5] building failure HOT 2
- [Ctest] memory usage HOT 5
- std::string not defined via <stdexcept>
- std::round not defined in <cmath>
- Solidity frontend not reporting overflow / underflow for data type smaller than 32-bit HOT 4
- Map property violations to CWEs in ESBMC
- c_link warnings for C++ headers included in multiple source files HOT 3
- Investigate dropping SSA gen during symex HOT 4
- [C++ frontend] duplicate definition of function `operator>>' HOT 1
- Temporary files on systemd based systems should be flock'ed HOT 2
- Unable to run ESBMC on PCIe driver HOT 1
- [cpp-clang] Broken multiple-inheritance HOT 2
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 esbmc.