P

ProB 2

Settings | Report Duplicate

0

I Use This!

Inactive

Commits : Listings

Analyzed 9 days ago. based on code collected 9 days ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Mar 26, 2025 — Mar 26, 2026 Showing page 1 of 219 Search / Filter on:
Delete .travis.yml	Jens Bendisposto	More...				over 6 years ago
Update README.md	Jens Bendisposto	More...				over 6 years ago
bump dev version	Jens Bendisposto	More...				over 6 years ago
Merge branch 'release/3.9.9' into develop	Jens Bendisposto	More...				over 6 years ago
bump release version	Jens Bendisposto	More...				over 6 years ago
Fix a Javadoc error in BSynthesisCommand	dgelessus	More...				over 6 years ago
add method to explicitly set a component amount	Joshua Schmidt	More...				over 6 years ago
make enum package private	Joshua Schmidt	More...				over 6 years ago
add interface for the program synthesis backend	Joshua Schmidt	More...				over 6 years ago
Fix animation matrix command when there is no animation function	dgelessus	More...				almost 7 years ago
Interrupt test case generation earlier	Vu, Fabian (favu100)	More...				almost 7 years ago
Merge branch 'develop' of https://github.com/bendisposto/prob2 into develop	Vu, Fabian (favu100)	More...				almost 7 years ago
Handle error functor in CbcSolveCommand	Vu, Fabian (favu100)	More...				almost 7 years ago
Rewrite equals and hashCode of State and Transition	dgelessus	More...				almost 7 years ago
Update Gradle SonarQube plugin to 2.7.1 to fix Sonar JaCoCo warnings	dgelessus	More...				almost 7 years ago
Fix NPE in Extraction	favu100	More...				almost 7 years ago
Fix a NPE in Extraction	favu100	More...				almost 7 years ago
Try to fix another NPE in Extraction	favu100	More...				almost 7 years ago
Try to fix ClassCastException in FeasibilityAnalysis	favu100	More...				almost 7 years ago
Try to fix parse errors for empty guards	favu100	More...				almost 7 years ago
Try to fix NPE in Extraction	favu100	More...				almost 7 years ago
Add a few TODOs	Vu, Fabian (favu100)	More...				almost 7 years ago
Add information about interruption to TestCaseGeneratorResult	Vu, Fabian (favu100)	More...				almost 7 years ago
Provide opportunity to interrupt test case generation	Vu, Fabian (favu100)	More...				almost 7 years ago
Fix NPE in FindTestPathCommand	Vu, Fabian (favu100)	More...				almost 7 years ago
Merge branch 'develop' of https://github.com/bendisposto/prob2 into develop	Vu, Fabian (favu100)	More...				almost 7 years ago
Update FindTestPathCommand and ConstraintBasedTestCaseGenerator	Vu, Fabian (favu100)	More...				almost 7 years ago
Fix intendation in FindTestPathCommand	favu100	More...				almost 7 years ago
Merge branch 'develop' of https://github.com/bendisposto/prob2 into develop	favu100	More...				almost 7 years ago
Merge	favu100	More...				almost 7 years ago

←
1
2
3
4
5
6
7
8
9
…
218
219
→