Skip to content

Add mid level commands#177

Closed
saulshanabrook wants to merge 2 commits into
mainfrom
mid-ir
Closed

Add mid level commands#177
saulshanabrook wants to merge 2 commits into
mainfrom
mid-ir

Conversation

@saulshanabrook
Copy link
Copy Markdown
Member

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/

@codspeed-hq
Copy link
Copy Markdown

codspeed-hq Bot commented Jun 18, 2024

CodSpeed Performance Report

Merging #177 will not alter performance

Comparing mid-ir (0adeae3) with main (cb485a2)

Summary

✅ 7 untouched benchmarks

@saulshanabrook
Copy link
Copy Markdown
Member Author

Closing for now due to lack of interest. Happy to update this if anyone needs it.

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

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant