| Fixed (all but one) problems detected by gcc 4.3.0. The build is still broken. |
|
More...
|
over 16 years ago
|
| Many bugs in race checker found and still not working correctly. Hope this commit will resolve build errors |
|
More...
|
over 16 years ago
|
| RaceChecker integrated into new build -- needs to be tested (coming soon) |
|
More...
|
over 16 years ago
|
| Win32 build fixed (added __declspec keywords). |
|
More...
|
over 16 years ago
|
| Directory structure reorganized. |
|
More...
|
over 16 years ago
|
| [no comment] |
|
More...
|
over 16 years ago
|
| Removed warnings on Win32 |
|
More...
|
over 16 years ago
|
| msc_presser replaced by msc_duplicator, new acyclic_checker_test added (not included in build yet), bug in dfs_bmsc_graph_traverser fixed |
|
More...
|
over 16 years ago
|
| livelock_checker_test should be able to be compiled, memory leaks found in regress tests should be removed, new dfs_refnode_hmsc_traverser was added - see comments in header file for details, fifo_checker_test was modified to comply with tests |
|
More...
|
over 16 years ago
|
| Makefile is generated by cmake; should not be in SVN. |
|
More...
|
over 16 years ago
|
| fifo_checker_test and deadlock_checker_test are able to be to compiled and run, livelock_checker_test is comming soon -- tomorrow :) |
|
More...
|
over 16 years ago
|
| Added CTest support. |
|
More...
|
over 16 years ago
|
| Fixed typo in comments. |
|
More...
|
over 16 years ago
|
| Previous version didn't support positioning of incomplete message. It was necessary to change ChannelMapper interface to reflect these changes. |
|
More...
|
over 16 years ago
|
| New traverser DFSBHMscTraverser added -- traverses HMsc in backward manner, please use it if possible. DeadlockChecker is able to be translated. |
|
More...
|
over 16 years ago
|
| Traversers modified with respect to graphical information, checkers need to be updated |
|
More...
|
over 16 years ago
|
| Structure of HMsc was customized for graphical representation. Traversers of HMsc was modified in appropriate way. It is more than possible that checkers need to be modified too. Sorry for current compilation problem it will be corrected as soon as possible. |
|
More...
|
over 16 years ago
|
| changed couple of comments to doxygen brief form (documentation) |
|
More...
|
over 16 years ago
|
| hmsc presser, under construction :) |
|
More...
|
almost 17 years ago
|
| Deadlock checker missed implementation of declared methods, new incomplete version of race checker. |
|
More...
|
almost 17 years ago
|
| connection point bugfix |
|
More...
|
almost 17 years ago
|
| HMsc, EndNode, StartNode constructors |
|
More...
|
almost 17 years ago
|
| DeadlockChecker bug found and corrected, dynamic attribute setting improved to test presence of attribute |
|
More...
|
almost 17 years ago
|
| traverser implementation to livelock algorithm |
|
More...
|
almost 17 years ago
|
| HMsc now supports connections nodes, few bugs were found and corrected. DotWriter as same as livelock_checker needs to be rewritten to follow changes in structure of HMsc. |
|
More...
|
almost 17 years ago
|
| StartNode can now reference EndNode |
|
More...
|
almost 17 years ago
|
| Comments augmented |
|
More...
|
about 17 years ago
|
| Makefile generated by cmake |
|
More...
|
about 17 years ago
|
| Comments augmented |
|
More...
|
about 17 years ago
|
| Added custom build procedure for antlr. |
|
More...
|
about 17 years ago
|
