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

Jul 19, 2013
- Also update external definitions of tags. · 4eb86295
  pwendler authored Jul 19, 2013
  View commits for tag cpachecker-1.2 cpachecker-1.2
  4eb86295
Dec 17, 2012
- Release 1.2. Thanks to all contributors! · 2b07f770
  pwendler authored Dec 17, 2012
  2b07f770
- Prepare for next release. · 4c855bef
  pwendler authored Dec 17, 2012
  4c855bef
- added comment regarding paper describing ExplicitCPA with CEGAR and Interpolation · 12f6cf7c
  loewe authored Dec 17, 2012
  12f6cf7c
- Disable invariant export in ImpactRefiner configuration (closes #99 ). · 5c38b87b
  pwendler authored Dec 17, 2012
  5c38b87b
- When using ImpactRefiner, don't print any abstraction formulas, · cf950a7e
  pwendler authored Dec 17, 2012
  cf950a7e
- Fix header attributes of <union> tables with more than 2 files in one · d0fd735f
  pwendler authored Dec 17, 2012
  d0fd735f
- Fix tooltips of plots in table. · bab777f7
  pwendler authored Dec 17, 2012
  bab777f7
Dec 15, 2012
- BDDCPA: renaming again. · cfc41af2
  friedber authored Dec 15, 2012
  cfc41af2
- BDDCPA and VarClassification: · 7fa72cb8
  friedber authored Dec 15, 2012
  7fa72cb8
Dec 14, 2012
- Cleanup of the test-sets: removed the ECA benchmark definitions. · b0e2099b
  stahlbauer authored Dec 14, 2012
  b0e2099b
- Deleted the FsmBddCPA; our future development of the BDD based program... · 141f382e
  stahlbauer authored Dec 14, 2012
  141f382e
- removed explicitAnalysis-ItpRefiner.properties, which now is in explicitAnalysis.properties · c43bdf98
  loewe authored Dec 14, 2012
  c43bdf98
Dec 13, 2012
- dropped config explicitAnalysis-ItpRefiner, to lower number of files, moved... · 5a34feef
  loewe authored Dec 13, 2012
  5a34feef
- explicit simple was referencing refining analysis, instead of ... simple one · ed233cfc
  loewe authored Dec 13, 2012
  ed233cfc
- config -explicitAnalysis now points to explicitAnalysis-ItpRefiner, added... · 6af27ca5
  loewe authored Dec 13, 2012
  6af27ca5
- If there is only one block of source files to be run with benchmark.py, · dfe22290
  pwendler authored Dec 13, 2012
  dfe22290
- Provide possibility to access the function entry node in the CFA from · 90fa6879
  pwendler authored Dec 13, 2012
  90fa6879
- Add a flag -s to the benchmark script. · 8a804a13
  pwendler authored Dec 13, 2012
  8a804a13
- In the benchmark definition that resembles the SV-COMP13 setup, · 148d97f4
  pwendler authored Dec 13, 2012
  148d97f4
- Fix crash of script if all tests were empty. · c82071cd
  pwendler authored Dec 13, 2012
  c82071cd
- Documentation. · f5d088e8
  pwendler authored Dec 13, 2012
  f5d088e8
- Refactoring. · 77a58065
  pwendler authored Dec 13, 2012
  77a58065
- Statistics · cb7aba80
  pwendler authored Dec 13, 2012
  cb7aba80
- Set MathSAT5 as default SMT solver for predicate analysis. · 5a31de9f
  pwendler authored Dec 13, 2012
  5a31de9f
- New MathSAT version 5.2.2. · 53b8863b
  pwendler authored Dec 13, 2012
  53b8863b
- minor text changes · b801ae1e
  dbeyer authored Dec 13, 2012
  b801ae1e
- fix crash if an interpolant is equal to "true" · 6c4753bb
  pwendler authored Dec 13, 2012
  6c4753bb
- Refactoring: avoid passing mutable objects around. · 770f111e
  pwendler authored Dec 13, 2012
  770f111e
- Merge PredicateRefinementManager into PredicateRefiner. · 40a43b7c
  pwendler authored Dec 13, 2012
  40a43b7c
- Refactoring. · 62485617
  pwendler authored Dec 13, 2012
  62485617
- Renamings. · e82acf6e
  pwendler authored Dec 13, 2012
  e82acf6e
- Merge InterpolationManager and it's only remaining subclass. · f46fadd0
  pwendler authored Dec 13, 2012
  f46fadd0
- Remove UninstantiatingInterpolationManager, · 2f78c6da
  pwendler authored Dec 13, 2012
  2f78c6da
- Beginning of refactoring refinement process of PredicateCPA. · 3b2475dc
  pwendler authored Dec 13, 2012
  3b2475dc
- Refactoring: extract methods. · b45cc0b3
  pwendler authored Dec 13, 2012
  b45cc0b3
Dec 12, 2012
- Even more contributors. Nice project. · d8d0a429
  dbeyer authored Dec 12, 2012
  d8d0a429
- Updating the contributors; let me know if I forgot to mention somebody who... · 721c4942
  dbeyer authored Dec 12, 2012
  721c4942
- add quoting in output of command line · d2d3cbda
  pwendler authored Dec 12, 2012
  d2d3cbda
- Refactor DelegatingExplicitRefiner and PredicatingExplicitRefiner, · 7397abf0
  pwendler authored Dec 12, 2012
  7397abf0