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

Jul 19, 2013
- Also update external definitions of tags. · 470dad9d
  pwendler authored Jul 19, 2013
  View commits for tag cpachecker-1.1 cpachecker-1.1
  470dad9d
Nov 11, 2011
- Release 1.1 --- from trunk as of 11-11-11 11:11 --- Thanks to all contributors. · abd4f170
  dbeyer authored Nov 11, 2011
  abd4f170
- adding results for cpachecker r4833 and benchmark-xml for systemc with timelimit 600s. · 07b5cd4e
  friedber authored Nov 11, 2011
  07b5cd4e
- benchmark-script modified: get cpachecker-version from help-text, not from svn-info. · 5db88b21
  friedber authored Nov 11, 2011
  5db88b21
- cleanup; remove trailing whitespaces · beddfcbc
  pwendler authored Nov 11, 2011
  beddfcbc
- set missing svn:eol-style properties to native · fa3009c9
  pwendler authored Nov 11, 2011
  fa3009c9
- set missing svn:eol-style properties to native · a16e0884
  pwendler authored Nov 11, 2011
  a16e0884
- Add note about Windows to README. · 91b789db
  pwendler authored Nov 11, 2011
  91b789db
- Don't create all the formula managers in ExplicitCPA constructor. · ade90836
  pwendler authored Nov 11, 2011
  ade90836
- fix cpa.bat script · ec4909df
  pwendler authored Nov 11, 2011
  ec4909df
- remove very old outdated benchmark results · 2017ec44
  pwendler authored Nov 11, 2011
  2017ec44
- Some config refactoring ;-). · 777d7002
  dwonisch authored Nov 11, 2011
  777d7002
- Changed optimized sv-comp config to reflect the new default value of alias analysis. · a7053774
  dwonisch authored Nov 11, 2011
  a7053774
- rename dist archives · e540ab1e
  pwendler authored Nov 11, 2011
  e540ab1e
- ensure the use of the correct permission bits in tar archive (ant tar task... · e26e1063
  pwendler authored Nov 11, 2011
  e26e1063
- Release 1.1 (Preparation) · e056e7c9
  dbeyer authored Nov 11, 2011
  e056e7c9
- exclude useless source jar from dist archives · bf4a5135
  pwendler authored Nov 11, 2011
  bf4a5135
- fix ant clean task · 13f5bda2
  pwendler authored Nov 11, 2011
  13f5bda2
- Instead of a single zip file for all platforms, create a zip file for windows... · bbaaf323
  pwendler authored Nov 11, 2011
  bbaaf323
- Improve dead code detection, which removes 2 failing asserts in · 8c9164f0
  pwendler authored Nov 11, 2011
  8c9164f0
- Removed code from CtoFormulaConverter that solved no problem and was defective. · ede51329
  haeringp authored Nov 11, 2011
  ede51329
Nov 10, 2011
- Expose dependency on ExtendedFormulaManager instead of wrapping the · 4cf9471e
  pwendler authored Nov 10, 2011
  4cf9471e
- create an example C program based on simple/loop1.c and mention it in the README · 093b00cb
  pwendler authored Nov 10, 2011
  093b00cb
- CtoFormulaConverter refactoring: extracting methods from overly long method · 35935ce4
  haeringp authored Nov 10, 2011
  35935ce4
- Predicate analysis now properly tracks pointers between function calls. · 7490d736
  haeringp authored Nov 10, 2011
  7490d736
- revert commit 4792 (re-enable pointer alias handling by default) · a16db161
  pwendler authored Nov 10, 2011
  a16db161
- Update bmc.properties: · e56d645b
  pwendler authored Nov 10, 2011
  e56d645b
- adding benchmark-xml for release-testing, perhaps someone can need it. · 31bdfdae
  friedber authored Nov 10, 2011
  31bdfdae
- Enabled function pointer analysis also for ABM. · b25c414f
  dwonisch authored Nov 10, 2011
  b25c414f
- Enable FunctionPointerCPA in the most-used config files. · 6b8d6c5c
  pwendler authored Nov 10, 2011
  6b8d6c5c
- Do not export CFA to disk asynchronously. · 1f053990
  pwendler authored Nov 10, 2011
  1f053990
- Ignore dealiasing of complex expressions in predicate analysis · 02f92548
  haeringp authored Nov 10, 2011
  02f92548
- Set the parser.ignoreCasts option for all predicate analysis configs. · 4c98b948
  pwendler authored Nov 10, 2011
  4c98b948
- Revert setting the default of pointer alias handling to true. · cfc091dd
  pwendler authored Nov 10, 2011
  cfc091dd
Nov 09, 2011
- Changed default values for predicate analysis. · 5c92a693
  haeringp authored Nov 09, 2011
  5c92a693
- Fixed build issues introduced in commit 4777. · 43e86e56
  haeringp authored Nov 09, 2011
  43e86e56
- Added several test cases for pointer aliasing. · e8c1526a
  haeringp authored Nov 09, 2011
  e8c1526a
- Fixed bug: wrong equivalence in predicate building · cf7a14c1
  haeringp authored Nov 09, 2011
  cf7a14c1
- Improved CtoFormulaConverter handling of casts. · 0b13e4f4
  haeringp authored Nov 09, 2011
  0b13e4f4
- Refactoring: Moved methods makeImplication and makeNotEqual to ExtendendedFormulaManager · abc83fda
  haeringp authored Nov 09, 2011
  abc83fda