Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

VMM'18 Demo and Kompos improvements #270

merged 10 commits into from Sep 17, 2018


2 participants
Copy link

commented Sep 16, 2018

Changes for the VMM'18 demo.

This PR includes a port of @daumayr's ReplayDemo.ns airline booking system.

It fixes various other details, and adds a checkbox to enable a demo-mode layout in Kompos.

It also improves the performance of the rendering in Kompos.
This is done by avoiding sending unnecessary symbol messages, and by delaying rendering to avoid unnecessary repainting.

smarr added some commits Sep 4, 2018

Fixup Kompos stack rendering
- no radio input
- font size can be small

Signed-off-by: Stefan Marr <>
Update bootstrap
Signed-off-by: Stefan Marr <>
Ported ReplayDemo.som to ReplayDemo.ns
This example was originally implemented by Dominik Aumayr for his master thesis work.

Signed-off-by: Stefan Marr <>

@smarr smarr added the enhancement label Sep 16, 2018

@smarr smarr added this to the v0.7.0 milestone Sep 16, 2018

@smarr smarr added this to Open Issues in Completeness via automation Sep 16, 2018

smarr added some commits Sep 12, 2018

Make stack frames clickable in Kompos
Move getSectionIdFromFrame out of debugger, seems more general. locate it next to getSectionId in messages.ts.

Make all elements that have a source location clickable.

Signed-off-by: Stefan Marr <>
Change default port for HTTP to 8880
Signed-off-by: Stefan Marr <>
Added Demo setting to Kompos increasing font size, and focus on code
Signed-off-by: Stefan Marr <>

@smarr smarr force-pushed the async-demo branch from 7b59eed to 46028d4 Sep 16, 2018

daumayr and others added some commits Sep 6, 2018

Group passive entities in Kompos
Co-authored-by: Stefan Marr <>
Signed-off-by: Stefan Marr <>
Delay rendering the system view
This avoids rendering it when date is already outdated.

Signed-off-by: Stefan Marr <>
Avoid sending empty symbol messages to kompos
Signed-off-by: Stefan Marr <>
Make grouping of activities and passive entities more similar
All types of passive entities are now grouped based on their origin.

Signed-off-by: Stefan Marr <>

@smarr smarr changed the title VMM'18 Demo VMM'18 Demo and Kompos improvements Sep 16, 2018


This comment has been minimized.

Copy link
Owner Author

commented Sep 16, 2018

@daumayr would be great, if you could give this a brief review.

Copy link

left a comment

Looks good to me, you cleaned up my grouping hack and it looks like you took care of the frequent layout changes

@smarr smarr merged commit ab4fc0b into dev Sep 17, 2018

4 checks passed

Codacy/PR Quality Review Up to standards. A positive pull request.
continuous-integration/travis-ci/pr The Travis CI build passed
continuous-integration/travis-ci/push The Travis CI build passed
coverage/coveralls Coverage remained the same at 76.614%

Completeness automation moved this from Open Issues to Completed Sep 17, 2018

@smarr smarr deleted the async-demo branch Sep 17, 2018

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.