Commit graph

3 commits

Author SHA1 Message Date
Folkert
3aa6455795 fix problem with recursive definition constraint gen 2020-11-10 19:40:35 +01:00
Folkert
c8e2edae01 add stuff to ConsList 2020-11-10 14:07:53 +01:00
Folkert
04cdc2a276 keep track of pending phases, so we don't repeat work 2020-11-10 12:57:06 +01:00