-
Notifications
You must be signed in to change notification settings - Fork 111
Insights: esbmc/esbmc
Overview
Could not load contribution data
Please try again later
1 Release published by 1 person
-
nightly-39b012f9f7f7dad188708a9eaf4bbbc5faa3b4f7 ESBMC nightly
published
Jun 9, 2025
7 Pull requests merged by 2 people
-
[CI] Integrate cheribsd-riscv64 system root
#2447 merged
Jun 10, 2025 -
[python] handles assertions involving function calls and refactor attribute handling
#2510 merged
Jun 9, 2025 -
[python] Fix compound assignment on object attributes
#2509 merged
Jun 8, 2025 -
[python] add support for transforming general python for loops over iterables
#2508 merged
Jun 7, 2025 -
[python] add support for python built-in function handling
#2507 merged
Jun 6, 2025 -
[python] implement pow symbolically
#2506 merged
Jun 5, 2025 -
[python] enhanced handling of true division
#2505 merged
Jun 5, 2025
5 Pull requests opened by 3 people
-
[solidity] improve "mapping" performance
#2511 opened
Jun 9, 2025 -
Consider the guard when dealing with sideeffects
#2514 opened
Jun 10, 2025 -
[cpp] add support for std::is_sorted and improve vector initialization
#2515 opened
Jun 11, 2025 -
[goto-symex] use size directly
#2516 opened
Jun 11, 2025 -
[cpp] resolve mismatch template deduction errors with pointer types
#2517 opened
Jun 11, 2025
2 Issues closed by 1 person
-
[goto-check] negative shift count
#2459 closed
Jun 10, 2025 -
ESBMC 7.4 crashes during unwinding
#1600 closed
Jun 6, 2025
3 Issues opened by 3 people
-
[Data Races] Incorrect false with no-slice
#2518 opened
Jun 12, 2025 -
Current SV-COMP issues
#2513 opened
Jun 10, 2025 -
[sv-comp] Incorrect False
#2512 opened
Jun 10, 2025
1 Unresolved conversation
Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.
-
[memory-leak] incorrect false
#2373 commented on
Jun 10, 2025 • 0 new comments