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

Jan 01, 2014
- We have a Sylvester release again! · 8e65b1b1
  dbeyer authored Jan 01, 2014
  View commits for tag cpachecker-1.3 cpachecker-1.3
  8e65b1b1
Dec 31, 2013
- set version string to version 1.3 - A Happy New Year to all of you · 365559d1
  loewe authored Dec 31, 2013
  365559d1
- Roll back to r10208 because of accidentally committing to trunk. · 215a875d
  dresler authored Dec 31, 2013
  215a875d
- Replace java.io.File with common.Path and use the Paths factory. · 3c18755f
  dresler authored Dec 31, 2013
  3c18755f
- CHC-CPA: Minor change to the transfer relation. · fa513d3b
  deangelis authored Dec 31, 2013
  fa513d3b
Dec 29, 2013
- added config files to use for demo category 'challenges' in SV-COMP'14 · 9782e21d
  loewe authored Dec 29, 2013
  9782e21d
Dec 28, 2013
- Implement a basic worker to run checker tasks. · 189f3f21
  dresler authored Dec 28, 2013
  189f3f21
- Add the example.c file for testing purposes. · 3552390c
  dresler authored Dec 28, 2013
  3552390c
- Add a log handler and a log manager to handle CPAchecker logs in App Engine. · ffacfe03
  dresler authored Dec 28, 2013
  ffacfe03
- Add display of status. · 752329e5
  dresler authored Dec 28, 2013
  752329e5
- Save uploaded file to data store. · 7cba9c68
  dresler authored Dec 28, 2013
  7cba9c68
- Add default option to disable proof generation. · 01746adc
  dresler authored Dec 28, 2013
  01746adc
- Disable task reties. · 885b06a2
  dresler authored Dec 28, 2013
  885b06a2
- Add name attribute to file input field. · 91e331f1
  dresler authored Dec 28, 2013
  91e331f1
Dec 27, 2013
- A cpa based on constrained Horn clauses (prototype version). · 4a5a7d62
  deangelis authored Dec 27, 2013
  4a5a7d62
Dec 26, 2013
- Also delete associated entities when deleting a job. · 16b5ccf2
  dresler authored Dec 26, 2013
  16b5ccf2
- Move key retrieval/allocation into DAO and add method to delete a job. · cda8fbdb
  dresler authored Dec 26, 2013
  cda8fbdb
- Set the name of the task based on the job id. · c416494e
  dresler authored Dec 26, 2013
  c416494e
- Use a named queue to be abble to fine tune its settings. · 6fd84ce8
  dresler authored Dec 26, 2013
  6fd84ce8
- Store the task's and the queue's name. · ce0e8985
  dresler authored Dec 26, 2013
  ce0e8985
- Exclude directories from the config/spec selection. · 6293ac06
  dresler authored Dec 26, 2013
  6293ac06
- Add more default options due to App Engine restrictions with java.management. · 220a7026
  dresler authored Dec 26, 2013
  220a7026
Dec 24, 2013
- Fixed the simple "structproblem" test in the arrays subfolder · fdf67486
  mandrykin authored Dec 24, 2013
  fdf67486
Dec 23, 2013
- Fixed offset increment in structure/union assignments · 48a6222c
  mandrykin authored Dec 23, 2013
  48a6222c
- Used #toString() and Set<String> instead of expression path trie (useless due... · ce2c5fd6
  mandrykin authored Dec 23, 2013
  ce2c5fd6
- Fix bugs in declaration and initialization assignments expansion (with default values) · 7bac90b8
  mandrykin authored Dec 23, 2013
  7bac90b8
- Prefer declaration type for every occurrence of an identifier if the... · 3dc02333
  mandrykin authored Dec 23, 2013
  3dc02333
- Bug fixes in declarations and initialization · 4fea3650
  mandrykin authored Dec 23, 2013
  4fea3650
- Added new nondet value kind for expressions in predicate analysis with UFs · 6aae67be
  mandrykin authored Dec 23, 2013
  6aae67be
- Bug fixes in nondet assignments, assignments to unaliased locations and initialization · 39f6fe6e
  mandrykin authored Dec 23, 2013
  39f6fe6e
- Bug fixes: missed case in array expressions and argument casts in undefined function calls · 8a1f48e2
  mandrykin authored Dec 23, 2013
  8a1f48e2
- Bug fixes · 6db972eb
  mandrykin authored Dec 23, 2013
  6db972eb
- Fixed NPE and a ClassCastException in makeAssignment() · cdd0d8ee
  mandrykin authored Dec 23, 2013
  cdd0d8ee
- Added reimplementation of visit() for binary and unary expressions · cfcc05ae
  mandrykin authored Dec 23, 2013
  cfcc05ae
- Fixed array subscript expression handling · 764657ec
  mandrykin authored Dec 23, 2013
  764657ec
- Minor indentation fixes · 3bd4e699
  mandrykin authored Dec 23, 2013
  3bd4e699
- Finished the new initializers implementation in predicate analysis with UFs · 31d08f03
  mandrykin authored Dec 23, 2013
  31d08f03
- Revamped StatementToFormulaWithUFVisitor to make it use the new Expression class · e9bd365d
  mandrykin authored Dec 23, 2013
  e9bd365d
- Revamped ExpressionToFormulaWithUFVisitor with new Expression type, thus got rid of lastTarget · 1a746f99
  mandrykin authored Dec 23, 2013
  1a746f99
- Initial implementation for initialization through assignments · b05a6b03
  mandrykin authored Dec 23, 2013
  b05a6b03