-
Notifications
You must be signed in to change notification settings - Fork 132
Pull requests: esbmc/esbmc
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
[python] Model tuple(list) as a shallow list copy
python
#5307
opened Jun 11, 2026 by
lucasccordeiro
Contributor
Loading…
[python] fix issuperset lowering, attr-list loops, and OM copy blowup
python
#5306
opened Jun 11, 2026 by
lucasccordeiro
Contributor
Loading…
[witness 2.1] add C expression lexer for witness constraints
#5305
opened Jun 11, 2026 by
XLiZHI
Collaborator
Loading…
[irep2] Fix cpp-throw-as-return-value crash under --irep2-bodies
bug
irep
#5304
opened Jun 11, 2026 by
lucasccordeiro
Contributor
Loading…
5 tasks
[om] Allow C++ operational models in the embedded clib (#5298)
C++
Anything related to C++ verification
OM
Operational Model
#5303
opened Jun 11, 2026 by
lucasccordeiro
Contributor
Loading…
[k-induction] Phase 2: havoc resolved pointee objects for pointer-array loops
k-induction
#5268
opened Jun 9, 2026 by
lucasccordeiro
Contributor
Loading…
[Concurrency] Skip context switches on globals that are never written
#5249
opened Jun 8, 2026 by
Anthonysdu
Collaborator
•
Draft
[c++] Rework C++ exception handling: GOTO lowering as the sole path, function-level exception specs, and an operational model
C++
Anything related to C++ verification
symex
#5126
opened Jun 5, 2026 by
mikhailramalho
Collaborator
Loading…
[k-induction] learn next-k hint from goto bounds and IS counter-examples
enhancement
SV-COMP
#5080
opened Jun 3, 2026 by
mikhailramalho
Collaborator
Loading…
5 tasks done
[clang-frontend] bound get_type recursion to avoid stack overflow
clang-c-frontend
#5077
opened Jun 3, 2026 by
lucasccordeiro
Contributor
•
Draft
Revert #4838 (k-induction pointer-invariant havocs): SV-COMP regression
bug
symex
#5024
opened Jun 1, 2026 by
lucasccordeiro
Contributor
Loading…
[ci] add clang sanitizer CI workflow (ASan + UBSan)
CI
#4481
opened May 12, 2026 by
lucasccordeiro
Contributor
Loading…
[interval-analysis] enforce float interval bounds in k-induction base case
abstract interpretation
#4480
opened May 12, 2026 by
lucasccordeiro
Contributor
Loading…
[build] fold coverage job into build-ubuntu on PR
build
#4460
opened May 12, 2026 by
lucasccordeiro
Contributor
Loading…
[symex] include L1/thread in state-hash key
concurrency
#4444
opened May 11, 2026 by
lucasccordeiro
Contributor
Loading…
4 tasks done
Update command line options in esbmc-wrapper.py
#4443
opened May 11, 2026 by
lucasccordeiro
Contributor
Loading…
[om] node-based std::list to fix iterator stability (5 of 10 in #4400)
C++
Anything related to C++ verification
OM
Operational Model
test
All code test related taks/issues
#4422
opened May 10, 2026 by
lucasccordeiro
Contributor
Loading…
OM Verification of
ctype.c, strings.c and string.c
#4300
opened May 5, 2026 by
Yiannis128
Collaborator
•
Draft
[om] add C11 <threads.h> operational model
#4290
opened May 4, 2026 by
Yiannis128
Collaborator
Loading…
[esbmc] fix UB in read_time_spec / read_mem_spec on empty input
#4230
opened Apr 30, 2026 by
lucasccordeiro
Contributor
Loading…
Previous Next
ProTip!
Add no:assignee to see everything that’s not assigned.