issues
search
SpoonLabs
/
nopol
Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.
https://hal.archives-ouvertes.fr/hal-01285008/document
GNU General Public License v2.0
96
stars
40
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Bump ch.qos.logback:logback-classic from 1.2.0 to 1.2.13 in /nopol
#237
dependabot[bot]
closed
1 month ago
1
Bump com.google.guava:guava from 30.1-jre to 32.0.0-jre in /nopol
#236
dependabot[bot]
closed
1 month ago
1
Bump org.json:json from 20160810 to 20231013 in /nopol
#235
dependabot[bot]
closed
1 month ago
2
test with java 17
#234
monperrus
closed
1 month ago
2
Update pom.xml
#233
monperrus
closed
1 month ago
0
Bump jetty-server from 10.0.10 to 10.0.14 in /nopol-server
#232
dependabot[bot]
closed
1 month ago
0
Bump json from 20160810 to 20230227 in /nopol
#231
dependabot[bot]
closed
1 year ago
1
Bump jetty-server from 9.4.41.v20210516 to 10.0.10 in /nopol-server
#230
dependabot[bot]
closed
2 years ago
0
Add support to toggle the synthesis of trivial patches
#229
agodio
opened
2 years ago
1
Bump flacoco to `1.0.5`
#228
andre15silva
closed
2 years ago
1
bump flacoco
#227
monperrus
closed
2 years ago
0
switch repo to https
#226
monperrus
closed
2 years ago
0
Nopol fails to compile due to the inaccessibility of the "Maven Repository for Spoon Release"
#225
DehengYang
closed
2 years ago
3
notes on Nopol's continuous integration
#224
monperrus
opened
2 years ago
2
GZoltar includes tests that are not failing in failing tests
#223
andre15silva
opened
2 years ago
1
Move CI to actions
#222
andre15silva
closed
3 years ago
0
Setup continuous delivery with Github Actions
#221
andre15silva
opened
3 years ago
0
add Flacoco as fault localization engine
#220
andre15silva
closed
2 years ago
17
Bump jetty-server from 9.4.0.RC1 to 9.4.41.v20210516 in /nopol-server
#219
dependabot[bot]
closed
3 years ago
0
Bump logback-classic from 1.0.13 to 1.2.0 in /nopol
#218
dependabot[bot]
closed
3 years ago
0
Support for Java 16 in Nopol
#217
monperrus
closed
1 month ago
2
integrate flacoco
#216
monperrus
closed
2 years ago
0
Generate an overfitted patch for repairing a bug with a test suite, but fix it correctly with a subset of the test suite
#215
Amirfarhad-Nilizadeh
closed
3 years ago
2
Nopol works on Java 11
#214
andre15silva
closed
2 years ago
4
Upgrade guava to 30.1-jre
#213
andre15silva
closed
3 years ago
3
WIP: Removed com.sun.tools from System Scope
#212
lapplislazuli
closed
3 years ago
5
Support Java 11
#211
andre15silva
closed
2 years ago
13
Nopol generates an overfitted patches with a test suite, but a correct patch with a subset of the test suite
#210
Amirfarhad-Nilizadeh
closed
3 years ago
1
Cannot fix a bug with a test suite, but fix it correctly with a subset of the test suite
#209
Amirfarhad-Nilizadeh
closed
3 years ago
4
refactor: Builder for NopolContext
#208
andre15silva
opened
3 years ago
1
Bump junit from 4.11 to 4.13.1 in /nopol-ui-intellij/src/main/resources/toy-project
#207
dependabot[bot]
closed
3 years ago
0
Bump junit from 4.11 to 4.13.1 in /test-projects
#206
dependabot[bot]
closed
3 years ago
0
Bump junit from 4.11 to 4.13.1 in /nopol-server
#205
dependabot[bot]
closed
3 years ago
0
Bump junit from 4.11 to 4.13.1 in /nopol
#204
dependabot[bot]
closed
3 years ago
0
How to point to a SMT solver on Windows?
#203
Ardenian
closed
4 years ago
10
How to deal with the OOM error when running Nopol
#202
DehengYang
opened
4 years ago
8
Update Main.java
#201
monperrus
closed
4 years ago
0
java.lang.ClassNotFoundException on repairing Spoon
#200
jose
closed
3 years ago
7
log4j:ERROR setFile(null,true) call failed.
#199
jose
closed
3 years ago
7
Command line argument --test
#198
jose
closed
4 years ago
3
papers related to Nopol
#197
monperrus
opened
4 years ago
1
upgrade to latest version of GZoltar
#196
DehengYang
closed
4 years ago
7
doc: few adjustments to current Nopol version
#195
DehengYang
closed
4 years ago
2
chore: fix travis regression
#194
monperrus
closed
4 years ago
0
Remove implicit dependency towards log4j 1.2.17
#193
nharrand
closed
4 years ago
1
Using Nopol to properly assess / repair JDK 1.7 projects, such as Defect4J projects
#192
ProdigyXable
closed
4 years ago
1
program was excuted successfully but there was NO SYNTHESIS
#191
qq956916631
closed
4 years ago
3
Problem in Running
#190
Amirfarhad-Nilizadeh
closed
4 years ago
3
Clean pom
#189
monperrus
closed
5 years ago
0
chore: fix failing job about intellij plugin
#188
monperrus
closed
5 years ago
0
Next