search

Minres / CoreDSL

Xtext project to parse CoreDSL files
Apache License 2.0
14 stars 2 forks source link

Spawn statement #106

Closed AtomCrafty closed 10 months ago

AtomCrafty commented 10 months ago

Adds validation for the placement of spawn statements and appropriate test cases. As discussed previously, the analyzer does not check anything related to the execution semantics.

AtomCrafty commented 10 months ago

Unrelated, but please note that I added this sentence to the specification regarding address space declarations.