Skip to content

Issues: diffblue/gnat2goto

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

48 Open 26 Closed
48 Open 26 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
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

Bounds checking in ranges is restricted to constant expressions.
#326 opened Jan 9, 2020 by NlightNFotis
3
Add support for generic package definitions
#296 opened Sep 30, 2019 by NlightNFotis
Fix discriminated record formation
#290 opened Sep 23, 2019 by xbauch
Enumeration out parameters cause failed precondition from ireps.ads:1875 in gnat2goto
#264 opened Jun 29, 2019 by tjj2017
2
Standard packages not processed
#252 opened Jun 7, 2019 by xbauch
Range checks for subtypes not supported correctly.
#226 opened May 15, 2019 by NlightNFotis
array and multi-dimensional array declaration issues.
#188 opened Apr 1, 2019 by sonodtt
Better support for ranges
#181 opened Mar 28, 2019 by NlightNFotis
@NlightNFotis
Patchy support for string handling
#180 opened Mar 28, 2019 by NlightNFotis
review test folder names - with a prefix of key clause/feature tested
#168 opened Mar 19, 2019 by sonodtt
Support for nested functions - seems to work, needs further investigation
#164 opened Mar 19, 2019 by sonodtt
implement support for node " N_Expanded_Name"
#155 opened Mar 12, 2019 by sonodtt
Use Machine_Mantissa to determine floating point format instead of just size
#153 opened Mar 11, 2019 by hannes-steffenhagen-diffblue
1
floating literals are broken
#149 opened Mar 7, 2019 by xbauch
4
With_Expr in array_literal refers to unimplemented type (integer)
#128 opened Feb 19, 2019 by xbauch
First1 is hard-coded as a struct member name
#127 opened Feb 18, 2019 by xbauch
Make array manipulation more robust
#126 opened Feb 18, 2019 by xbauch
2
"Make_Assert_Call" likely redundant
#122 opened Feb 11, 2019 by sonodtt
let expression binding of argument to a function fails.
#121 opened Feb 11, 2019 by sonodtt
Nested functions are not supported currently
#110 opened Jan 18, 2019 by NlightNFotis
1
Ireps for operators have empty type by default
#100 opened Jan 16, 2019 by xbauch
Ominous message after calling ireps_generator.py
#99 opened Jan 15, 2019 by NlightNFotis
Avoid the need for symbol types in gnat2goto output
#84 opened Nov 30, 2018 by chrisr-diffblue
Implement division by 0 checks in gnat2goto rather than cbmc
#68 opened Nov 21, 2018 by NlightNFotis
Implement overflow checks in gnat2goto rather than cbmc
#67 opened Nov 21, 2018 by NlightNFotis
ProTip! Exclude everything labeled bug with -label:bug.