Skip to content

Issues: diffblue/2ls

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

53 Open 29 Closed
53 Open 29 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
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

An Unknown Instance of Loop Invariant?
#178 opened Apr 23, 2024 by sjxer723
@peterschrammel
1
Is kInduction imprecise?
#177 opened Apr 19, 2024 by Novak756
@peterschrammel
2
Support array memcpy
#160 opened Jan 14, 2022 by viktormalik
Assertion `!(pointer && arithmetics)' failed
#159 opened Jan 5, 2022 by blizzard4591
1
Large arrays cause false positives
#135 opened Nov 26, 2018 by viktormalik
Heap-zones: fixing one variable in a difference row causes the other one to be fixed, too.
#131 opened Oct 15, 2018 by viktormalik
2
False negative with k-Induction and incremental BMC
#123 opened Aug 21, 2018 by lu-w
Implement stronger shape domain.
#121 opened Aug 3, 2018 by viktormalik
Extend non-termination analysis to recursion enhancement task
#118 opened Dec 30, 2017 by peterschrammel
Extend termination analysis to recursion enhancement task
#117 opened Dec 30, 2017 by peterschrammel
Fix ssa_inlinert w.r.t. recursion bug kIkI
#116 opened Dec 30, 2017 by peterschrammel
Implement Houdini enhancement task
#115 opened Dec 30, 2017 by peterschrammel
Try interpolants enhancement task
#114 opened Dec 30, 2017 by peterschrammel
Try SMT backends enhancement task
#113 opened Dec 30, 2017 by peterschrammel
Implement summary/invariant export interface enhancement task
#112 opened Dec 30, 2017 by peterschrammel
Fix __CPROVER_template annotations bug enhancement
#111 opened Dec 30, 2017 by peterschrammel
Implement an efficient combination of intervals and (dis)equalities enhancement task
#110 opened Dec 30, 2017 by peterschrammel
Implement a generic solver enhancement task
#109 opened Dec 30, 2017 by peterschrammel
Make local_SSAt applicable to blocks enhancement task
#108 opened Dec 30, 2017 by peterschrammel
Make local_SSAt incremental w.r.t. unfoldings enhancement task
#107 opened Dec 30, 2017 by peterschrammel
Extend SSA to properly support backward analysis enhancement task
#105 opened Dec 30, 2017 by peterschrammel
Check tests marked KNOWNBUG bug task
#104 opened Dec 30, 2017 by peterschrammel
Merge 2LS prerequisites into CBMC develop enhancement task
#103 opened Dec 30, 2017 by peterschrammel
Dependent property assumptions conflict with k-induction assumptions bug kIkI
#102 opened Dec 30, 2017 by peterschrammel
Unwound SSA has incorrect guards for return from loop body bug kIkI
#101 opened Dec 30, 2017 by peterschrammel
ProTip! Add no:assignee to see everything that’s not assigned.