adapt to the type change in Gen
from AddressSet
to Selection
#10
Merged
bzinberg merged 7 commits intoprobcomp:20200204-update-dependencies from hhaensel:hh/selectionFeb 4, 2020
+126-120
Commits
Commits on Aug 6, 2019
Commits on Feb 4, 2020
- committed
- committed
- committed
- committed
Revert the PyCall changes in f8ff49a. I still need them locally, but CI is ok with the previous way so let's keep the changes minimal.
committed- committed