Time changes: no more builtin ms and tweaks.

tweag / cooked-validators

MIT License

39 stars 11 forks source link

Time changes: no more builtin ms and tweaks. #233

Closed mmontin closed 1 year ago

mmontin commented 1 year ago

This PR is both:

an attempt to resolve #230
a set of tweaks working on validity intervals

facundominguez commented 1 year ago

The change in the meaning of slotRangeAfter and slotRangeBefore is looking good to me. I'm getting picky with the validity ranges in the Auction example now.