Skip to content
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

Indykite 1.0 and 1.1 interop config and results. #174

Merged
merged 15 commits into from
Oct 15, 2024
Merged

Indykite 1.0 and 1.1 interop config and results. #174

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
15 commits
Select commit Hold shift + click to select a range
5535e59
Indykite 1.0 and 1.1 interop config and results.
Oct 15, 2024
8b87da0
added SGNL test file
tulshi Oct 11, 2024
7b6ecf4
fixed typo in action name for boxcarred evaluations
tulshi Oct 11, 2024
f04cd52
added PlainID to PDP list and interop results
ogazitt Oct 12, 2024
596b489
added SGNL to 1.1 and 1.0-id pdps, removed from 1.0-preview. also add…
ogazitt Oct 12, 2024
fe0b1ca
removed SGNL from 1.0-preview since it does not pass this suite anymore
ogazitt Oct 12, 2024
e91b11d
fix url error in plainid pdp
ogazitt Oct 12, 2024
094e401
Added the Axiomatics results for the implementer's draft
davidjbrossard Oct 14, 2024
6fe40f3
Updated md format to be in the format expected by the interop website
davidjbrossard Oct 14, 2024
3669021
slight cleanup
ogazitt Oct 14, 2024
6f78d99
Indykite 1.0 and 1.1 interop config and results.
Oct 15, 2024
2de3dd5
resolve merge conflicts
Oct 15, 2024
505d4d4
resolve merge conflicts 2
Oct 15, 2024
bc86195
Merge branch 'main' into feature/indykite-11-interop
baboulebou Oct 15, 2024
a444572
slight cleanup of results
ogazitt Oct 15, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading
Loading