Skip to content

Pull requests: esbmc/esbmc

New pull request New
72 Open 898 Closed
72 Open 898 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

[python-frontend] Operational model for int.from_bytes()
#1843 opened May 18, 2024 by brcfarias Loading…
11
Remove <utility> header
C++ Anything related to C++ verification OM Operational Model
#1838 opened May 16, 2024 by fbrausse • Draft
SSA feature extractor
#1811 opened May 3, 2024 by rafaelsamenezes Loading…
13
Support (cross-)compiling for mingw64
blocked windows
#1810 opened May 3, 2024 by fbrausse • Draft
4
[Help needed] [clang-cpp] Support ArrayInitLoopExpr
#1793 opened Apr 23, 2024 by intrigus-lgtm Loading…
1
8
Fix recursive structs in templates #1782
#1783 opened Apr 14, 2024 by intrigus-lgtm Loading…
5
SMTLIB output validation suite
#1741 opened Mar 14, 2024 by rafaelsamenezes Loading…
4
Prevented out-of-bounds access for domain
#1730 opened Mar 4, 2024 by rafaelsamenezes Loading…
Interval Analysis during symbolic execution
#1722 opened Feb 27, 2024 by rafaelsamenezes • Draft
7 tasks
[Coverage] Support Condition Coverage
#1720 opened Feb 27, 2024 by ChenfengWei0 Loading…
29
[C operational models] improved efficiency of strcmp
#1718 opened Feb 26, 2024 by lucasccordeiro Loading…
1
regdb: allow complete formulas in queries
#1690 opened Feb 19, 2024 by fbrausse • Draft
4
Support for extracting test labels
#1673 opened Feb 12, 2024 by rafaelsamenezes • Draft
Support for explicit sliceable assumes
#1668 opened Feb 12, 2024 by rafaelsamenezes • Draft
1
12
[Solidity] Tuple Support
#1647 opened Feb 6, 2024 by JacobYiu • Draft
11
[mpor] clean commit message
#1646 opened Feb 6, 2024 by Anthonysdu Loading…
5
Android Support
jimple
#1643 opened Feb 5, 2024 by rafaelsamenezes • Draft
Update esbmc-wrapper.py
#1642 opened Feb 5, 2024 by lucasccordeiro Loading…
11
Slicer support for Arrays/Structs
#1617 opened Jan 22, 2024 by rafaelsamenezes • Draft
7
enable regression tests for the ARM64 build
CI
#1581 opened Jan 6, 2024 by fbrausse • Draft
2
Don't abort when we can't find a string constant
#1562 opened Dec 26, 2023 by mikhailramalho • Draft
4
Drop builtin prefix when we don't support it
#1561 opened Dec 26, 2023 by mikhailramalho • Draft
Use SV-COMP build for running the benchmarks in the CI
CI needs-svcomp-run
#1534 opened Dec 2, 2023 by fbrausse • Draft
[interval-analysis] --interval-anaylsis-csv-dump now produce compressed files
#1448 opened Nov 3, 2023 by Mohannad-Aldughaim Loading…
11
Wrapper: adapt for sv-benchmark's MR 1470
SV-COMP
#1443 opened Nov 2, 2023 by fbrausse • Draft
8
ProTip! Filter pull requests by the default branch with base:master.