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

Dec 31, 2015
- This is one of the traditional Sylvester releases. · ef0933de
  dbeyer authored Dec 31, 2015
  View commits for tag cpachecker-1.5 cpachecker-1.5
  ef0933de
- Set version string to 1.5 --- in preparation for the Sylvester Release. · 103c41e3
  dbeyer authored Dec 31, 2015
  103c41e3
Dec 25, 2015
- remove custom implementation of preference WIDTH_MIN_LOOPS_MIN; other... · 1489b58e
  loewe authored Dec 25, 2015
  1489b58e
Dec 24, 2015
- Rewrite extractAtoms with a visitor. · e0e89723
  George Karpenkov authored Dec 24, 2015
  e0e89723
- Upgraded to new JavaSMT version. · fe8e0abb
  George Karpenkov authored Dec 24, 2015
  fe8e0abb
Dec 23, 2015
- Rewrite FormulaManagerView.myExtractSubformulas · 956220fd
  pwendler authored Dec 23, 2015
  956220fd
- Revert r19110-19112. · f0d51194
  pwendler authored Dec 23, 2015
  f0d51194
- Rewrite myExtractSubformulas using visitors · 28fafc55
  George Karpenkov authored Dec 23, 2015
  28fafc55
- Construct integer formula manager eagerly · d2c2adfc
  George Karpenkov authored Dec 23, 2015
  d2c2adfc
- fixing Junit-tests. · 81bd79f6
  friedber authored Dec 23, 2015
  81bd79f6
- removing call for simplification of formula. · 9f4af6e7
  friedber authored Dec 23, 2015
  9f4af6e7
- removing optimization that was based on splitting ITE. · 2b095054
  friedber authored Dec 23, 2015
  2b095054
Dec 22, 2015
- reverting r19108 because of interleaved update that already fixed this case. · 5bdd1c53
  friedber authored Dec 22, 2015
  5bdd1c53
- replacing deprecated method with corresponding visitor. · 6221df81
  friedber authored Dec 22, 2015
  6221df81
- replacing code for splitting conjunctions with corresponding visitor. · 01c54002
  friedber authored Dec 22, 2015
  01c54002
- add and use utility method for outgoing edges. · a3e9e195
  friedber authored Dec 22, 2015
  a3e9e195
- rewrite of prefix preference selection · 176cc123
  loewe authored Dec 22, 2015
  176cc123
- ConfigurationOptions.txt · 3606456c
  George Karpenkov authored Dec 22, 2015
  3606456c
- Latest JavaSMT and the associated renamings. · 9ec5e51a
  George Karpenkov authored Dec 22, 2015
  9ec5e51a
- Remove the method already implemented in the base class · 576a68b0
  George Karpenkov authored Dec 22, 2015
  576a68b0
- Reduce visibility of several types from cpa.invariants.formula. · 039c64b3
  pwendler authored Dec 22, 2015
  039c64b3
- Fix exception because field was initialized too early. · b9d9cda6
  pwendler authored Dec 22, 2015
  b9d9cda6
- Use formula visitor instead of deprecated method · 44541a13
  pwendler authored Dec 22, 2015
  44541a13
- disabling to strict assertion. · 2656b000
  friedber authored Dec 22, 2015
  2656b000
- fixing Junit-test · a655ba37
  friedber authored Dec 22, 2015
  a655ba37
- ARGPath: simplification and reducing the dependency of ARGState on a single CFANode. · 149c50f8
  friedber authored Dec 22, 2015
  149c50f8
- removing unused symbol STRING from parser-definition. · 741ad43c
  friedber authored Dec 22, 2015
  741ad43c
- removing unused parameter. · e0bf93f3
  friedber authored Dec 22, 2015
  e0bf93f3
Dec 21, 2015
- fixes for some Eclipse-warnings. · c7701c03
  friedber authored Dec 21, 2015
  c7701c03
- VerifierCloud does not need the scripts anymore; this got absolete. Philipp... · 15547062
  dbeyer authored Dec 21, 2015
  15547062
- Remove usage of deprecated method that is no longer necessary. · d2725bd3
  pwendler authored Dec 21, 2015
  d2725bd3
- Move preconditions project to orphaned projects. · 55a4346f
  pwendler authored Dec 21, 2015
  55a4346f
- avoid unnecessary warnings · 44fe59eb
  pwendler authored Dec 21, 2015
  44fe59eb
Dec 20, 2015
- ARGPath: removing too strict assertion. · 42f9ce2c
  friedber authored Dec 20, 2015
  42f9ce2c
- Removed some redundancy in the code (in order to avoid inconsistencies in the future) · f8bb3603
  stahlbauer authored Dec 20, 2015
  f8bb3603
- Removed some of the code duplication in EclipseCParser · ab51c898
  stahlbauer authored Dec 20, 2015
  ab51c898
- Minor code layout changes · 77da6ba0
  stahlbauer authored Dec 20, 2015
  77da6ba0
Dec 19, 2015
- Get the CPU model from the benchmark model. · 069fa6dd
  ottseb authored Dec 19, 2015
  069fa6dd
Dec 18, 2015
- enable more warnings, javadoc is now checked on validity, as well as missing... · d2504351
  Thomas Stieglmaier authored Dec 18, 2015
  d2504351
- Fixed all remaining javadoc errors · e82cb7b9
  Thomas Stieglmaier authored Dec 18, 2015
  e82cb7b9