Commits · cpachecker-1.7 · SoSy-Lab / Software / CPAchecker · GitLab

Dec 22, 2017
- Release 1.7 · 75f64bd5
  pwendler authored Dec 22, 2017
  View commits for tag cpachecker-1.7 cpachecker-1.7
  75f64bd5
- Release 1.7 of CPAchecker · 9ef4f4f6
  pwendler authored Dec 22, 2017
  9ef4f4f6
- Fix file inclusions and exclusions for dist archives · 2f9a4ec2
  pwendler authored Dec 22, 2017
  2f9a4ec2
- remove unused code · d5fcfea2
  pwendler authored Dec 22, 2017
  d5fcfea2
- Update copyright year · 352926d2
  pwendler authored Dec 22, 2017
  352926d2
- Updated list of contributors · 5bd7780e
  dbeyer authored Dec 22, 2017
  5bd7780e
- Conservative configuration for ValueAnalysis with predicateAnalysis does not... · 07920c3c
  lemberge authored Dec 22, 2017
  07920c3c
Dec 21, 2017
- LDV uses conservative value analysis (+predicate analysis) · 8793662a
  lemberge authored Dec 21, 2017
  8793662a
- Make valueAnalysis-NoCegar-plain and valueAnalysis-Cegar-plain consistent · 6bdbbeb8
  lemberge authored Dec 21, 2017
  6bdbbeb8
- Revert "Configuration valueAnalysis-predicateAnalysis-Cegar-ABElf doesn't use... · a43af6af
  lemberge authored Dec 21, 2017
  a43af6af
- Revert "Add options of valueAnalysis-Cegar changed in r27009 to ldv.properties... · f3c994da
  lemberge authored Dec 21, 2017
  f3c994da
- Add options of valueAnalysis-Cegar changed in r27009 to ldv.properties in old... · 1629c755
  lemberge authored Dec 21, 2017
  1629c755
- Configuration valueAnalysis-predicateAnalysis-Cegar-ABElf doesn't use... · 800392d5
  lemberge authored Dec 21, 2017
  800392d5
- update JavaSMT to latest version. · 33386876
  Karlheinz Friedberger authored Dec 21, 2017
  33386876
Dec 20, 2017
- Adjust configuration name in missed test set · 34208f56
  lemberge authored Dec 20, 2017
  34208f56
- Unit tests executed through ant also use java.awt.headless=true · 49159303
  lemberge authored Dec 20, 2017
  49159303
- Remove unused and outdated test-set explicitAnalysis.xml · e4ea1bbd
  lemberge authored Dec 20, 2017
  e4ea1bbd
- Update structure and content of value analysis and apron configuration files. · 72ffeb5f
  lemberge authored Dec 20, 2017
  72ffeb5f
- LLVMParser disposes of llvm module after parsing · 9309f207
  lemberge authored Dec 20, 2017
  9309f207
- ParallelBAM: refactor TransferRelation to avoid throwing an exception and... · 16aee14c
  Karlheinz Friedberger authored Dec 20, 2017
  16aee14c
- ParallelBAM refactoring: instead of throwing an exception, return a dummy abstract state. · 164f245b
  Karlheinz Friedberger authored Dec 20, 2017
  164f245b
- move BAMStopOperator into more general AbstractWrapperStopOperator. · 22f5afe0
  Karlheinz Friedberger authored Dec 20, 2017
  22f5afe0
- Deduplicate error messages in CompoundException · bb460f56
  dangl authored Dec 20, 2017
  bb460f56
- Move CompoundException to its own file · 18a41b93
  dangl authored Dec 20, 2017
  18a41b93
- PrefixSelector: refactoring, simplification. · 6b0fd074
  Karlheinz Friedberger authored Dec 20, 2017
  6b0fd074
- javac requires an additional @deprecated marker · 9458ff02
  pwendler authored Dec 20, 2017
  9458ff02
- Mark PathFormulaManager.makeNewPathFormula(PathFormula, SSAMap) as deprecated · 86908ace
  pwendler authored Dec 20, 2017
  86908ace
- Refactor some logic in PathFormulaManagerImplTest · 22569310
  pwendler authored Dec 20, 2017
  22569310
- Remove unused methods from PathFormulaBuilder · 99f7bef0
  pwendler authored Dec 20, 2017
  99f7bef0
- Fix a bug in NewtonRefinementManager: do not forget the PointerTargetSet · 7b01ed68
  pwendler authored Dec 20, 2017
  7b01ed68
Dec 19, 2017
- Fix NullPointerException in an assertion · 427f438f
  spiessl authored Dec 19, 2017
  427f438f
- Make some declarations in termination package stricter, · f64a0cc1
  pwendler authored Dec 19, 2017
  f64a0cc1
- Remove a source of non-determinism (iteration over HashSets) in TerminationAlgorithm · 9fed534e
  pwendler authored Dec 19, 2017
  9fed534e
Dec 18, 2017
- ValueAnalysisInterpolant: uses PersistentMap. Mutability is not needed. · 68406caf
  Karlheinz Friedberger authored Dec 18, 2017
  68406caf
- Changes format only · 007a14a0
  mgerlach authored Dec 18, 2017
  007a14a0
- Add a ShutdownNotifier check in a loop of TerminationAlgorithm · ffee9e2c
  pwendler authored Dec 18, 2017
  ffee9e2c
- Adds an option to use unsatisfiable core for abstraction in Newton refinement · 143acd9b
  mgerlach authored Dec 18, 2017
  143acd9b
- ARGPath: move PathIterators into their own files. · 87dca599
  Karlheinz Friedberger authored Dec 18, 2017
  87dca599
- ARGPath: replace direct access to field with Getter. · 224b538f
  Karlheinz Friedberger authored Dec 18, 2017
  224b538f
- ARGPath: move PathPosition into its own file. · 2ff567c6
  Karlheinz Friedberger authored Dec 18, 2017
  2ff567c6