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

Jump to bottom

Updated verify_policy tool #7142

Open
wants to merge 5 commits into
base: master
Choose a base branch
from
Open

Updated verify_policy tool #7142

wants to merge 5 commits into from

Commits on Apr 30, 2021

  1. Updated VerifyPolicy 

    - Added flag to turn on debug mode.
- made CLI more conventional
- documented tool
- added a few more log stmts
    @alxmrs
    alxmrs committed Apr 30, 2021
    Configuration menu
    Copy the full SHA
    ec36bd6 View commit details
    Browse the repository at this point in the history

  2. Less verbose log statement.

    @alxmrs
    alxmrs committed Apr 30, 2021
    Configuration menu
    Copy the full SHA
    f078068 View commit details
    Browse the repository at this point in the history

  3. Nit

    @alxmrs
    alxmrs committed Apr 30, 2021
    Configuration menu
    Copy the full SHA
    2c08bad View commit details
    Browse the repository at this point in the history

  4. Reverted changes to InformationFlow.kt.

    @alxmrs
    alxmrs committed Apr 30, 2021
    Configuration menu
    Copy the full SHA
    d7852ac View commit details
    Browse the repository at this point in the history

Commits on May 5, 2021

  1. Updated OSS tooling to support new CLI.

    @alxmrs
    alxmrs committed May 5, 2021
    Configuration menu
    Copy the full SHA
    802861e View commit details
    Browse the repository at this point in the history