-
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
4 Releases published by 1 person
-
nightly-4e14ba5326017d98caf07dd16ebfa2c92396d932 ESBMC nightly
published
May 19, 2025 -
nightly-97c1e1f45ee154cbd0a0cbc8abed3059c1d671e7 ESBMC nightly
published
May 26, 2025 -
nightly-702b6f4ad195e984cf2917165eb64df53f9f18f9 ESBMC nightly
published
Jun 2, 2025 -
nightly-39b012f9f7f7dad188708a9eaf4bbbc5faa3b4f7 ESBMC nightly
published
Jun 9, 2025
61 Pull requests merged by 7 people
-
[c++] fix deque iterator increment operators binding to temporary
#2523 merged
Jun 13, 2025 -
[c++] fix multiset constructor ambiguity
#2522 merged
Jun 12, 2025 -
[c++] fix map::insert() to accept temporary pair objects
#2521 merged
Jun 12, 2025 -
[cpp] Fix vector const_reverse_iterator implementation for reverse iteration support
#2520 merged
Jun 12, 2025 -
[c++] implement missing ostreambuf_iterator methods for STL algorithm support
#2519 merged
Jun 12, 2025 -
[cpp] add support for std::is_sorted and improve vector initialization
#2515 merged
Jun 12, 2025 -
[cpp] resolve mismatch template deduction errors with pointer types
#2517 merged
Jun 12, 2025 -
[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 -
[CHERI] hide compressed/decompressed trace
#2504 merged
Jun 4, 2025 -
[python] Handle string annotations like -> int
#2495 merged
Jun 3, 2025 -
[smt] don't access vector out of bounds
#2502 merged
Jun 2, 2025 -
[python] enhanced string comparison handling
#2497 merged
Jun 2, 2025 -
[built-in] model builtin clzll using constraints
#2501 merged
Jun 2, 2025 -
CPROVER migration compatibility
#2443 merged
Jun 2, 2025 -
[regression] Show warning when KNOWNBUG tests stop failing
#2496 merged
Jun 2, 2025 -
[python] improved return type inference
#2494 merged
Jun 1, 2025 -
[numpy] disallow 3D or higher-dimensional arrays
#2492 merged
Jun 1, 2025 -
[python] support for "NoneType"
#2493 merged
May 31, 2025 -
[python] simplified is operator
#2490 merged
May 31, 2025 -
[python] add support for numpy.dot() with 1D and mixed-dimension arrays
#2489 merged
May 31, 2025 -
[python] add support for Is and IsNot operators
#2480 merged
May 31, 2025 -
[python] Add numpy.matmul
#2487 merged
May 30, 2025 -
Revert "Revert "[build] fix solvers gmp library link""
#2486 merged
May 30, 2025 -
Revert "[build] fix solvers gmp library link"
#2485 merged
May 29, 2025 -
[python] add support for bytes literals and indexing
#2484 merged
May 29, 2025 -
[build] fix solvers gmp library link
#2483 merged
May 29, 2025 -
[CHERI] support the verification of CHERI capability bounds
#2464 merged
May 29, 2025 -
[C verification] Adjust the behavior of parameter checking for the unknown method
#2479 merged
May 28, 2025 -
Disabled broken solvers for benchexec CI
#2481 merged
May 28, 2025 -
[python] improved support for power operator (**)
#2478 merged
May 28, 2025 -
[symex] removed temporary fix for the condition coverage
#2477 merged
May 27, 2025 -
[python] Handling numpy functions
#2474 merged
May 26, 2025 -
[Solidity] Refactoring Mapping
#2468 merged
May 25, 2025 -
[python] improve range() handling
#2473 merged
May 25, 2025 -
[SMT solver] Updated Bitwuzla from v0.7.0 to v0.8.0
#2472 merged
May 25, 2025 -
[python] Allow variables in NumPy math function calls
#2469 merged
May 23, 2025 -
[python-frontend] Handling array literals
#2467 merged
May 22, 2025 -
[python] Improve abs() handling
#2466 merged
May 22, 2025 -
[python] Handle function calls used as arguments
#2465 merged
May 22, 2025 -
[python] build symbolic multiplication tree for power/pow functions
#2462 merged
May 21, 2025 -
[python] Handling NumPy dot product
#2460 merged
May 21, 2025 -
[Python] Extend support for compound assignment statements
#2458 merged
May 21, 2025 -
Update BUILDING.md
#2454 merged
May 19, 2025 -
[python] Set location for the conditional statement
#2453 merged
May 19, 2025 -
[concurrency] : add support for pthread_cleanup_push and pthread_cleanup_pop
#2450 merged
May 19, 2025 -
[Solidity] Add support for the library entity
#2394 merged
May 16, 2025 -
[OM] Fix warning messages for pthread and setjmp models
#2448 merged
May 15, 2025 -
Fix bounds computation for multi-dimensional arrays
#2446 merged
May 15, 2025 -
[numpy] enhance numpy math function verification coverage
#2445 merged
May 14, 2025 -
[numpy] Add support for numpy.arccos() and some fixes
#2444 merged
May 14, 2025 -
[python] add support and error checking for Python abs() builtin function
#2441 merged
May 13, 2025 -
[solidity] fix reentry attack checks
#2422 merged
May 13, 2025 -
[libm] fix acos function
#2442 merged
May 13, 2025 -
[python] added test cases for numpy math functions
#2437 merged
May 13, 2025
7 Pull requests opened by 5 people
-
[CI] migrated to Ubuntu 24.04
#2449 opened
May 15, 2025 -
[Solidity] Add support for "modifier" entity
#2455 opened
May 19, 2025 -
FP_ir_NaN_Support
#2470 opened
May 23, 2025 -
[smt] support floating-point equality semantics in real encoding mode (EXPERIMENTAL!)
#2471 opened
May 24, 2025 -
[solidity] improve "mapping" performance
#2511 opened
Jun 9, 2025 -
Consider the guard when dealing with sideeffects
#2514 opened
Jun 10, 2025 -
[goto-symex] use size directly
#2516 opened
Jun 11, 2025
10 Issues closed by 2 people
-
[C++ frontend] error: no member named 'is_sorted' in namespace 'std'
#2273 closed
Jun 12, 2025 -
[goto-check] negative shift count
#2459 closed
Jun 10, 2025 -
ESBMC 7.4 crashes during unwinding
#1600 closed
Jun 6, 2025 -
ESBMC 7.8 segmentation fault
#2236 closed
Jun 3, 2025 -
ESBMC-Python crashes with 3d array
#2491 closed
Jun 1, 2025 -
[Solidity] ESBMC Unable to Complete for One Solidity Contract Verification
#2456 closed
May 20, 2025 -
[Python] Missing location information for if-statement
#2452 closed
May 19, 2025 -
[Concurrency] Add support for pthread_cleanup_push and pthread_cleanup_pop
#1219 closed
May 19, 2025 -
[dereference] incorrect bounds computation for multi-dimensional array
#2440 closed
May 15, 2025 -
[libm] investigate acos from libm
#2439 closed
May 13, 2025
10 Issues opened by 5 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 -
Enable sanitizers builds
#2499 opened
Jun 2, 2025 -
Solvers broken for Ubuntu 22.04 builds
#2482 opened
May 28, 2025 -
Move GOTO generation utilities into utils
#2476 opened
May 27, 2025 -
Difficulty Debugging ESBMC - Variable Values Not Displaying
#2475 opened
May 26, 2025 -
Verification of program with loops takes forever
#2463 opened
May 21, 2025 -
Map CPROVER memory primitives into ESBMC
#2457 opened
May 20, 2025 -
[concurrency] add support for pthread_cancel
#2451 opened
May 18, 2025
2 Unresolved conversations
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.
-
[MacOS M3] Error during esbmc solidity build
#2401 commented on
May 20, 2025 • 0 new comments -
[memory-leak] incorrect false
#2373 commented on
Jun 10, 2025 • 0 new comments