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

PDEP-1 Revision (Decision Making) #53576

Merged
merged 19 commits into from
Apr 1, 2024
Merged

Commits on May 3, 2023

  1. adding voting draft

    noatamir committed May 3, 2023
    Configuration menu
    Copy the full SHA
    a9c499d View commit details
    Browse the repository at this point in the history
  2. new workflow intro

    noatamir committed May 3, 2023
    Configuration menu
    Copy the full SHA
    233c03e View commit details
    Browse the repository at this point in the history

Commits on May 10, 2023

  1. update after feedback

    noatamir committed May 10, 2023
    Configuration menu
    Copy the full SHA
    45c95fc View commit details
    Browse the repository at this point in the history
  2. fix errors

    noatamir committed May 10, 2023
    Configuration menu
    Copy the full SHA
    0133e82 View commit details
    Browse the repository at this point in the history
  3. fix errors

    noatamir committed May 10, 2023
    Configuration menu
    Copy the full SHA
    4ad9f80 View commit details
    Browse the repository at this point in the history

Commits on Jun 9, 2023

  1. Configuration menu
    Copy the full SHA
    8108b43 View commit details
    Browse the repository at this point in the history
  2. Apply suggestions from code review

    Co-authored-by: Irv Lustig <irv@princeton.com>
    noatamir and Dr-Irv authored Jun 9, 2023
    Configuration menu
    Copy the full SHA
    2b3c5ad View commit details
    Browse the repository at this point in the history

Commits on Jun 14, 2023

  1. clarification

    noatamir authored Jun 14, 2023
    Configuration menu
    Copy the full SHA
    9092668 View commit details
    Browse the repository at this point in the history

Commits on Jun 16, 2023

  1. updated based on feedback

    noatamir committed Jun 16, 2023
    Configuration menu
    Copy the full SHA
    a737034 View commit details
    Browse the repository at this point in the history
  2. updated based on feedback

    noatamir committed Jun 16, 2023
    Configuration menu
    Copy the full SHA
    a59e759 View commit details
    Browse the repository at this point in the history
  3. typo

    noatamir committed Jun 16, 2023
    Configuration menu
    Copy the full SHA
    48b3300 View commit details
    Browse the repository at this point in the history

Commits on Jul 9, 2023

  1. Updated following Simon's feedback

    Co-authored-by: Simon Hawkins <simonjayhawkins@gmail.com>
    noatamir and simonjayhawkins authored Jul 9, 2023
    Configuration menu
    Copy the full SHA
    32fce5e View commit details
    Browse the repository at this point in the history

Commits on Feb 23, 2024

  1. Apply suggestions from code review

    Co-authored-by: Irv Lustig <irv@princeton.com>
    jorisvandenbossche and Dr-Irv authored Feb 23, 2024
    Configuration menu
    Copy the full SHA
    0530d29 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    288e005 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    809ae6f View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    d5a1869 View commit details
    Browse the repository at this point in the history
  5. 3 Configuration menu
    Copy the full SHA
    88a7db9 View commit details
    Browse the repository at this point in the history

Commits on Mar 5, 2024

  1. Configuration menu
    Copy the full SHA
    97ba480 View commit details
    Browse the repository at this point in the history

Commits on Mar 6, 2024

  1. Configuration menu
    Copy the full SHA
    e18db08 View commit details
    Browse the repository at this point in the history