Skip to content

Add DRT for batched evaluation#742

Merged
shaobo-he-aws merged 10 commits into
mainfrom
batched-eval-drt
Sep 29, 2025
Merged

Add DRT for batched evaluation#742
shaobo-he-aws merged 10 commits into
mainfrom
batched-eval-drt

Conversation

@shaobo-he-aws

Copy link
Copy Markdown
Contributor

Issue #, if available:

Description of changes:

Signed-off-by: Shaobo He <shaobohe@amazon.com>
@shaobo-he-aws shaobo-he-aws marked this pull request as draft September 16, 2025 19:04
Signed-off-by: Shaobo He <shaobohe@amazon.com>
Signed-off-by: Shaobo He <shaobohe@amazon.com>
Signed-off-by: Shaobo He <shaobohe@amazon.com>
@shaobo-he-aws shaobo-he-aws marked this pull request as ready for review September 16, 2025 23:11
Signed-off-by: Shaobo He <shaobohe@amazon.com>
Signed-off-by: Shaobo He <shaobohe@amazon.com>
Signed-off-by: Shaobo He <shaobohe@amazon.com>
Signed-off-by: Shaobo He <shaobohe@amazon.com>
oflatt
oflatt previously requested changes Sep 17, 2025

@oflatt oflatt left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Nice work! Had some questions about if we could make the testing stronger

Comment thread cedar-drt/fuzz/fuzz_targets/batched-evaluation-drt.rs
Comment thread cedar-drt/fuzz/fuzz_targets/batched-evaluation-pbt.rs Outdated
Comment thread cedar-drt/fuzz/fuzz_targets/batched-evaluation-pbt.rs
Comment thread cedar-lean/CedarFFI/Main.lean Outdated
Signed-off-by: Shaobo He <shaobohe@amazon.com>
Signed-off-by: Shaobo He <shaobohe@amazon.com>
@shaobo-he-aws shaobo-he-aws merged commit e8e4df3 into main Sep 29, 2025
13 checks passed
@shaobo-he-aws shaobo-he-aws deleted the batched-eval-drt branch September 29, 2025 17:05
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