Project Dependencies
graph TD
A[RoboChart<br/>Graphical Editor<br/><a href='https://app.wercker.com/project/byKey/4cacac5177b87bfbccf0a2f76dc5c6b8'><img alt='Wercker status' src='https://app.wercker.com/status/4cacac5177b87bfbccf0a2f76dc5c6b8/s/master'></a>] --> B[RoboChart<br/>Textual Editor<br/><a href='https://app.wercker.com/project/byKey/06bd33b926dc5acffc73ce5e381fe9ca'><img alt='Wercker status' src='https://app.wercker.com/status/06bd33b926dc5acffc73ce5e381fe9ca/s/master'></a>]
B --> C[RoboChart Metamodel<br/><a href='https://app.wercker.com/project/byKey/d4e803180bb76499fd095643b434bfa4'><img alt='Wercker status' src='https://app.wercker.com/status/d4e803180bb76499fd095643b434bfa4/s/master'></a>]
D[RoboChart<br/>CSP Generator<br/><a href='https://app.wercker.com/project/byKey/46d8dc0291326e97022546cfdc990c65'><img alt='Wercker status' src='https://app.wercker.com/status/46d8dc0291326e97022546cfdc990c65/s/master'></a>] --> B
D --> E[Assertion Language<br/><a href='https://app.wercker.com/project/byKey/767d5cc4107cd8ba068cd87c0a938fe8'><img alt='Wercker status' src='https://app.wercker.com/status/767d5cc4107cd8ba068cd87c0a938fe8/s/master'></a>]
K[RoboChart<br/>PRISM Generator<br/><a href='https://app.wercker.com/project/byKey/23f953359757176f2c064e7c2f7e4ff6'><img alt='Wercker status' src='https://app.wercker.com/status/23f953359757176f2c064e7c2f7e4ff6/s/master'></a>] --> B
E --> B
K --> E
F[RoboSim Metamodel<br/><a href='https://app.wercker.com/project/byKey/2a9fb242e76e338497d8dc86f673bffd'><img alt='Wercker status' src='https://app.wercker.com/status/2a9fb242e76e338497d8dc86f673bffd/s/master'></a>] --> C
G[RoboSim<br/>Textual Editor<br/><a href='https://app.wercker.com/project/byKey/07de73ebc57c8cdcf1226980b3957623'><img alt='Wercker status' src='https://app.wercker.com/status/07de73ebc57c8cdcf1226980b3957623/s/master'></a>] --> F
G --> B
I[RoboSim<br/>CSP Generator<br/><a href='https://github.com/robo-star/circus.robocalc.robosim.generator.csp.parent/actions'><img alt='GitHub CI status' src='https://github.com/robo-star/circus.robocalc.robosim.generator.csp.parent/workflows/CI/badge.svg'></a>] --> D
RA[RoboSim<br/>Assertion Language<br/><a href='https://github.com/robo-star/circus.robocalc.robosim.assertions.parent/actions'><img alt='GitHub CI status' src='https://github.com/robo-star/circus.robocalc.robosim.assertions.parent/workflows/CI/badge.svg'></a>] --> E
I --> G
I --> RA
J[RoboSim<br/>Graphical Editor<br/><a href='https://app.wercker.com/project/byKey/83750d1e048cc0ed3e68c602bdc9c904'><img alt='Wercker status' src='https://app.wercker.com/status/83750d1e048cc0ed3e68c602bdc9c904/s/master'></a>] --> G
J --> A
L[RoboChart<br/>Refactoring<br/><a href='https://app.wercker.com/project/byKey/ad12eb66d4742530d837c1fbd2b2a0a2'><img alt='Wercker status' src='https://app.wercker.com/status/ad12eb66d4742530d837c1fbd2b2a0a2/s/master'></a>] --> A
M[RoboChart<br/>C++ Generator<br/><a href='https://app.wercker.com/project/byKey/574a0da0ce7dff48a07664206e469c55'><img alt='Wercker status' src='https://app.wercker.com/status/574a0da0ce7dff48a07664206e469c55/s/master'></a>] --> B
M --> E
click A "https://github.com/robo-star/circus.robocalc.robochart.graphical.parent" "Link to Graphical Project"
click B "https://github.com/robo-star/circus.robocalc.robochart.textual.parent" "Link to Textual Project"
click C "https://github.com/robo-star/circus.robocalc.robochart.parent" "Link to Metamodel Project"
click D "https://github.com/robo-star/circus.robocalc.robochart.generator.csp.parent" "Link to CSP Generator Project"
click K "https://github.com/robo-star/circus.robocalc.robochart.generator.prism.parent" "Link to PRISM Generator Project"
click E "https://github.com/robo-star/circus.robocalc.robochart.assertions.parent" "Link to Assertions Project"
click F "https://github.com/robo-star/circus.robocalc.robosim.parent" "Link to RoboSim Metamodel Project"
click G "https://github.com/robo-star/circus.robocalc.robosim.textual.parent" "Link to RoboSim Textual Project"
classDef notyet fill:#ccf,stroke-width:2px,stroke:#444,stroke-dasharray: 5, 5;
click I "https://github.com/robo-star/circus.robocalc.robosim.generator.csp.parent" "Link to RoboSim CSP Generator Project"
click RA "https://github.com/robo-star/circus.robocalc.robosim.generator.assertions.parent" "Link to RoboSim Assertions Project"
click J "https://github.com/robo-star/circus.robocalc.robosim.graphical.parent" "Link to RoboSim Graphical Editor Project"
click L "https://github.com/robo-star/circus.robocalc.robochart.refactoring.parent" "Link to RoboChart Refactoring Project"
click M "https://github.com/robo-star/circus.robocalc.robochart.generator.cpp.parent" "Link to RoboChart C++ Generator Project"
Features
|
Metamodel |
Syntax |
Validation |
Graphical |
Editor Tools |
CSP Generator |
Module |
|
|
|
|
|
|
Robotic Platform |
|
|
|
|
|
|
Controller |
|
|
|
|
|
|