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

May 12, 2016
- Release 1.6 · 65a5aeb2
  pwendler authored May 12, 2016
  View commits for tag cpachecker-1.6 cpachecker-1.6
  65a5aeb2
- Release 1.6 · acaffa52
  pwendler authored May 12, 2016
  acaffa52
- equals removed · d6acd113
  mtoews authored May 12, 2016
  d6acd113
- unread fields removed · 4a634086
  mtoews authored May 12, 2016
  4a634086
- Remove a few empty directories. · d8abfe58
  pwendler authored May 12, 2016
  d8abfe58
- Remove outdated scripts for benchmark-results processing: · cebceb06
  pwendler authored May 12, 2016
  cebceb06
- Tweak CSS in counterexample report to avoid hiding · 3cfa7cf1
  pwendler authored May 12, 2016
  3cfa7cf1
- Update java-smt to newest revision. · 6d8a37d2
  Thomas Stieglmaier authored May 12, 2016
  6d8a37d2
- Add non-bitprecise invgen config. · 2abec9fb
  Thomas Stieglmaier authored May 12, 2016
  2abec9fb
- Renamed invariant generation config, it is bitprecise and later on we want... · 7119fec1
  Thomas Stieglmaier authored May 12, 2016
  7119fec1
May 11, 2016
- add (temporary) option to disable generation of assumptions (for cex-check) in... · 3ec6e907
  loewe authored May 11, 2016
  3ec6e907
- Made SetUtil a real static utility class · faeaa9be
  dangl authored May 11, 2016
  faeaa9be
- Removed the superfluos 'clone' function from the SetUtils class; use the... · da592b9b
  dangl authored May 11, 2016
  da592b9b
- Remove superfluous and unused utility method for checking if a set is subset... · 53ffc707
  dangl authored May 11, 2016
  53ffc707
- Remove superfluous and unused utility method for testing set equality: Use... · 2d8c6f1b
  dangl authored May 11, 2016
  2d8c6f1b
- LPI: dump failed abstraction qureries to logger · 39808bfa
  George Karpenkov authored May 11, 2016
  39808bfa
- Display CPAchecker version used to generate the report and add link to the CPAchecker homepage. · e978d6ea
  ottseb authored May 11, 2016
  e978d6ea
- Rename script for filling in the graphs of the new report · 19e1e4f9
  pwendler authored May 11, 2016
  19e1e4f9
- Remove old report generator and all the JSON output files it needed. · b09df6c8
  pwendler authored May 11, 2016
  b09df6c8
- Print message if no report is found in the output directory and indent function names. · 535addcc
  ottseb authored May 11, 2016
  535addcc
- Only try to find "scripts" directory if necessary. · 149e56f9
  pwendler authored May 11, 2016
  149e56f9
- Bundle report template in JAR file instead of in scripts directory. · 8c4d00ff
  pwendler authored May 11, 2016
  8c4d00ff
- Fixed some FindBugs warnings by implementing equals and hashCode for the... · 97f64d99
  dangl authored May 11, 2016
  97f64d99
- Handle model-generation problems during counterexample analysis better. · 9ca27f3d
  pwendler authored May 11, 2016
  9ca27f3d
- LPI linearization: use NNF form instead of manually transforming ITE · a24a7bb6
  George Karpenkov authored May 11, 2016
  a24a7bb6
- Fix performance issue in RCNFManager: · bfbad2e6
  George Karpenkov authored May 11, 2016
  bfbad2e6
- Exclude a few files from integration tests to reduce BuildBot noise. · fd534f53
  pwendler authored May 11, 2016
  fd534f53
- Refactoring increase visibility of some methods and add documentation for them. · 3d0a4470
  Thomas Stieglmaier authored May 11, 2016
  3d0a4470
- Cancel asynchronous invariant generation when the main analysis is stopped. · a3b83a92
  Thomas Stieglmaier authored May 11, 2016
  a3b83a92
- Refactoring: reduce visibility of fields. · c89c6fda
  Thomas Stieglmaier authored May 11, 2016
  c89c6fda
May 10, 2016
- Add hint if ARG or CFAs are missing. · bad4f70f
  ottseb authored May 10, 2016
  bad4f70f
- Add license header. · 465856e0
  ottseb authored May 10, 2016
  465856e0
- Replace broken links to graphics with unicode symbols. · c3b1b126
  ottseb authored May 10, 2016
  c3b1b126
- Remove unused method. · da52ed9d
  George Karpenkov authored May 10, 2016
  da52ed9d
- Update ConfigurationOptions.txt · f8f7208d
  George Karpenkov authored May 10, 2016
  f8f7208d
- fixing compilation-warning for BuildBot. · 4f19d6ab
  Karlheinz Friedberger authored May 10, 2016
  4f19d6ab
- LPI: fix performance degradation for syntactic val det check · 8f630ff0
  George Karpenkov authored May 10, 2016
  8f630ff0
- LPI: different algorithms for converting a formula to a set of lemmas. · 1bb05efb
  George Karpenkov authored May 10, 2016
  1bb05efb
- Make some path resolutions work even if CPAchecker is executed in a · f340e397
  pwendler authored May 10, 2016
  f340e397
- ConfigurationOptions.txt · 7c4f2019
  George Karpenkov authored May 10, 2016
  7c4f2019