Hillel Wayne
Hillel Wayne
Update, I checked `PostconditionSorted` with an `INT_WIDTH` of 10 and it took 26 hours to complete. Suggests to me that the tutorial should use an INT_WIDTH of 6, and then...
Oh man, this is so useful to me. Thank you!
I'll be doing a complete rewrite of the site in 2022, def gonna cover it then!
Leaving this and the other open because they're still good additions to V2
!!! Will look into!
What if for now we put PlusCal and raw TLA+ in separate folders?
That example doesn't match the spec, and doesn't formally prove any properties on its output. [This](https://github.com/deech/LeftPad/blob/master/left-pad.org) looks closer but I don't know enough ATS to evaluate it. Someone with ATS...
Make the PR!
Ooop, looks like I didn't notice the Alloy tests, will fix
Running `regexlint` locally doesn't seem to trigger an error. Is there a specific way I should be running it?