Build #2,184

Continuously builds all semantics plug-ins upon repository changes.

Build: #2184 was successful Changes by Steven Smyth

Build result summary

Details

Completed
Duration
96 minutes
Labels
None
Agent
aeon-himem
Revisions
KIELER Semantics
1bffe15d296612a17051ca81723c55154653da03 1bffe15d296612a17051ca81723c55154653da03
Models Repository
3fb9aba9cef2b03aa7026afff22f254fb1c4c14f 3fb9aba9cef2b03aa7026afff22f254fb1c4c14f
Esterel Tests
9d7ea040b06da1f63f32214321ea844833795297 9d7ea040b06da1f63f32214321ea844833795297
Total tests
16647
Successful since
#2183 ()

Code commits

KIELER Semantics
Author Commit Message Commit date
Steven Smyth Steven Smyth 1bffe15d296612a17051ca81723c55154653da03 1bffe15d296612a17051ca81723c55154653da03 sccharts.sb: fixed inconsistent indentation in transition else case
Steven Smyth Steven Smyth 017c6382ef198ae9d9a1f4f529266b76fd618ced 017c6382ef198ae9d9a1f4f529266b76fd618ced sccharts.sb: lean template is now the official public sb chain
Steven Smyth Steven Smyth f45204c50477808401b15e071c0eb4ecd79be668 f45204c50477808401b15e071c0eb4ecd79be668 Merge branch 'master' of ssh://git.rtsys.informatik.uni-kiel.de:7999/kieler/semantics
Steven Smyth Steven Smyth beb7858cb5f9cd5e1219fad50956bd5b94a0f4c8 m beb7858cb5f9cd5e1219fad50956bd5b94a0f4c8 Merge branch 'master' of ssh://git.rtsys.informatik.uni-kiel.de:7999/kieler/semantics
Steven Smyth Steven Smyth f3db4fc38b3f2d5f2084a1818a7692190c35ee64 m f3db4fc38b3f2d5f2084a1818a7692190c35ee64 sccharts.ui: added alternative update operator style