Issues

• Create class DivisorNotZeroInvariant

  modelprover
  team-worthwhile/worthwhile#117 · Filter by author bafain opened on Mar 10, 2012

• Parse prover output for ProverResult to return AST model

  featuremodelparser / validator / typesystemprover
  team-worthwhile/worthwhile#109 · Filter by author bafain opened on Mar 3, 2012
  1

  

• Formatter breaks syntactic correctness and modifies the program iteratively

  ui
  team-worthwhile/worthwhile#88 · Filter by author jspam opened on Feb 21, 2012
  1

  

• When loop condition + invariant is verified, the whole loop is marked in the UI

  proverui
  team-worthwhile/worthwhile#74 · Filter by author jspam opened on Feb 19, 2012
  8

  

• Pass validity prover output in annotationFailed/Succeeded methods

  featureinterpreter
  team-worthwhile/worthwhile#63 · Filter by author jspam opened on Feb 17, 2012
  

• Return value is not passed on to the prover in postconditions.

  interpreter
  team-worthwhile/worthwhile#61 · Filter by author jspam opened on Feb 17, 2012 · Zwischenbericht Validierungsphase
  5

  

• Interpreter throws ugly error message when prover is missing

  interpreter
  team-worthwhile/worthwhile#58 · Filter by author leonhandreke opened on Feb 17, 2012 · Kolloquium Validierungsphase
  4

  

• Improve `missing EOF at '_ensures'' syntax error

  parser / validator / typesystem
  team-worthwhile/worthwhile#36 · Filter by author bafain opened on Feb 14, 2012 · Kolloquium Validierungsphase
  1

  

• Worthwhile reports Z3 timeout although Z3 is still running

  prover
  team-worthwhile/worthwhile#19 · Filter by author tbormer opened on Feb 7, 2012
  3