New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add mid level commands #177

Open

saulshanabrook wants to merge 2 commits into main from mid-ir

+658 −0

Member

saulshanabrook commented Jun 18, 2024

Try adding a few commands that allow more metaprogramming like functionality, in response to @philzook58's blog post: https://www.philipzucker.com/egglog_z3_simp/


          Add mid level commands

dae78d3

codspeed-hq bot commented Jun 18, 2024 •

edited

Loading

CodSpeed Performance Report

Merging #177 will not alter performance

_{Comparing mid-ir (0adeae3) with main (cb485a2)}

Summary

✅ 7 untouched benchmarks


          Try fixing docs build

0adeae3

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet