Commits

Branch selector

 trunk

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 15, 2015

• IFC Analysis, skip after errors

  bnord01

  committed
  9b55fda

  Copy full SHA for 9b55fda

Commits on Oct 14, 2015

• IFC Analysis, no sort

  bnord01

  committed
  8ee0dbd

  Copy full SHA for 8ee0dbd

• IFC Analysis, improved batch script, pick random sample for big programs

  bnord01

  committed
  58d6451

  Copy full SHA for 58d6451

• IFC Analysis, optimized Sets.union usage.

  bnord01

  committed
  eaecc24

  Copy full SHA for eaecc24

Commits on Oct 2, 2015

• IFC Analysis, break on target state

  bnord01

  committed
  eea6f8d

  Copy full SHA for eea6f8d

Commits on Sep 29, 2015

• Merge branch 'trunk' of https://github.com/dbeyer/cpachecker into trunk

  bnord01

  committed
  ebc0899

  Copy full SHA for ebc0899

• IFC Analysis, configuration and tests

  bnord01

  committed
  9a950e0

  Copy full SHA for 9a950e0

• Fix of webclient.py.

  Show description for a3d2dc1
  

  ottseb

  committed
  a3d2dc1

  Copy full SHA for a3d2dc1

Commits on Sep 28, 2015

• SMGCPA: Reintegrated contributions of anton vasilyev to smgcpa. Thank you.

  Show description for 61db85d
  

  driemey

  committed
  61db85d

  Copy full SHA for 61db85d

• Refactoring of webclient.py: Extract class for the submission of runs to the VerifierCloud's web interface. This class will be used by the new LDV-Framework, too.

  Show description for 71eddc2
  

  ottseb

  committed
  71eddc2

  Copy full SHA for 71eddc2

Commits on Sep 22, 2015

• Fix array formula type detection for SMTInterpol

  Show description for 21b7c36
  

  lukasczyk

  committed
  21b7c36

  Copy full SHA for 21b7c36

• Refactored and reformatted SmtInterpolFormulaCreator

  Show description for 752d2d2
  

  lukasczyk

  committed
  752d2d2

  Copy full SHA for 752d2d2

• Get an array formula type when using SMTInterpol.

  Show description for 42fa531
  

  lukasczyk

  committed
  42fa531

  Copy full SHA for 42fa531

• Make a formula for the equality of two ArrayFormulas.

  Show description for c825286
  

  lukasczyk

  committed
  c825286

  Copy full SHA for c825286

• BAM: fixing possible bug in BAMPredicateRefiner.

  Show description for 04be36d
  

  friedber

  committed
  04be36d

  Copy full SHA for 04be36d

• BAM: adding missing hashCode() for ReducedPredicatePrecision, to avoid warning in build-process.

  Show description for 110f696
  

  friedber

  committed
  110f696

  Copy full SHA for 110f696

• BAM: improving cache-key for predicate-analysis.

  Show description for 1368cd4
  

  friedber

  committed
  1368cd4

  Copy full SHA for 1368cd4

• BAM: improving repeated-CEX-detection in BAMPredicateRefiner.

  Show description for ca2d9d2
  

  friedber

  committed
  ca2d9d2

  Copy full SHA for ca2d9d2

• BAM: renaming only

  Show description for 498aa44
  

  friedber

  committed
  498aa44

  Copy full SHA for 498aa44

• use errorpath as list of CFANodes instead of formulas to check repeated counterexamples.

  Show description for c11f66b
  

  friedber

  committed
  c11f66b

  Copy full SHA for c11f66b

• BAM: RelevantPredicatesComputer is a constant element now.

  Show description for db7c539
  

  friedber

  committed
  db7c539

  Copy full SHA for db7c539

• BAM: changing type of parameter in interface 'RefineableRelevantPredicatesComputer' for easier usage.

  Show description for 88399d8
  

  friedber

  committed
  88399d8

  Copy full SHA for 88399d8

• BAM: avoid storing direct references to RelevantPredicatesComputer.

  Show description for 36017b9
  

  friedber

  committed
  36017b9

  Copy full SHA for 36017b9

Commits on Sep 21, 2015

• Split each top-level class into its own file in SMGCPA

  Show description for 051da10
  PhilippWendler

  committed
  051da10

  Copy full SHA for 051da10

• Delete fork of SMGCPA.

  Show description for b517383
  PhilippWendler

  committed
  b517383

  Copy full SHA for b517383

• Replicate r12829 of SMG-Fork CPA in SMG CPA:

  Show description for ab4ca29
  PhilippWendler

  committed
  ab4ca29

  Copy full SHA for ab4ca29

• Replicate r12828 of SMG-Fork CPA in SMG CPA:

  Show description for 47a4703
  PhilippWendler

  committed
  47a4703

  Copy full SHA for 47a4703

• Replicate r12826 of SMG-Fork CPA in SMG CPA:

  Show description for eee6d82
  PhilippWendler

  committed
  eee6d82

  Copy full SHA for eee6d82

• Fix warning condition for multi-dimensional arrays.

  Show description for 1e9d4d0
  

  lukasczyk

  committed
  1e9d4d0

  Copy full SHA for 1e9d4d0

Commits on Sep 18, 2015

• Clean JUnit results before executing unit tests

  Show description for 70ac598
  PhilippWendler

  committed
  70ac598

  Copy full SHA for 70ac598

• Refactor some formula tests.

  Show description for 6cdca98
  PhilippWendler

  committed
  6cdca98

  Copy full SHA for 6cdca98

• Avoid multiple top-level classes in the same file for Formula subclasses

  Show description for 33b8c68
  PhilippWendler

  committed
  33b8c68

  Copy full SHA for 33b8c68

• Package-sanity tests for solver package.

  Show description for 30dffc3
  PhilippWendler

  committed
  30dffc3

  Copy full SHA for 30dffc3

• remove redundant null checks

  Show description for 0129fc1
  PhilippWendler

  committed
  0129fc1

  Copy full SHA for 0129fc1

• fix indentation

  Show description for 484fc62
  PhilippWendler

  committed
  484fc62

  Copy full SHA for 484fc62

Pagination

Previous

Next