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

Dec 17, 2014
- Release 1.4 · 95f2ff62
  pwendler authored Dec 17, 2014
  View commits for tag cpachecker-1.4 cpachecker-1.4
  95f2ff62
- Update version numbers · 21ec342b
  pwendler authored Dec 17, 2014
  21ec342b
- Update documentation on AppEngine webpage · 5805e0cc
  pwendler authored Dec 17, 2014
  5805e0cc
- bug fix: for some reasons, when combining the value analysis and the predicate... · 2d311f64
  loewe authored Dec 17, 2014
  2d311f64
- Fixed a typo. · f5b15ee7
  dangl authored Dec 17, 2014
  f5b15ee7
- Counterexample checks are completely disabled on the AppEngine · 1b495be3
  pwendler authored Dec 17, 2014
  1b495be3
- fix exception with SmtInterpol if term "divisible" appears in an · 21a161b6
  pwendler authored Dec 17, 2014
  21a161b6
- Update version of SoSy-Lab Common library. · efa7a5fd
  pwendler authored Dec 17, 2014
  efa7a5fd
- Update some files for AppEngine frontend (configuration changes) · c5d2ee30
  pwendler authored Dec 17, 2014
  c5d2ee30
- Update some config files in regard to the changes for counterexample checks. · 717af07e
  pwendler authored Dec 17, 2014
  717af07e
- Function return edges should not be considered as epsilon edges. · 16235b4b
  dangl authored Dec 17, 2014
  16235b4b
- Update NEWS in preparation for upcomming release · 088a02df
  pwendler authored Dec 17, 2014
  088a02df
- Restructure listing of authors · 8526fa8f
  dbeyer authored Dec 17, 2014
  8526fa8f
- rename all configs from 'explicit*' (and derivates) to 'value*'; adapt names... · e23dd15e
  loewe authored Dec 17, 2014
  e23dd15e
Dec 16, 2014
- Remove redundant method PredicateCPA.getFormulaManager(). · e06b5591
  pwendler authored Dec 16, 2014
  e06b5591
- Some Dia files with UML diagrams that hopefully help to clear up · d927395a
  pwendler authored Dec 16, 2014
  d927395a
- Add option cpa.composite.splitMultiEdges (default: false). · 0090fd0c
  pwendler authored Dec 16, 2014
  0090fd0c
Dec 15, 2014
- bug fix: compare against the size of the set for one entry, not against the size of the multimap · 8d1976c9
  loewe authored Dec 15, 2014
  8d1976c9
- Re-add a constant random_seed for MathSAT5 to keep results as · f00f4483
  pwendler authored Dec 15, 2014
  f00f4483
- New MathSAT version 5.3.0 · 2c247634
  pwendler authored Dec 15, 2014
  2c247634
- New SMTInterpol version 2.1-174-ga199d47 · ae7e7388
  pwendler authored Dec 15, 2014
  ae7e7388
- Bugfix for nullpointer in DeclarationCollectingVisitor, a... · ef89f69e
  stieglma authored Dec 15, 2014
  ef89f69e
- Refactoring, rename all parameters of visitor methods to "exp". · f446eb5f
  stieglma authored Dec 15, 2014
  f446eb5f
- Clean up model generation for SmtInterpol. · c0d48dbc
  pwendler authored Dec 15, 2014
  c0d48dbc
- Add values for applications of UFs to the model when using Princess. · b09d2282
  pwendler authored Dec 15, 2014
  b09d2282
- Add test for SMT solver producing a very large value in the model, · ea2a7b96
  pwendler authored Dec 15, 2014
  ea2a7b96
- Improve handling of integer values in models of several solvers. · 7bc33280
  pwendler authored Dec 15, 2014
  7bc33280
- Avoid some expected warnings of Eclipse and FindBugs in tests. · 4b0738b9
  pwendler authored Dec 15, 2014
  4b0738b9
- Fix exception about duplicate entires in SmtInterpolModel if uf(a) and uf(b) · e9bfa93c
  pwendler authored Dec 15, 2014
  e9bfa93c
Dec 14, 2014
- Use Truth for checking assertions about solver stacks. · ea0f97b0
  pwendler authored Dec 14, 2014
  ea0f97b0
- Add some unit tests for model generation of SMT solvers. · 72086717
  pwendler authored Dec 14, 2014
  72086717
- Refactor model generation for SMTInterpol. · 64cdb276
  pwendler authored Dec 14, 2014
  64cdb276
- Add values for applications of UFs to the model · 96f4220d
  pwendler authored Dec 14, 2014
  96f4220d
- Style guide: on naming conventions for interfaces · 1c97756a
  pwendler authored Dec 14, 2014
  1c97756a
- Use JMethodEntryNode.getReturnVariable() in ValueAnalysis. · 4a258684
  lemberge authored Dec 14, 2014
  4a258684
- Adapt CFA nodes of Java programs to changes in revisions 14483 - 14485. · 01857403
  lemberge authored Dec 14, 2014
  01857403
- Make BasicProverEnvironment generic · f554f961
  pwendler authored Dec 14, 2014
  f554f961
Dec 13, 2014
- Documentation · df01596e
  pwendler authored Dec 13, 2014
  df01596e
- Refactoring: move the responsibility for creating interpolation · 943207f3
  pwendler authored Dec 13, 2014
  943207f3
- Refactoring: provide static factory method for Solver class. · ed20252f
  pwendler authored Dec 13, 2014
  ed20252f