1
I Use This!
Inactive

Commits : Listings

Analyzed about 5 hours ago. based on code collected about 5 hours ago.
Jun 27, 2024 — Jun 27, 2025
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Added a sample MSC and screenshot of SCStudio More... over 13 years ago
Newer version of ANTLR is prefered. More... over 13 years ago
Repaired a bug in the path-registry installation. Now the address is added even if a subdirectory is included in the registry. More... over 13 years ago
Version number changed to 0.5.0
Petr Gotthard
as gotthardp
More... over 13 years ago
Fixes for CMake 2.8 and ANTLR 3.4
Petr Gotthard
as gotthardp
More... over 13 years ago
ANTLR 3.4 compatibility fixed
Petr Gotthard
as gotthardp
More... over 13 years ago
added new test More... over 13 years ago
Fix bug in find flow algorithm. Algorithm crashed when the diff part should work with coregion. The functionality was not added but a message is printed to the user (Diff is not available). More... over 13 years ago
Fixed: [ scstudio-Bugs-3474488 ] Local Choice not working on coregion. More... over 13 years ago
Fix of a typo in the previous commit. More... over 13 years ago
Fixed memory leak in the Local-choice checker. More... over 13 years ago
added help link for simulation a verification (for every checker) More... over 13 years ago
"unique instance names" changed to lower case in registry(bugfix in checkers options) More... over 13 years ago
titles consistency More... over 13 years ago
examples added to help More... over 13 years ago
new help structure added (without examples yet) More... over 13 years ago
Fixed a race in the E-shop example More... over 13 years ago
Fixed bug #3471318 - with local actions, Race Free and Time Race checkers reported races when there were actually no races More... over 13 years ago
fixed english in element numbering dialog More... over 13 years ago
fixed help of scstudio More... over 13 years ago
added source files of images in help More... over 13 years ago
Partly fixed bug #3471318 - Race Free and Time Race checkers crashing on local actions. Now, it only reports a race sometimes... More... over 13 years ago
fixed example in help for tightening More... over 13 years ago
New CMakeList for generating html files from %.head.htm + menu[i].htm + %.body.htm More... over 13 years ago
Added an example of process-modelling. More... over 13 years ago
Docs: examples: E-shop: fixed a wrong time interval placement in the Bank Transfer Payment More... over 13 years ago
Bugfix: Checkers settings More... over 13 years ago
fixed conflicting output streams in all automatic tests except tightening_test More... over 13 years ago
added alternative output file of an automatic test More... over 13 years ago
fixed conflicting output streams in tightening_test More... over 13 years ago