Activity for Luis Diaz
-
Luis Diaz posted a comment on ticket #13
Hello, Yes, this is a transition that works for a set of instances. At least for...
-
Names of SM
-
I think this issue can be removed since I thought that in a refined state-machine...
-
Predicates separation in Theories
-
Error while running tool (Automatic Proof Obligation Manager)
-
SM generation - states not updated
-
Hello Lauren, I will describe the scenario where it happen. Being in the proving...
-
Sample: Relation ∈ SETA ↔ SETB It can not be initialized from the diagram like: Relation...
-
Axiom and invariant displayed info in diagrams
-
Opening a proved proof - prune the proof
-
SM for relations n to n
-
Relations can not be initialized
-
Hello, There are some cases where a refined diagram lose the layout and the file...
-
Ordering components in the event-b explorer
-
Possibility of split a model in several event-b projects
-
Refined CD and SM - mark the inheritance
-
Automatically images export
-
One single class diagram (machine & context)
-
Create methods within context class diagrams
-
Create Enumeration from class diagrams
-
Changes not propagated in refined diagrams
-
Removing project with some diagrams open
-
Variable created twice
-
class diagram - name of file
-
Cleaning files when delete components
1