Commit graph

2 commits

Author SHA1 Message Date
Ayaz Hafiz
190990155e
Correctly introduce new openness variables at the union rank 2023-05-01 13:14:58 -05:00
Ayaz Hafiz
2f43aad8d0
Move uitests to their own crate 2023-04-02 09:11:31 -05:00