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

Nov 28, 2019
- Release 1.9 of CPAchecker · bdf6fe80
  pwendler authored Nov 28, 2019
  View commits for tag cpachecker-1.9 cpachecker-1.9
  bdf6fe80
- Release 1.9 of CPAchecker · 16364afc
  pwendler authored Nov 28, 2019
  16364afc
- Update BenchExec to version 2.3 · 64c10d17
  pwendler authored Nov 28, 2019
  64c10d17
Nov 27, 2019
- fix configuration for svcomp19 and svcomp20. · b2bbb878
  Karlheinz Friedberger authored Nov 27, 2019
  b2bbb878
- SMG: fix memcleanup after freeing objects. · cbbf9c3e
  Karlheinz Friedberger authored Nov 27, 2019
  cbbf9c3e
- SMG: fix cleanup of state when returning from void main function. · 5263d78e
  Karlheinz Friedberger authored Nov 27, 2019
  5263d78e
- Mark built-in overflow function as unsupported · d25567a6
  spiessl authored Nov 27, 2019
  d25567a6
- Merge branch 128bit-types into trunk · f9b12d99
  lemberge authored Nov 27, 2019
  f9b12d99
- Undo recent changes · b57bf3ca
  mkettl authored Nov 27, 2019
  b57bf3ca
- Initial, very simple test task for addition of 128 bits · 31c6f332
  lemberge authored Nov 27, 2019
  31c6f332
- Remove unnecessary distinction between big integer and long · f80221f9
  lemberge authored Nov 27, 2019
  f80221f9
- Updated handling of bitshift · c132a872
  mkettl authored Nov 27, 2019
  c132a872
- Updated handling of BigDecimal in castNumeric() · 83d524c5
  mkettl authored Nov 27, 2019
  83d524c5
- fix SpotBugs warning about String formatter. · 790f989c
  Karlheinz Friedberger authored Nov 27, 2019
  790f989c
- fix exception for CProblemTypes in additional assumptions. · 3d059371
  Karlheinz Friedberger authored Nov 27, 2019
  3d059371
- SMG: improve plotting larger SMGs and simplify some code. · 85d09184
  Karlheinz Friedberger authored Nov 27, 2019
  85d09184
- add reference to smg-config into smg-config for property memcleanup. · 95bf3062
  Karlheinz Friedberger authored Nov 27, 2019
  95bf3062
- Fix config file checks: ignore unused option · 75b83f87
  spiessl authored Nov 27, 2019
  75b83f87
- Handle built-in functions for overflow checking · 1aaefe39
  spiessl authored Nov 27, 2019
  1aaefe39
- Refactor overflow handling to improve reusability · 7acd7820
  spiessl authored Nov 27, 2019
  7acd7820
- Fix bug in overflow assumptions for unary operator · 3636a3a6
  spiessl authored Nov 27, 2019
  3636a3a6
- Refactor dependencies to make code more reusable · d670bd03
  spiessl authored Nov 27, 2019
  d670bd03
- Add configuration file for witness reduction · 4075cc47
  spiessl authored Nov 27, 2019
  4075cc47
Nov 26, 2019
- fix Python formatting. · e6247fbc
  Karlheinz Friedberger authored Nov 26, 2019
  e6247fbc
- Stop predicate analysis if we encounter GCC's atomic operations · d60b77b4
  pwendler authored Nov 26, 2019
  d60b77b4
- Do not warn about undefined functions whose name starts with "__atomic_" · a9a715d1
  pwendler authored Nov 26, 2019
  a9a715d1
- Stop analysis if we encounter a "longjmp" · 388e8ec0
  pwendler authored Nov 26, 2019
  388e8ec0
Nov 25, 2019
- adding handling for empty tool directories for VCloud usage. · 292d202b
  Karlheinz Friedberger authored Nov 25, 2019
  292d202b
Nov 21, 2019
- Revert "BlockOperator: add fallback in case of missing loop information." · f43a6823
  Karlheinz Friedberger authored Nov 21, 2019
  f43a6823
Nov 20, 2019
- make test-sets more equal to official sv-comp benchmark-definition. · 4599b8a7
  Karlheinz Friedberger authored Nov 20, 2019
  4599b8a7
- SMG: do not catch Exception, but forward them. · 106d6f25
  Karlheinz Friedberger authored Nov 20, 2019
  106d6f25
- Merged fix for crash #660 into trunk · 98173c24
  dpoellmann authored Nov 20, 2019
  98173c24
- Adapted formatting, merged code duplicates, proper handling of the bitshift and some minor changes · 530945a8
  mkettl authored Nov 20, 2019
  530945a8
- updated NEWS, added an entry for cyclic (interleaved) analysis and CoVeriTest · b9bb46d1
  mcjakobs authored Nov 20, 2019
  b9bb46d1
Nov 19, 2019
- SMG: reduce loglevel for SAT solving. · f1c179ea
  Karlheinz Friedberger authored Nov 19, 2019
  f1c179ea
- SMG: transpose SMG plot and reduce number of printed edges. · 359e42d6
  Karlheinz Friedberger authored Nov 19, 2019
  359e42d6
- Update contributors; in preparation of release 1.9 · 163c499d
  dbeyer authored Nov 19, 2019
  163c499d
- Start writing a changelog for the next CPAchecker release · 23eea5ee
  pwendler authored Nov 19, 2019
  23eea5ee
- Added check for CElaboratedType (eg CBitFieldType cannot be cast to CElaboratedType) · 5b52bec0
  dpoellmann authored Nov 19, 2019
  5b52bec0
- Crash from r32266 in CInitializers · 064979c1
  dpoellmann authored Nov 19, 2019
  064979c1