Skip to content

Releases: Mocahteam/Laalys

V2.2

22 Dec 08:07
@Muratet Muratet
V2.2
722155b
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
Compare
Choose a tag to compare
V2.2 Latest
Latest

Review socket communication:
Update TriggerableActions: add option to request Laalys by Petri net name
Update GetPetriNetsMarkings: add option to request Laalys by Petri net name
Add ResetPetriNetsFromCurrentMarkings: request Laalys to reset accessibility/coverability graph of all Petri net or by name

Assets 3
Loading

V1.1

23 Nov 09:16
@Muratet Muratet
V1.1
787f8d2
Compare
Choose a tag to compare
V1.1

Correct minor bugs

Assets 3
Loading

V1

08 Dec 15:38
@Muratet Muratet
V1
6c16528
Compare
Choose a tag to compare
V1 
rename folders
Assets 3
Loading