This repository is used to organize and maintain the Protocol Buffers used across the ECDAR modules. The messages are used to communicate between the Ecdar-GUI and the two back-end model checks: REVEAAL and J-ECDAR.
forked from Ecdar/Ecdar-ProtoBuf
-
Notifications
You must be signed in to change notification settings - Fork 0
Ecdar-SW5/Ecdar-ProtoBuf
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
The ProtoBuf classes used for the intercommunication of the ECDAR subsystems
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published