SuccessChanges

Summary

  1. fix: remove specification manipulation (details)
  2. refactoring: improve naming and design for future maintenance (details)
  3. try to fix flaky OSX Travis (details)
Commit f6af5fc5f74d8b4e6502235d4cbe1fdf4d652cff by martin.monperrus
fix: remove specification manipulation
The file was modifiednopol/src/main/java/fr/inria/lille/commons/trace/Specification.java (diff)
The file was modifiednopol/src/main/java/fr/inria/lille/commons/synthesis/SynthesisTheoriesBuilder.java (diff)
The file was modifiednopol/src/main/java/fr/inria/lille/repair/nopol/synth/ConstraintModelBuilder.java (diff)
The file was modifiednopol/src/test/java/fr/inria/lille/commons/trace/ValuesCollectorTest.java (diff)
The file was modifiednopol/src/main/java/fr/inria/lille/repair/nopol/synth/AngelicValue.java (diff)
The file was modifiednopol/src/test/java/fr/inria/lille/evo/TestPatchEvo.java (diff)
The file was modifiednopol/src/main/java/fr/inria/lille/commons/trace/SpecificationTestCasesListener.java (diff)
The file was modifiednopol/src/main/java/fr/inria/lille/commons/synthesis/ConstraintBasedSynthesis.java (diff)
The file was modifiednopol/src/main/java/xxl/java/support/GlobalToggle.java (diff)
The file was modifiednopol/src/main/java/fr/inria/lille/commons/trace/RuntimeValues.java (diff)
The file was modifiednopol/src/main/java/fr/inria/lille/repair/nopol/synth/JPFRunner.java (diff)
The file was modifiednopol/src/test/java/fr/inria/lille/repair/nopol/NopolTest.java (diff)
The file was modifiednopol/src/main/java/fr/inria/lille/repair/infinitel/loop/implant/MonitoringTestExecutor.java (diff)
Commit 129464babb3a41d02b1f0026a02f04584eb5ca5c by martin.monperrus
refactoring: improve naming and design for future maintenance
The file was addednopol/src/main/java/fr/inria/lille/repair/nopol/synth/InstrumentedProgram.java
The file was modifiednopol/src/main/java/fr/inria/lille/repair/nopol/synth/JPFRunner.java (diff)
The file was modifiednopol/src/main/java/fr/inria/lille/repair/nopol/synth/dynamoth/DynamothSynthesizer.java (diff)
The file was removednopol/src/main/java/fr/inria/lille/repair/nopol/synth/AngelicValue.java
The file was modifiednopol/src/main/java/fr/inria/lille/repair/nopol/synth/SynthesizerFactory.java (diff)
The file was modifiednopol/src/test/java/fr/inria/lille/repair/nopol/NopolTest.java (diff)
The file was modifiednopol/src/main/java/fr/inria/lille/commons/synthesis/SynthesisTheoriesBuilder.java (diff)
The file was modifiednopol/src/main/java/fr/inria/lille/repair/nopol/NoPol.java (diff)
The file was modifiednopol/src/main/java/fr/inria/lille/repair/nopol/synth/Synthesizer.java (diff)
The file was modifiednopol/src/main/java/fr/inria/lille/repair/nopol/synth/SMTNopolSynthesizer.java (diff)
The file was modifiednopol/src/main/java/fr/inria/lille/repair/nopol/synth/ConstraintModelBuilder.java (diff)
Commit dce3122a03bb18c5ca0ff3f7ca907ea674d52f5f by martin.monperrus
try to fix flaky OSX Travis
The file was modifiednopol/src/main/resources/default-nopol-config.ini (diff)