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.

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

Prover: fix credx credential retrieval #961

Merged
merged 10 commits into from
Aug 30, 2023
Merged

Prover: fix credx credential retrieval #961

merged 10 commits into from
Aug 30, 2023

Commits on Aug 30, 2023

  1. Test code adjustments

    Signed-off-by: Patrik Stas <[email protected]>
    Patrik-Stas committed Aug 30, 2023
    Configuration menu
    Copy the full SHA
    2ec2f65 View commit details
    Browse the repository at this point in the history
  2. wip

    Signed-off-by: Patrik Stas <[email protected]>
    Patrik-Stas committed Aug 30, 2023
    Configuration menu
    Copy the full SHA
    03ef878 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    b8b06d7 View commit details
    Browse the repository at this point in the history
  4. Remove prover_select_credentials_and_fail_to_generate_proof in favor …

    …of simpler testing approach
    
    Signed-off-by: Patrik Stas <[email protected]>
    Patrik-Stas committed Aug 30, 2023
    Configuration menu
    Copy the full SHA
    8e7a4ed View commit details
    Browse the repository at this point in the history
  5. Simplify common testing case of sending proof

    Signed-off-by: Patrik Stas <[email protected]>
    Patrik-Stas committed Aug 30, 2023
    Configuration menu
    Copy the full SHA
    deaf8c2 View commit details
    Browse the repository at this point in the history
  6. Add test test_agency_pool_it_should_select_credentials_for_satisfiabl…

    …e_restriction
    
    Signed-off-by: Patrik Stas <[email protected]>
    Patrik-Stas committed Aug 30, 2023
    Configuration menu
    Copy the full SHA
    26074c3 View commit details
    Browse the repository at this point in the history
  7. Fix credential retrieval by prover

    Signed-off-by: Patrik Stas <[email protected]>
    Patrik-Stas committed Aug 30, 2023
    Configuration menu
    Copy the full SHA
    dd2678a View commit details
    Browse the repository at this point in the history
  8. Do not run test_agency_pool_it_should_fail_to_select_credentials_for_…

    …predicate for credx implementation
    
    Signed-off-by: Patrik Stas <[email protected]>
    Patrik-Stas committed Aug 30, 2023
    Configuration menu
    Copy the full SHA
    0cbee98 View commit details
    Browse the repository at this point in the history
  9. Address code review

    Signed-off-by: Patrik Stas <[email protected]>
    Patrik-Stas committed Aug 30, 2023
    Configuration menu
    Copy the full SHA
    4299e8c View commit details
    Browse the repository at this point in the history
  10. Revert CI change

    Signed-off-by: Patrik Stas <[email protected]>
    Patrik-Stas committed Aug 30, 2023
    Configuration menu
    Copy the full SHA
    ada6976 View commit details
    Browse the repository at this point in the history