Skip to content

Final adjustments for dynamic staging#461

Draft
ChingLongTin wants to merge 826 commits into
hkust-taco:hkmc2from
ChingLongTin:final🐤

Hidden character warning

The head ref may contain hidden characters: "final\ud83d\udc24"
Draft

Final adjustments for dynamic staging#461
ChingLongTin wants to merge 826 commits into
hkust-taco:hkmc2from
ChingLongTin:final🐤

Conversation

@ChingLongTin
Copy link
Copy Markdown
Contributor

Some of the changes here will be covered by a future merge of the shape branch.

ChingLongTin and others added 30 commits April 7, 2026 00:34
This reverts commit 226c068.
We can dynamically select the instrumented functions if needed, no need
to create a compiler flag.
the parameter names of the class are not used at all, for `class B(x)`, a match case of `if B(1) is B(y)` never assigns to a variable `x`.
Comment thread hkmc2/shared/src/main/scala/hkmc2/codegen/ReflectionInstrumenter.scala Outdated
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.

4 participants