Martijn Schrage Oblosys

Organizations

@AmpersandTarski
@Oblosys
Feature request: support paths in INCLUDE statements
@Oblosys

Include paths are already supported, but the separator is '/' instead of '\'. The reason for that is that a path is an Ampersand string, so we woul…

@Oblosys
Oblosys edited the Oblosys/Cercando wiki
Oblosys edited the Oblosys/Cercando wiki
Oblosys created the Oblosys/Cercando wiki
Oblosys edited the Oblosys/Cercando wiki
@Oblosys
@Oblosys
Double purposes in functional specifications
@Oblosys

This is an instance of issue #69, which has been addressed by Han.

Oblosys edited the Oblosys/Cercando wiki
Oblosys edited the Oblosys/Cercando wiki
Oblosys edited the Oblosys/Cercando wiki
Oblosys created the Oblosys/Cercando wiki
Oblosys edited the Oblosys/Cercando wiki
Oblosys edited the Oblosys/Cercando wiki
Oblosys created the Oblosys/Cercando wiki
@Oblosys
Oblosys edited the Oblosys/Cercando wiki
Oblosys created the Oblosys/Cercando wiki
@Oblosys

Yeah, the main point of the issue is not so much that this is a bug, as well as something we need to be clear about (and describe somewhere). Unfor…

@Oblosys
  • @Oblosys 89f3e25
    Print purpose for every invariant/process rule
@Oblosys
Duplication due to vprocesses and vpatterns containing the same elements
@Oblosys

Note that mutual exclusion is not currently enforced, and that the sentinel tests will not fail on this (we need edit validation checks for that). …

@Oblosys
@Oblosys
@Oblosys
No mutual exclusion enforced between subconcepts
@Oblosys
@Oblosys

We could choose to only check when --proto is provided. For a prototype the populations are already being computed, and having the check there will…