<p><span class="h-card" translate="no"><a href="https://mastodon.social/@regehr" class="u-url mention">@<span>regehr</span></a></span> <span class="h-card" translate="no"><a href="https://types.pl/@lenary" class="u-url mention">@<span>lenary</span></a></span> <span class="h-card" translate="no"><a href="https://hachyderm.io/@unlambda" class="u-url mention">@<span>unlambda</span></a></span> actually, since i'm in the early stages of writing a compiler, i want to ask for advice</p><p>i'd like to test it. i can make a filecheck but i feel like in 2025 we should be able to do better. what do i do?</p><p>current plan includes hooking into Z3 and doing extensive automated equivalence checking as it applies transforms, but i've never used z3 as a library befpre</p>
