Commits on Nov 30, 2020

1. Fix typo in control key specification …

   After careful inspection of all the publication as well as the
   current implementations, it is clear that this has to be a typo
   in the README. For violation witnesses we can always use sink
   nodes to mark certain branches as unreachable / to cut the portion
   of state space that follows them, so `control` should really be
   seen as a pure source code guard.

   

   MartinSpiessl committed Nov 30, 2020
   Configuration menu

   • View commit details
   • Copy full SHA for ccf35b9
   • Browse repository at this point

   Copy the full SHA

   ccf35b9 View commit details

   Browse the repository at this point in the history