Repository navigation
ExclBot vs ExclInvalid #15
Description
I was working through resource_algebra.v and found that ExclBot does not exist, but ExclInvalid does exist. It looks like it was renamed or something.
Is there something wrong with my local setup (I have the wrong version of something installed), or is the tutorial out of date?
Activity
tz18 commentedon Dec 26, 2025
it's out of date, I made a PR to fix it: #16
simongregersen commentedon Jan 26, 2026
Did you follow the instructions in the README to install the right version of the dependencioes?
ExclBotwas indeed renamed in a recent version of Iris and the tutorial has not been updated yet.