Skip to content

Issues: SpoonLabs/nopol

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

20 Open 89 Closed
20 Open 89 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

Add support to toggle the synthesis of trivial patches
#229 opened May 20, 2022 by agodio
1
notes on Nopol's continuous integration
#224 opened Jan 31, 2022 by monperrus
2
GZoltar includes tests that are not failing in failing tests
#223 opened Sep 23, 2021 by andre15silva
1
Setup continuous delivery with Github Actions
#221 opened Jul 23, 2021 by andre15silva
1 of 2 tasks
refactor: Builder for NopolContext
#208 opened Nov 18, 2020 by andre15silva
1
How to deal with the OOM error when running Nopol
#202 opened Jul 9, 2020 by DehengYang
8
papers related to Nopol
#197 opened Mar 18, 2020 by monperrus
1
patch: in order to be used in a Git context, patch paths should be relative to a git root path
#170 opened Aug 3, 2018 by surli
Encapsulate run of the tests to capture all kind of exception
#160 opened Mar 21, 2018 by surli
Kali patches should have a clear diff with only code removal good-first-issue
#151 opened Feb 14, 2018 by monperrus
3
feature request: destination of logs
#149 opened Jan 29, 2018 by surli
Add support for patch ranking based on code likelihood enhancement
#135 opened Mar 15, 2017 by surli
Allow to ignore tests in command line execution
#134 opened Mar 6, 2017 by surli
9
NopolResult should be created when calling build and not shared
#124 opened Mar 1, 2017 by surli
3
Add more information about angelic values in NopolResult
#114 opened Feb 27, 2017 by surli
3
add support for angelic value and synthesis for strengthening conditions
#107 opened Feb 15, 2017 by monperrus
support compound patch with null-check in SMT mode
#38 opened Oct 6, 2016 by monperrus
check if JDK's tools.jar is in the classpath
#32 opened Oct 5, 2016 by monperrus
1
add support for pure java smt solver smtinterpol
#28 opened Sep 30, 2016 by monperrus
2
only consider pure methods in method collection (SMTSynth and Dynamoth)
#9 opened Sep 15, 2016 by monperrus
2
ProTip! Adding no:label will show everything without a label.