-
This patch adds more refinements for POET, in particular for tasks and for task properties. Further, there are some new definitions and helper lemmas.
96efa5c0
This patch adds more refinements for POET, in particular for tasks and for task properties. Further, there are some new definitions and helper lemmas.