loonwerks / AGREE

Assume-Guarantee REasoning Environment
BSD 3-Clause "New" or "Revised" License
13 stars 5 forks source link

No help documentation for synchrony #92

Open kfhoech opened 2 years ago

kfhoech commented 2 years ago

The in-tool help documentation contains no mention of synchrony. As such, only the synchronous logic is described and there is no mention of the synchrony keyword and the synchronous, quasi-synchronous, and asychronous modes. Additionally, use of the initially keyword is no described.