[PIR] support verify in trait or interface. #57550
Merged
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
|
你的PR提交成功，感谢你对开源项目的贡献! |
winter-wang
force-pushed
the
ir_develop
branch
from
d351cec to
debe468
Compare
zhangboSJTU
reviewed
Sep 21, 2023
winter-wang
dismissed stale reviews from zhangboSJTU and 2742195759
via
78de02e
winter-wang
force-pushed
the
ir_develop
branch
3 times, most recently
from
cdde73f to
db75571
Compare
winter-wang
force-pushed
the
ir_develop
branch
from
db75571 to
ff4fc2c
Compare
winter-wang
force-pushed
the
ir_develop
branch
from
427b7ad to
29f534b
Compare
zhangbo9674
approved these changes
Sep 21, 2023
Frida-a
pushed a commit
to Frida-a/Paddle
that referenced
this pull request
Oct 14, 2023
* [PIR] support verify in trait or interface. * [PIR] fix typo error
jiahy0825
pushed a commit
to jiahy0825/Paddle
that referenced
this pull request
Oct 16, 2023
* [PIR] support verify in trait or interface. * [PIR] fix typo error
danleifeng
pushed a commit
to danleifeng/Paddle
that referenced
this pull request
Nov 14, 2023
* [PIR] support verify in trait or interface. * [PIR] fix typo error
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
4 participants
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
PR types
New features
PR changes
Others
Description
支持Trait和Interface的开发者在自己定义的Trait或者Interface里面定义Verify()函数。该Trait或者Interface所附着的operation在Verify的时候，会自动调用该Trait或者Interface的Veriy函数，
移除了ir.cc中无意义的 OpResult::dyn_cast_from()的调用。
Other
Pcard-67164