boogie-org / corral Public

Notifications You must be signed in to change notification settings
Fork 29
Star 58

Code
Issues 37
Pull requests 3
Actions
Projects
Wiki
Security
Insights

Additional navigation options

Code
Issues
Pull requests
Actions
Projects
Wiki
Security
Insights

Issues: boogie-org/corral

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.

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

37 Open 56 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

Assigned to nobody

Sort

Sort by

Newest Oldest Most commented Least commented Recently updated Least recently updated Best match

Most reactions

Issues list

Which tests should we run in CI? question

#164 opened Mar 8, 2023 by rakamaric

Release for NET6

#161 opened Aug 31, 2022 by m-carrasco

BinaryFormatter is obsolete in .NET 5.0 (warning issued)

#154 opened Jul 7, 2021 by zvonimir

Unintended consequences of wrapping assertions into one single function question

#138 opened Apr 2, 2021 by zvonimir

Updating AV regressions

#133 opened Oct 22, 2020 by akashlal

Internal bug: Refinement unable to make progress

#125 opened Jul 14, 2020 by unboxedtype

Corral crashes on a program

#124 opened Jul 14, 2020 by shaobo-he

Switching Corral to use lit for running regressions enhancement

#121 opened Jun 4, 2020 by zvonimir

Gitversion warning

#115 opened Apr 26, 2020 by akashlal

Corral reports "no bugs" when there is no prover found

#114 opened Apr 17, 2020 by zvonimir

invariant statements is not supported?

#96 opened Aug 20, 2019 by muyaview

running tests on MacOS

#92 opened Jun 22, 2019 by shazqadeer

Loop bound estimation and loop abstraction?

#80 opened Dec 13, 2018 by bitcalc

Using /di flag it seems causes an assertion violation to be missed

#79 opened Oct 25, 2018 by zvonimir

Corral produces trace for sdvdefectviewer directly enhancement

#78 opened Oct 3, 2018 by shuvendu-lahiri

AV: PropInst matching against non-source lines

#76 opened Aug 22, 2018 by shuvendu-lahiri

AV: Problem with generalization of repetead fields

#70 opened Jul 25, 2018 by rcastano

Map assignments don't seem to be supported by AliasAnalysis

#69 opened Jul 18, 2018 by rcastano

AV: Blowup for multi arity maps

#61 opened May 11, 2018 by shuvendu-lahiri

AV: flag /entryPointExcludes is broken

#57 opened Oct 31, 2017 by shaobo-he

Crash with "Must find a successor" exception

#55 opened Sep 10, 2017 by zvonimir

AV:create smackinst as a project in avn

#52 opened Aug 13, 2017 by shuvendu-lahiri

AV: Options to ignore CPP file and allocate within stubs for nested pointers

#47 opened Jun 19, 2017 by shuvendu-lahiri

AV: an interesting example that cannot be easily blocked with non-aliasing vocabulary

#40 opened Feb 3, 2017 by shaobo-he

AV: Deadcode detection not working for null test after deref

#39 opened Feb 1, 2017 by shaobo-he

Previous 1 2 Next

Previous Next

ProTip! Exclude everything labeled bug with -label:bug.

Provide feedback

Saved searches

Use saved searches to filter your results more quickly