Skip to content

Issues: albertogoffi/toradocu

New issue

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

#

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

Already on GitHub? # to your account

36 Open 68 Closed
36 Open 68 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

[main] ERROR org.toradocu.Toradocu
#247 opened Aug 5, 2024 by researche
Empty conditions generated
#246 opened Mar 10, 2023 by Sophietje
1
loadTxtVectors is deprecated enhancement
#240 opened Apr 8, 2019 by mernst
Toradocu fail due to multiple executable members found
#233 opened Jun 5, 2018 by ariannab
@albertogoffi
1
Check user JDK version and warn for issues bug
#231 opened May 23, 2018 by ariannab
@ariannab
compileKotlin task fails with OpenJDK
#228 opened May 21, 2018 by gorla
@albertogoffi
1
Simplify conditions enhancement
#227 opened May 20, 2018 by mernst
Wrong translation and condition order (null dereference) bug
#221 opened May 2, 2018 by ariannab
@ariannab
5
Wrong and non-compilable condition (primitive result compared with null) bug
#217 opened Apr 27, 2018 by ariannab
@ariannab
2
Report inconsistent specifications enhancement
#216 opened Apr 27, 2018 by albertogoffi
3 tasks
Likely false positive because of java generics bug
#201 opened Feb 26, 2018 by gorla
@ariannab
2
Update Javaparser version enhancement
#199 opened Feb 20, 2018 by ariannab
@ariannab
1
Conditions involving enum types do not produce a translation bug
#194 opened Jan 16, 2018 by ariannab
@ariannab
Use only pure methods in generated specifications enhancement
#185 opened Nov 22, 2017 by albertogoffi
@ariannab
Improve output enhancement
#179 opened Aug 18, 2017 by albertogoffi
Translation for "a new element" bug
#131 opened May 6, 2017 by mernst
Translation for "an array of size n"; use type information bug
#130 opened May 6, 2017 by mernst
@albertogoffi
1
Discrepancy in translation of similar @return conditions
#129 opened May 5, 2017 by bjkeller
Nontermination (?) on java.sql.PreparedStatement of OpenJDK bug
#128 opened May 1, 2017 by bjkeller
2
stray semi-colon in generated condition
#122 opened Apr 21, 2017 by bjkeller
Missing translation of @return comments about "empty" or null argument bug enhancement
#121 opened Apr 21, 2017 by albertogoffi
1
Missing translation of @return comments about "empty" return value bug enhancement
#120 opened Apr 21, 2017 by albertogoffi
2
bad interpretation of "one" (incompatible types)
#116 opened Apr 18, 2017 by bjkeller
wrong interpretation of "this" (+incompatible types)
#115 opened Apr 18, 2017 by bjkeller
@param condition applied to receiver of constructor
#114 opened Apr 18, 2017 by bjkeller
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.