1
I Use This!
Inactive

Commits : Listings

Analyzed 1 day ago. based on code collected 1 day ago.
Jun 27, 2024 — Jun 27, 2025
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Bugfix: Fixed bug #3219623 (Message numbering is damaged when copied). More... almost 14 years ago
added new correct result for automated tests More... almost 14 years ago
Bugfix: Fixed bug #3219653 (Undo after Ctr-Alt-F). More... almost 14 years ago
added forgotten source file for one test More... almost 14 years ago
fixed bug in component matrix (added condition to rule out wrong input) More... almost 14 years ago
Feature #3221948 implemented (Default settings after installation for Message snapping, Message numbering and Prevent instance rotation) More... almost 14 years ago
Universal Boundedness: correction of generation of counterexamples. More... almost 14 years ago
- some restrictions for message snapping added More... almost 14 years ago
Bugfix: Fixed bug #3199695 (Snap&Glue, mouse control settings). More... almost 14 years ago
Deleting old dialog classes and adding information headers. More... almost 14 years ago
Changing beautify settings dialogs and functions. Adding negative support to dialog. Solving problem of changing coordinates of the ruler. More... almost 14 years ago
Add Win compatibility More... about 14 years ago
Again, Basic MSC.vsx saved in Visio 2003 version. (Due to Bug 3264103). More... about 14 years ago
In the Instance master shape, there was a wrong name of the control. More... about 14 years ago
Add absolute time checking to the new membeership algorithm. Fix bugs. Still needs to implements some details marked by //TODO. More... about 14 years ago
Bug fix in reference node time relation: whether relation is connected top/bottom. Bug occures when relation was connected to one reference node (from top to bottom). More... about 14 years ago
First implementation of membership time algorithm which works over new time matrix. This version does not supposrt absolute time constraints and contains some bugs in relative time constraints checking (for more information see failed tests). More... about 14 years ago
fixed bug in component matrix More... about 14 years ago
fixed bug in build_up method of component matrix More... about 14 years ago
change of list of successors to store less information More... about 14 years ago
change of matrix to sparse matrix More... about 14 years ago
fixed test for race checker More... about 14 years ago
fixed test for time consistency More... about 14 years ago
fixed test for time consistency More... about 14 years ago
added few methods in component matrix More... about 14 years ago
fixed bug in TCSP solver (computes minimal network for given constraints) More... about 14 years ago
fixed tests for time race More... about 14 years ago
fixed time race algortihm to produce correct counterexample (fixed bug 3198220 from tracker) More... about 14 years ago
smal optimizatian of backtrack search algorithm for TCSP More... about 14 years ago
added new result files for automatic tests More... about 14 years ago