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

Dec 31, 2010
- 2010 was a very good year for the CPAchecker project. Thank you for your... · 77512874
  dbeyer authored Dec 31, 2010
  View commits for tag cpachecker-1.0 cpachecker-1.0
  77512874
Dec 30, 2010
- added a map in assumption collector transfer relation to report all generated... · 27d5a42e
  mek3 authored Dec 30, 2010
  27d5a42e
Dec 29, 2010
- Dumping weaker assumptions - todo: when monitor is used, only false... · dc43d225
  mek3 authored Dec 29, 2010
  dc43d225
Dec 25, 2010
- added xml benchmark for cpachecker and fixed confusing copy&paste issues. · 201c0697
  donig authored Dec 25, 2010
  201c0697
- More verbosity and some exception handling. · d687310b
  donig authored Dec 25, 2010
  d687310b
Dec 24, 2010
- Made the debug mode more verbose to help new users. · 2179086e
  donig authored Dec 24, 2010
  2179086e
Dec 23, 2010
- handle AvoidanceReportingElement properly from monitor cpa. Rather then... · 1861aed7
  mek3 authored Dec 23, 2010
  1861aed7
Dec 22, 2010
- updated interval analysis config file · 70ff4954
  loewe authored Dec 22, 2010
  70ff4954
- various improvements to the interval analysis · 15764219
  loewe authored Dec 22, 2010
  15764219
- removed hack for statistics - will be handled properly · 482e8c9e
  mek3 authored Dec 22, 2010
  482e8c9e
Dec 21, 2010
- octagon library for native access updated · bde510f5
  mek3 authored Dec 21, 2010
  bde510f5
- Some changes to octagon library to make it runnable, I'll implement it if I... · c92c1b3d
  mek3 authored Dec 21, 2010
  c92c1b3d
Dec 17, 2010
- refactoring: move CFA logic code from AbstractCFAEdge to CFABuilder because... · b1874ecc
  pwendler authored Dec 17, 2010
  b1874ecc
Dec 16, 2010
- rename ReturnEdge to FunctionReturnEdge to have symmetry with FunctionCallEdge · a9bef29c
  pwendler authored Dec 16, 2010
  a9bef29c
- add cfa edge type ReturnStatementEdge because this makes it easier to handle... · df16e580
  pwendler authored Dec 16, 2010
  df16e580
- make CPAFactory more flexible · 1e193c42
  pwendler authored Dec 16, 2010
  1e193c42
- refactoring: use list instead of array and use empty list instead of null · aa98976d
  pwendler authored Dec 16, 2010
  aa98976d
- refactoring · 1817223f
  pwendler authored Dec 16, 2010
  1817223f
- replace "declarationEdge instanceof GlobalDeclarationEdge" with "declarationEdge.isGlobal()" · 01f4cd14
  pwendler authored Dec 16, 2010
  01f4cd14
- use more precise type · e6d536a2
  pwendler authored Dec 16, 2010
  e6d536a2
- use more precise type in order to eliminate a lot of casts · e4a65b2d
  pwendler authored Dec 16, 2010
  e4a65b2d
- Remove all the code that is useless now without the option analysis.noExternalCalls. · f0fca0ef
  pwendler authored Dec 16, 2010
  f0fca0ef
- Remove configuration option "analysis.noExternalCalls". · dc77121f
  pwendler authored Dec 16, 2010
  dc77121f
- refactoring: use list instead of array and use empty list instead of null · bff442a3
  pwendler authored Dec 16, 2010
  bff442a3
- refactoring · 61082a49
  pwendler authored Dec 16, 2010
  61082a49
- refactoring · 757e90b6
  pwendler authored Dec 16, 2010
  757e90b6
- more detailed statistics · 96469159
  pwendler authored Dec 16, 2010
  96469159
- refactoring: remove unused methods · f8efe57b
  pwendler authored Dec 16, 2010
  f8efe57b
Dec 15, 2010
- improve helper method extractLocations · 7c674418
  pwendler authored Dec 15, 2010
  7c674418
- remove outdated warning from config files · cfacf30b
  pwendler authored Dec 15, 2010
  cfacf30b
- change CFA pruning code so that it uses the user-defined specification instead of a hard-coded one · 2951ba68
  pwendler authored Dec 15, 2010
  2951ba68
- javaDocs added in class timer · 29b2dc98
  friedber authored Dec 15, 2010
  29b2dc98
- refactoring + close InputStream correctly · 6e14fc91
  pwendler authored Dec 15, 2010
  6e14fc91
- refactoring · c87ef380
  pwendler authored Dec 15, 2010
  c87ef380
- refactoring: use builder pattern for configuration objects for increased flexibility · 8d4bd68e
  pwendler authored Dec 15, 2010
  8d4bd68e
- errorPathShrinker modified. · 35d7ec8a
  friedber authored Dec 15, 2010
  35d7ec8a
- refactoring · 06eda215
  pwendler authored Dec 15, 2010
  06eda215
- refactoring · 3a4252cc
  pwendler authored Dec 15, 2010
  3a4252cc
- delete accidentially committed file · e9f71b42
  pwendler authored Dec 15, 2010
  e9f71b42
- refactoring · 181c2548
  pwendler authored Dec 15, 2010
  181c2548