Joey Chen

Sentry blocked by adblockers

2

Seems like some ad-blockers might disable sentry entirely:  Not sure if this is a known issue, or there is some fix in place already. Looks like there's a quick...

The current template being used by the SMT solver can possibly be improved: instead of "Path -> Transition -> Path", perhaps "(Path & Transition) -> Path" is better. (More elaboration...

Currently the cycle detection equality check uses stringify, which cannot differentiate between arrays which have the same values but different references. e.g. in ``` const xs = pair(1, 1); const...