T

team-worthwhile/worthwhile

Settings | Report Duplicate

0

I Use This!

Inactive

Commits : Listings

Analyzed 1 day ago. based on code collected 1 day ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Jun 01, 2024 — Jun 01, 2025 Showing page 1 of 63 Search / Filter on:
[abschluss] Change http to https in github url	Leon Handreke	More...				about 13 years ago
[presentation] Remove first slide and adapt title of second one	Joachim	More...				about 13 years ago
[z3model] Nicely format function variables and ternary cascades	Joachim	More...				about 13 years ago
[z3model] Fix build.properties to include target/generated	Joachim	More...				about 13 years ago
[z3model] Update MANIFEST.MF and remove imports to fix build	Joachim	More...				about 13 years ago
[z3model] Show ^Ccer function names in model toString	Joachim	More...				about 13 years ago
[prover,ui] Move prove result parsing to prover	Joachim	More...				about 13 years ago
[product] Add Z3 model parsing plugins to product	Joachim	More...				about 13 years ago
[ui] Show parsed model in prover output	Joachim	More...				about 13 years ago
[z3model] Update model with let and ternary expressions	Joachim	More...				about 13 years ago
[z3model] Add new language infrastructure for Z3 model parsing	Joachim	More...				about 13 years ago
[visitor] Add check for empty main block in AstNodeToStringHelper	Joachim	More...				about 13 years ago
[abschluss] Add more info on program & nicer logo font	Joachim	More...				about 13 years ago
[abschluss] Correct minor issues in presentation	Joachim	More...				about 13 years ago
Fix frame title and uncover hidden lines in listing	Fabian	More...				about 13 years ago
Add frames Erfahrungen and Zukunft	Fabian	More...				about 13 years ago
[abschluss] Fix layout of prsentation	Joachim	More...				about 13 years ago
Adapt section on what Worthwhile is	Leon Handreke	More...				about 13 years ago
Add presentation sample demo.ww for regression test	Fabian	More...				about 13 years ago
Add test program array_min	Fabian	More...				about 13 years ago
Fix checkstyle errors in (Grammar\|Validator)Test	Fabian	More...				about 13 years ago
[prover] Fix comments and remove unnecessary getFound() checks	Joachim	More...				about 13 years ago
Move testReturnStatementOnlyFunction to GrammarTest	Fabian	More...				about 13 years ago
Fix return value variables are bound in the wrong order	Fabian	More...				about 13 years ago
Set actualValidity in RunProgramTest on expressionFailed	Fabian	More...				about 13 years ago
Insert division by zero in loop condition guard as invariant	Fabian	More...				about 13 years ago
Add create(Invariant\|Unequal) to AstNodeCreatorHelper	Fabian	More...				about 13 years ago
Add division by zero in loop condition test program	Fabian	More...				about 13 years ago
Add asserts for all even implementations to test-even.ww	Fabian	More...				about 13 years ago
[prover] Add macro substitution for simple postconditions	Joachim	More...				about 13 years ago

←
1
2
3
4
5
6
7
8
9
…
62
63
→