Issues

• Add support to toggle the synthesis of trivial patches

  SpoonLabs/nopol#229 · Filter by author agodio opened on May 20, 2022
  1

• notes on Nopol's continuous integration

  SpoonLabs/nopol#224 · Filter by author monperrus opened on Jan 31, 2022
  2

• GZoltar includes tests that are not failing in failing tests

  SpoonLabs/nopol#223 · Filter by author andre15silva opened on Sep 23, 2021
  1

• Setup continuous delivery with Github Actions

  SpoonLabs/nopol#221 · Filter by author andre15silva opened on Jul 23, 2021

• refactor: Builder for NopolContext

  SpoonLabs/nopol#208 · Filter by author andre15silva opened on Nov 18, 2020
  1

• How to deal with the OOM error when running Nopol

  SpoonLabs/nopol#202 · Filter by author DehengYang opened on Jul 9, 2020
  8

• papers related to Nopol

  SpoonLabs/nopol#197 · Filter by author monperrus opened on Mar 18, 2020
  1

• patch: in order to be used in a Git context, patch paths should be relative to a git root path

  SpoonLabs/nopol#170 · Filter by author surli opened on Aug 3, 2018

• Encapsulate run of the tests to capture all kind of exception

  SpoonLabs/nopol#160 · Filter by author surli opened on Mar 21, 2018

• Kali patches should have a clear diff with only code removal

  good-first-issue
  SpoonLabs/nopol#151 · Filter by author monperrus opened on Feb 14, 2018
  3

• feature request: destination of logs

  SpoonLabs/nopol#149 · Filter by author surli opened on Jan 29, 2018

• Add support for patch ranking based on code likelihood

  enhancement
  SpoonLabs/nopol#135 · Filter by author surli opened on Mar 15, 2017

• Allow to ignore tests in command line execution

  SpoonLabs/nopol#134 · Filter by author surli opened on Mar 6, 2017
  9

• NopolResult should be created when calling build and not shared

  SpoonLabs/nopol#124 · Filter by author surli opened on Mar 1, 2017
  3

• Add more information about angelic values in NopolResult

  SpoonLabs/nopol#114 · Filter by author surli opened on Feb 27, 2017
  3

• add support for angelic value and synthesis for strengthening conditions

  SpoonLabs/nopol#107 · Filter by author monperrus opened on Feb 15, 2017

• support compound patch with null-check in SMT mode

  SpoonLabs/nopol#38 · Filter by author monperrus opened on Oct 6, 2016

• check if JDK's tools.jar is in the classpath

  SpoonLabs/nopol#32 · Filter by author monperrus opened on Oct 5, 2016
  1

• add support for pure java smt solver smtinterpol

  SpoonLabs/nopol#28 · Filter by author monperrus opened on Sep 30, 2016
  2

• only consider pure methods in method collection (SMTSynth and Dynamoth)

  SpoonLabs/nopol#9 · Filter by author monperrus opened on Sep 15, 2016
  2