Skip to content

Issues: team-worthwhile/worthwhile

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

10 Open 102 Closed
10 Open 102 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Create class DivisorNotZeroInvariant model prover
#117 opened Mar 10, 2012 by bafain
Parse prover output for ProverResult to return AST model feature model parser / validator / typesystem prover
#109 opened Mar 3, 2012 by bafain
@jspam
1
Signal and display the assertion the prover is currently verifying feature prover ui
#97 opened Feb 24, 2012 by bafain
@leonhandreke
Formatter breaks syntactic correctness and modifies the program iteratively ui
#88 opened Feb 21, 2012 by jspam
@jspam
1
When loop condition + invariant is verified, the whole loop is marked in the UI prover ui
#74 opened Feb 19, 2012 by jspam
@jspam
8
Pass validity prover output in annotationFailed/Succeeded methods feature interpreter
#63 opened Feb 17, 2012 by jspam
@FRONDS
Return value is not passed on to the prover in postconditions. interpreter
#61 opened Feb 17, 2012 by jspam Zwischenbericht Validierungsphase
@FRONDS
5
Interpreter throws ugly error message when prover is missing interpreter
#58 opened Feb 17, 2012 by leonhandreke Kolloquium Validierungsphase
@FRONDS
4
Improve `missing EOF at '_ensures'' syntax error parser / validator / typesystem
#36 opened Feb 14, 2012 by bafain Kolloquium Validierungsphase
@MatthiasWagner
1
Worthwhile reports Z3 timeout although Z3 is still running prover
#19 opened Feb 7, 2012 by tbormer
3
ProTip! Find all open issues with in progress development work with linked:pr.