gzinck / des

Python suite for working with discrete event systems

gzinck/des Issues

Add functionality to build arenas for new paper (Zinck, Ricker 2020)
Updated 4 years ago
Add functionality for building arenas for agent communication
Closed 4 years ago
Finish implementing opacity verification for modular architecture
Closed 5 years ago
Change shape of secret states to rectangles
Closed 5 years ago1
Add a lightweight GUI
Updated 5 years ago
Add ability to build leakage automata
Closed 5 years ago1
Add save as SVG for larger image files
Closed 5 years ago
Add labels for secret leaked states (1 observes 2's secret, etc)
Closed 5 years ago
Improve documentation for all CLI python files
Closed 5 years ago
Make GUI clearer when asking for observer
Closed 5 years ago
Make visualization automatic
Closed 5 years ago1
Add a close automaton function
Closed 5 years ago1
Add ability to check opacity
Closed 5 years ago
Add graphviz support for visualizing graphs
Closed 5 years ago
Accommodate changes in arena construction
Closed 5 years ago1
Refactor arena
Closed 5 years ago
Add the ability to generate a controller for arenas
Closed 5 years ago2
Add a runner to enable users to use the program
Closed 5 years ago
Remove the attacker alphabet (fold in with agents)
Closed 5 years ago
Fix numpy docstring format (use "returns" rather than "yields")
Closed 5 years ago
Add test cases and fixes for arena
Closed 5 years ago
Fix docstrings to use double-quotes
Closed 5 years ago
Turn "marked" states into a list of lists
Closed 5 years ago