Viewing all changes in revision 199.
- Committer: Peter G. Jensen
- Date: 2018-01-18 10:45:40 UTC
- Revision ID: peter.gjoel@gmail.com-20180118104540-a5r6cgwezcyr68jp
only using closure when proposition is loop invariant (no EG, AF, EX, AX, AU, Deadlock)
expand all
collapse all
added
removed
