Skip to content
Snippets Groups Projects
Commit d70c3c7c authored by Johannes Eder's avatar Johannes Eder
Browse files

GREEN

parent 1d098f76
No related branches found
No related tags found
1 merge request!263947
......@@ -6,12 +6,12 @@ code_specification.html 6abb0c1e49b2545e5b3d81444481689ca5bbd611 RED
component_architecture.html 5a01c22bbfb55839ef8d05e5850a926173f9452c RED
cosimulation_with_af3.html a2daa6bb9a39083cf2498df26df54572f69c38da RED
data_dictionary.html 1cfdcfe5879e210456f78095a8b7b4790ab409af RED
getting_started.html 6e6cfc36a1c621f4a5740aaa155bd8a067790c1f YELLOW
getting_started.html 9550a77ddfb6e053bdbce599807e79ead75d9d5a GREEN
hierarchical_state_automaton.html cebd924f514cd50f229c7745e173f76bd0c0038b RED
loading_standard_examples.html a2693477f0afb902f2899d12b3166f01378f6d8d RED
mode_automaton.html dc395eab03cb6920580f54e317c3d203e64cb496 RED
model_element_attributes.html 778a7ff5b5be649b43ec014dd0f7098fd70a6e10 RED
model_markers_view.html e2118aed1a52c285fa35edb6d8f86c69171b7b79 YELLOW
model_markers_view.html fc7a4563f00643e3a6da6d68008160318586425a GREEN
model_testing.html 1337b89d2933f98c3ce76fb70a5e2f96c34c8613 RED
operatorpanels.html a5343a0ad3a8421da55bf809e831b61d968c5623 RED
operatorpanels_advanced.html f48da6255d25f04cf83e5c181bfeba5c537bcfd4 RED
......
......@@ -76,12 +76,7 @@ Getting started help page.
<a href="MIRA.requirements.html">Requirements</a><br />
<a href="MIRA.glossary.html">Glossary</a><br />
</p>
<<<<<<< HEAD
=======
<p style="margin-left: 320px;">&nbsp;</p>
>>>>>>> refs/heads/master
</td>
<td align="center" valign="top"><br />
<img alt="" border="1" height="200" src="gettingStarted/img/sim.png" width="200" /><br />
......@@ -198,7 +193,7 @@ Getting started help page.
<!-- start #footer -->
<div id="footer">
<p style="text-align:center">&copy; 2019 <a href="https://www.fortiss.org/" target="_self">fortiss GmbH</a> - Research Institute of the Free State of Bavaria associated with <a href="https://www.tum.de/" targe="_self">Technical University of Munich</a></p>
<p style="text-align:center">&copy; 2019 <a href="https://www.fortiss.org/" target="_self">fortiss GmbH</a> - Research Institute of the Free State of Bavaria associated with <a href="https://www.tum.de/" target="_self">Technical University of Munich</a></p>
<!-- end #footer --></div>
<!-- end #container --></div>
</body>
......
......@@ -20,10 +20,10 @@ An essential aspect of AutoFOCUS is the <i>early detection of design mistakes</i
This is achieved by running permanently in the background various checks on your project.
Examples of such checks are extremely diversified in AutoFOCUS:
<ul>
<li>completeness of provided information (is a field not filled?)</li>
<li>type checking</li>
<li>syntactic error</li>
<li>causality checks</li>
<li>Completeness of provided information</li>
<li>Type checking</li>
<li>Syntactic error</li>
<li>Causality checks</li>
</ul>
<h4><font color="#336699">Basics</font></h4>
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment