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

Pure and zero concentrated adaptive composition #26

Closed
wants to merge 123 commits into from
Closed

Pure and zero concentrated adaptive composition #26

wants to merge 123 commits into from

Commits on Jun 3, 2024

  1. proof skeleton

    @mjdemedeiros
    mjdemedeiros committed Jun 3, 2024
    Configuration menu
    Copy the full SHA
    1f7f8cb View commit details
    Browse the repository at this point in the history

  2. eod checkpoint

    @mjdemedeiros
    mjdemedeiros committed Jun 3, 2024
    Configuration menu
    Copy the full SHA
    f702047 View commit details
    Browse the repository at this point in the history

  3. nit

    @mjdemedeiros
    mjdemedeiros committed Jun 3, 2024
    Configuration menu
    Copy the full SHA
    45ad46e View commit details
    Browse the repository at this point in the history

Commits on Jun 4, 2024

  1. checkpoint compose proof before changing side conditions

    @mjdemedeiros
    mjdemedeiros committed Jun 4, 2024
    Configuration menu
    Copy the full SHA
    6c536b7 View commit details
    Browse the repository at this point in the history

  2. nit

    @mjdemedeiros
    mjdemedeiros committed Jun 4, 2024
    Configuration menu
    Copy the full SHA
    f9a515d View commit details
    Browse the repository at this point in the history

  3. done up to strengthening

    @mjdemedeiros
    mjdemedeiros committed Jun 4, 2024
    Configuration menu
    Copy the full SHA
    6262ba8 View commit details
    Browse the repository at this point in the history

  4. eliminate g top issue with classical

    @mjdemedeiros
    mjdemedeiros committed Jun 4, 2024
    Configuration menu
    Copy the full SHA
    1b7cd13 View commit details
    Browse the repository at this point in the history

  5. restrict composition to only nonempty middle types

    @mjdemedeiros
    mjdemedeiros committed Jun 4, 2024
    Configuration menu
    Copy the full SHA
    81749c4 View commit details
    Browse the repository at this point in the history

  6. template adaptive composition

    @mjdemedeiros
    mjdemedeiros committed Jun 4, 2024
    Configuration menu
    Copy the full SHA
    2576335 View commit details
    Browse the repository at this point in the history

  7. NonZeroNQ

    @mjdemedeiros
    mjdemedeiros committed Jun 4, 2024
    Configuration menu
    Copy the full SHA
    737d955 View commit details
    Browse the repository at this point in the history

  8. skech marginal-returning adaptive and conditioning chain rule

    @mjdemedeiros
    mjdemedeiros committed Jun 4, 2024
    Configuration menu
    Copy the full SHA
    a6d03f9 View commit details
    Browse the repository at this point in the history

Commits on Jun 5, 2024

  1. chain rule

    @mjdemedeiros
    mjdemedeiros committed Jun 5, 2024
    Configuration menu
    Copy the full SHA
    7d659b4 View commit details
    Browse the repository at this point in the history

  2. better pure proof w/ chain rule

    @mjdemedeiros
    mjdemedeiros committed Jun 5, 2024
    Configuration menu
    Copy the full SHA
    e21a510 View commit details
    Browse the repository at this point in the history

  3. adaptive composition proof skeleton

    @mjdemedeiros
    mjdemedeiros committed Jun 5, 2024
    Configuration menu
    Copy the full SHA
    1d4ad5e View commit details
    Browse the repository at this point in the history

  4. skeleton for renyi bound proof

    @mjdemedeiros
    mjdemedeiros committed Jun 5, 2024
    Configuration menu
    Copy the full SHA
    96ef09e View commit details
    Browse the repository at this point in the history

  5. nits

    @mjdemedeiros
    mjdemedeiros committed Jun 5, 2024
    Configuration menu
    Copy the full SHA
    9c8cb6c View commit details
    Browse the repository at this point in the history

  6. some progress on main Renyi lemmas

    @mjdemedeiros
    mjdemedeiros committed Jun 5, 2024
    Configuration menu
    Copy the full SHA
    d8c6cea View commit details
    Browse the repository at this point in the history

  7. close some side conditions

    @mjdemedeiros
    mjdemedeiros committed Jun 5, 2024
    Configuration menu
    Copy the full SHA
    2d0590a View commit details
    Browse the repository at this point in the history

Commits on Jun 6, 2024

  1. refactor

    @mjdemedeiros
    mjdemedeiros committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    ca93118 View commit details
    Browse the repository at this point in the history

  2. close some side conditions

    @mjdemedeiros
    mjdemedeiros committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    db375c3 View commit details
    Browse the repository at this point in the history

  3. close some side conditions

    @mjdemedeiros
    mjdemedeiros committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    a452caf View commit details
    Browse the repository at this point in the history

  4. close some side conditions

    @mjdemedeiros
    mjdemedeiros committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    44813a1 View commit details
    Browse the repository at this point in the history

  5. inline RentyDivergence_exp and fix build

    @mjdemedeiros
    mjdemedeiros committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    4b40cc1 View commit details
    Browse the repository at this point in the history

Commits on Jun 7, 2024

  1. more side conditions

    @mjdemedeiros
    mjdemedeiros committed Jun 7, 2024
    Configuration menu
    Copy the full SHA
    546c565 View commit details
    Browse the repository at this point in the history

  2. try to move away from explicit iSup

    @mjdemedeiros
    mjdemedeiros committed Jun 7, 2024
    Configuration menu
    Copy the full SHA
    2bb868f View commit details
    Browse the repository at this point in the history

  3. renyi bound proof

    @mjdemedeiros
    mjdemedeiros committed Jun 7, 2024
    Configuration menu
    Copy the full SHA
    23c422f View commit details
    Browse the repository at this point in the history

  4. some cleanup

    @mjdemedeiros
    mjdemedeiros committed Jun 7, 2024
    Configuration menu
    Copy the full SHA
    0c06bb2 View commit details
    Browse the repository at this point in the history

  5. close some side conditions

    @mjdemedeiros
    mjdemedeiros committed Jun 7, 2024
    Configuration menu
    Copy the full SHA
    a9e8d0d View commit details
    Browse the repository at this point in the history

  6. close more side conditions

    @mjdemedeiros
    mjdemedeiros committed Jun 7, 2024
    Configuration menu
    Copy the full SHA
    df5a7be View commit details
    Browse the repository at this point in the history

  7. strengthen hypothesis: uniform bound on nq2

    @mjdemedeiros
    mjdemedeiros committed Jun 7, 2024
    Configuration menu
    Copy the full SHA
    4f04313 View commit details
    Browse the repository at this point in the history

  8. checkpoint

    @mjdemedeiros
    mjdemedeiros committed Jun 7, 2024
    Configuration menu
    Copy the full SHA
    dd2dbad View commit details
    Browse the repository at this point in the history

  9. modify boundedness hypothesis

    @mjdemedeiros
    mjdemedeiros committed Jun 7, 2024
    Configuration menu
    Copy the full SHA
    107ccd5 View commit details
    Browse the repository at this point in the history

  10. checkpoint

    @mjdemedeiros
    mjdemedeiros committed Jun 7, 2024
    Configuration menu
    Copy the full SHA
    bf48995 View commit details
    Browse the repository at this point in the history

Commits on Jun 10, 2024

  1. proofs closed

    @mjdemedeiros
    mjdemedeiros committed Jun 10, 2024
    Configuration menu
    Copy the full SHA
    ae0265b View commit details
    Browse the repository at this point in the history

  2. tidy some bound hypotheses

    @mjdemedeiros
    mjdemedeiros committed Jun 10, 2024
    Configuration menu
    Copy the full SHA
    ee42d5f View commit details
    Browse the repository at this point in the history

  3. some cleanup

    @mjdemedeiros
    mjdemedeiros committed Jun 10, 2024
    Configuration menu
    Copy the full SHA
    ee98f4d View commit details
    Browse the repository at this point in the history

  4. extend system

    @mjdemedeiros
    mjdemedeiros committed Jun 10, 2024
    Configuration menu
    Copy the full SHA
    2312e14 View commit details
    Browse the repository at this point in the history

  5. fix sorry

    @mjdemedeiros
    mjdemedeiros committed Jun 10, 2024
    Configuration menu
    Copy the full SHA
    e62af89 View commit details
    Browse the repository at this point in the history

Commits on Jun 13, 2024

  1. elog and eexp

    @mjdemedeiros
    mjdemedeiros committed Jun 13, 2024
    Configuration menu
    Copy the full SHA
    166e321 View commit details
    Browse the repository at this point in the history

Commits on Jun 14, 2024

  1. Change Renyi divergence type and stub proofs

    @mjdemedeiros
    mjdemedeiros committed Jun 14, 2024
    Configuration menu
    Copy the full SHA
    0e71120 View commit details
    Browse the repository at this point in the history

  2. Define ENReal -> ENNReal coercion

    @mjdemedeiros
    mjdemedeiros committed Jun 14, 2024
    Configuration menu
    Copy the full SHA
    7c64a91 View commit details
    Browse the repository at this point in the history

  3. copy RenyiDivergence_def_exp proof from other branch

    @mjdemedeiros
    mjdemedeiros committed Jun 14, 2024
    Configuration menu
    Copy the full SHA
    ee2d88d View commit details
    Browse the repository at this point in the history

  4. Implement RenyiDivergence_def_exp

    @mjdemedeiros
    mjdemedeiros committed Jun 14, 2024
    Configuration menu
    Copy the full SHA
    8841b84 View commit details
    Browse the repository at this point in the history

  5. prove closed form for expectation formula (absolute continuity assump… 

    …tion)
    @mjdemedeiros
    mjdemedeiros committed Jun 14, 2024
    Configuration menu
    Copy the full SHA
    202a6b1 View commit details
    Browse the repository at this point in the history

  6. Move Jensen's inequality to Renyi

    @mjdemedeiros
    mjdemedeiros committed Jun 14, 2024
    Configuration menu
    Copy the full SHA
    a0c3a40 View commit details
    Browse the repository at this point in the history

  7. Sketch Jensen's inequality for ENNReal

    @mjdemedeiros
    mjdemedeiros committed Jun 14, 2024
    Configuration menu
    Copy the full SHA
    538baa3 View commit details
    Browse the repository at this point in the history

  8. checkpoint log lemmas

    @mjdemedeiros
    mjdemedeiros committed Jun 14, 2024
    Configuration menu
    Copy the full SHA
    e68ed82 View commit details
    Browse the repository at this point in the history

Commits on Jun 17, 2024

  1. checkpoint

    @mjdemedeiros
    mjdemedeiros committed Jun 17, 2024
    Configuration menu
    Copy the full SHA
    634fa7c View commit details
    Browse the repository at this point in the history

  2. checkpoint

    @mjdemedeiros
    mjdemedeiros committed Jun 17, 2024
    Configuration menu
    Copy the full SHA
    73f66b8 View commit details
    Browse the repository at this point in the history

  3. main MemLP proof for Renyi

    @mjdemedeiros
    mjdemedeiros committed Jun 17, 2024
    Configuration menu
    Copy the full SHA
    7112e0d View commit details
    Browse the repository at this point in the history

  4. close side conditition

    @mjdemedeiros
    mjdemedeiros committed Jun 17, 2024
    Configuration menu
    Copy the full SHA
    c2f7871 View commit details
    Browse the repository at this point in the history

  5. remove hypotheses from RenyiDivergence_def_exp

    @mjdemedeiros
    mjdemedeiros committed Jun 17, 2024
    Configuration menu
    Copy the full SHA
    3fbe660 View commit details
    Browse the repository at this point in the history

  6. checkpoint proof of nonnegativity from paper

    @mjdemedeiros
    mjdemedeiros committed Jun 17, 2024
    Configuration menu
    Copy the full SHA
    59b5fc9 View commit details
    Browse the repository at this point in the history

Commits on Jun 18, 2024

  1. make postprocessing compile

    @mjdemedeiros
    mjdemedeiros committed Jun 18, 2024
    Configuration menu
    Copy the full SHA
    eb3e7de View commit details
    Browse the repository at this point in the history

  2. composition compiles

    @mjdemedeiros
    mjdemedeiros committed Jun 18, 2024
    Configuration menu
    Copy the full SHA
    cc447e5 View commit details
    Browse the repository at this point in the history

  3. Perperties compiles

    @mjdemedeiros
    mjdemedeiros committed Jun 18, 2024
    Configuration menu
    Copy the full SHA
    ec6c9eb View commit details
    Browse the repository at this point in the history

  4. project compiles again

    @mjdemedeiros
    mjdemedeiros committed Jun 18, 2024
    Configuration menu
    Copy the full SHA
    01c4209 View commit details
    Browse the repository at this point in the history

  5. checkpoint

    @mjdemedeiros
    mjdemedeiros committed Jun 18, 2024
    Configuration menu
    Copy the full SHA
    42999e7 View commit details
    Browse the repository at this point in the history

  6. checkpoint

    @mjdemedeiros
    mjdemedeiros committed Jun 18, 2024
    Configuration menu
    Copy the full SHA
    b7c99a2 View commit details
    Browse the repository at this point in the history

  7. PMF cancellation lemmas

    @mjdemedeiros
    mjdemedeiros committed Jun 18, 2024
    Configuration menu
    Copy the full SHA
    8529cb7 View commit details
    Browse the repository at this point in the history

  8. close reduct proof

    @mjdemedeiros
    mjdemedeiros committed Jun 18, 2024
    Configuration menu
    Copy the full SHA
    936bc8b View commit details
    Browse the repository at this point in the history

  9. close some side conditions in Renyi

    @mjdemedeiros
    mjdemedeiros committed Jun 18, 2024
    Configuration menu
    Copy the full SHA
    91db8e0 View commit details
    Browse the repository at this point in the history

  10. Reduction for the full Renyi case

    @mjdemedeiros
    mjdemedeiros committed Jun 18, 2024
    Configuration menu
    Copy the full SHA
    1e76fc8 View commit details
    Browse the repository at this point in the history

Commits on Jun 19, 2024

  1. close nonnegativity proof for Renyi divergence

    @mjdemedeiros
    mjdemedeiros committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    c120a5c View commit details
    Browse the repository at this point in the history

  2. Prove Da(P,P)=0

    @mjdemedeiros
    mjdemedeiros committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    db56434 View commit details
    Browse the repository at this point in the history

  3. Gaussian gen PMF definition

    @mjdemedeiros
    mjdemedeiros committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    fc17bca View commit details
    Browse the repository at this point in the history

  4. discrete gaussian PMF

    @mjdemedeiros
    mjdemedeiros committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    307568c View commit details
    Browse the repository at this point in the history

  5. sketch Renyi_Gauss_divergence_bound' (it is fixable)

    @mjdemedeiros
    mjdemedeiros committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    40869a9 View commit details
    Browse the repository at this point in the history

  6. discrete_GaussianGenSample_ZeroConcentrated

    @mjdemedeiros
    mjdemedeiros committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    633953f View commit details
    Browse the repository at this point in the history

  7. reduction of privNoisedQuery_zCDPBound to the Real-valued case

    @mjdemedeiros
    mjdemedeiros committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    749ffd9 View commit details
    Browse the repository at this point in the history

  8. privNoisedQuery_zCDPBound normalizes

    @mjdemedeiros
    mjdemedeiros committed Jun 19, 2024
    Configuration menu
    Copy the full SHA
    99c1745 View commit details
    Browse the repository at this point in the history

Commits on Jun 20, 2024

  1. real-valued Jensen converse

    @mjdemedeiros
    mjdemedeiros committed Jun 20, 2024
    Configuration menu
    Copy the full SHA
    9f8e244 View commit details
    Browse the repository at this point in the history

  2. Renyi_Jensen_ENNReal_converse_reduct

    @mjdemedeiros
    mjdemedeiros committed Jun 20, 2024
    Configuration menu
    Copy the full SHA
    6618cf2 View commit details
    Browse the repository at this point in the history

  3. RenyiDivergence_def_eq_0_iff

    @mjdemedeiros
    mjdemedeiros committed Jun 20, 2024
    Configuration menu
    Copy the full SHA
    fc68049 View commit details
    Browse the repository at this point in the history

  4. minor cleanup

    @mjdemedeiros
    mjdemedeiros committed Jun 20, 2024
    Configuration menu
    Copy the full SHA
    3c99563 View commit details
    Browse the repository at this point in the history

  5. completed concentrated bound

    @mjdemedeiros
    mjdemedeiros committed Jun 20, 2024
    Configuration menu
    Copy the full SHA
    42be9fb View commit details
    Browse the repository at this point in the history

  6. checkpoint

    @mjdemedeiros
    mjdemedeiros committed Jun 20, 2024
    Configuration menu
    Copy the full SHA
    9562ab9 View commit details
    Browse the repository at this point in the history

Commits on Jun 21, 2024

  1. zCDP composition, up to absolute continuity assumption

    @mjdemedeiros
    mjdemedeiros committed Jun 21, 2024
    Configuration menu
    Copy the full SHA
    96e4d1e View commit details
    Browse the repository at this point in the history

  2. mechanism zCDP

    @mjdemedeiros
    mjdemedeiros committed Jun 21, 2024
    Configuration menu
    Copy the full SHA
    2b8058f View commit details
    Browse the repository at this point in the history

  3. checkpoint: before changing postprocessing

    @mjdemedeiros
    mjdemedeiros committed Jun 21, 2024
    Configuration menu
    Copy the full SHA
    f8c66d5 View commit details
    Browse the repository at this point in the history

  4. High-level sketch for postprocessing reduction

    @mjdemedeiros
    mjdemedeiros committed Jun 21, 2024
    Configuration menu
    Copy the full SHA
    2825ee0 View commit details
    Browse the repository at this point in the history

  5. more log lemmas

    @mjdemedeiros
    mjdemedeiros committed Jun 21, 2024
    Configuration menu
    Copy the full SHA
    fbecc40 View commit details
    Browse the repository at this point in the history

Commits on Jun 24, 2024

  1. privCompose normalizes

    @mjdemedeiros
    mjdemedeiros committed Jun 24, 2024
    Configuration menu
    Copy the full SHA
    b1bda80 View commit details
    Browse the repository at this point in the history

  2. privPostProcess normalizes

    @mjdemedeiros
    mjdemedeiros committed Jun 24, 2024
    Configuration menu
    Copy the full SHA
    b23d6f1 View commit details
    Browse the repository at this point in the history

  3. Add absolute continuity side condition

    @mjdemedeiros
    mjdemedeiros committed Jun 24, 2024
    Configuration menu
    Copy the full SHA
    abae0a5 View commit details
    Browse the repository at this point in the history

  4. Mechanism absolute continuity

    @mjdemedeiros
    mjdemedeiros committed Jun 24, 2024
    Configuration menu
    Copy the full SHA
    98b15fd View commit details
    Browse the repository at this point in the history

  5. privCompose absolute continuity

    @mjdemedeiros
    mjdemedeiros committed Jun 24, 2024
    Configuration menu
    Copy the full SHA
    8057170 View commit details
    Browse the repository at this point in the history

  6. RenyiDivergence_aux_zero

    @mjdemedeiros
    mjdemedeiros committed Jun 24, 2024
    Configuration menu
    Copy the full SHA
    e386b98 View commit details
    Browse the repository at this point in the history

  7. privPostProccess absolute continuity (removes surjectivity requirement?)

    @mjdemedeiros
    mjdemedeiros committed Jun 24, 2024
    Configuration menu
    Copy the full SHA
    c16857e View commit details
    Browse the repository at this point in the history

  8. (broken build) sketch PostProcess_pre_reduct

    @mjdemedeiros
    mjdemedeiros committed Jun 24, 2024
    Configuration menu
    Copy the full SHA
    149d62d View commit details
    Browse the repository at this point in the history

  9. (build fixed) checkpoint progress on PostProcess_pre_reduct

    @mjdemedeiros
    mjdemedeiros committed Jun 24, 2024
    Configuration menu
    Copy the full SHA
    db76175 View commit details
    Browse the repository at this point in the history

Commits on Jun 25, 2024

  1. strengthen PostProcess_pre_reduct for the reduction and cleanup

    @mjdemedeiros
    mjdemedeiros committed Jun 25, 2024
    Configuration menu
    Copy the full SHA
    9967bb7 View commit details
    Browse the repository at this point in the history

  2. checkpoint reduction: needs neighbours to be symmetric

    @mjdemedeiros
    mjdemedeiros committed Jun 25, 2024
    Configuration menu
    Copy the full SHA
    895e0d3 View commit details
    Browse the repository at this point in the history

  3. All major theorems completed

    @mjdemedeiros
    mjdemedeiros committed Jun 25, 2024
    Configuration menu
    Copy the full SHA
    5db5fd1 View commit details
    Browse the repository at this point in the history

  4. checkpoint conversion lemmas

    @mjdemedeiros
    mjdemedeiros committed Jun 25, 2024
    Configuration menu
    Copy the full SHA
    782b41d View commit details
    Browse the repository at this point in the history

Commits on Jun 26, 2024

  1. case analysis tactics for remaining log lemmas

    @mjdemedeiros
    mjdemedeiros committed Jun 26, 2024
    Configuration menu
    Copy the full SHA
    0517c46 View commit details
    Browse the repository at this point in the history

  2. All but one ofEReal lemma

    @mjdemedeiros
    mjdemedeiros committed Jun 26, 2024
    Configuration menu
    Copy the full SHA
    76f9bb2 View commit details
    Browse the repository at this point in the history

  3. checkpoint

    @mjdemedeiros
    mjdemedeiros committed Jun 26, 2024
    Configuration menu
    Copy the full SHA
    5dbbcc9 View commit details
    Browse the repository at this point in the history

  4. Strengthen ereal_smul_left_le

    @mjdemedeiros
    mjdemedeiros committed Jun 26, 2024
    Configuration menu
    Copy the full SHA
    211c0de View commit details
    Browse the repository at this point in the history

  5. Inline single use misc log lemmas

    @mjdemedeiros
    mjdemedeiros committed Jun 26, 2024
    Configuration menu
    Copy the full SHA
    cb95d8f View commit details
    Browse the repository at this point in the history

  6. all proofs closed

    @mjdemedeiros
    mjdemedeiros committed Jun 26, 2024
    Configuration menu
    Copy the full SHA
    0996fe7 View commit details
    Browse the repository at this point in the history

Commits on Jun 27, 2024

  1. Change return type of mechanism to PMF

    @mjdemedeiros
    mjdemedeiros committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    0d4cb66 View commit details
    Browse the repository at this point in the history

  2. close composition

    @mjdemedeiros
    mjdemedeiros committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    72e3736 View commit details
    Browse the repository at this point in the history

  3. Close pure mechanism properties

    @mjdemedeiros
    mjdemedeiros committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    49166b6 View commit details
    Browse the repository at this point in the history

  4. nit

    @mjdemedeiros
    mjdemedeiros committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    474dec5 View commit details
    Browse the repository at this point in the history

  5. close postprocessing

    @mjdemedeiros
    mjdemedeiros committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    aad9994 View commit details
    Browse the repository at this point in the history

  6. close bounded mean proof

    @mjdemedeiros
    mjdemedeiros committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    562ce39 View commit details
    Browse the repository at this point in the history

  7. laplace gen normalizes

    @mjdemedeiros
    mjdemedeiros committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    a7afdc0 View commit details
    Browse the repository at this point in the history

  8. simplify bounded mean proof

    @mjdemedeiros
    mjdemedeiros committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    41d8b58 View commit details
    Browse the repository at this point in the history

  9. Parameterize postprocessing function requirement

    @mjdemedeiros
    mjdemedeiros committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    75d8d34 View commit details
    Browse the repository at this point in the history

  10. cleanup DifferentialPrivacy/Abstract

    @mjdemedeiros
    mjdemedeiros committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    048e20f View commit details
    Browse the repository at this point in the history

  11. cleanup DifferentialPrivacy/Neighbours

    @mjdemedeiros
    mjdemedeiros committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    8ab5ad0 View commit details
    Browse the repository at this point in the history

  12. cleanup DifferentialPrivacy/Pure/Composition

    @mjdemedeiros
    mjdemedeiros committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    19360fd View commit details
    Browse the repository at this point in the history

  13. cleanup DifferentialPrivacy/Pure/Mechanism/Code

    @mjdemedeiros
    mjdemedeiros committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    17072f9 View commit details
    Browse the repository at this point in the history

  14. cleanup DifferentialPrivacy/Pure/Mechanism

    @mjdemedeiros
    mjdemedeiros committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    94509f0 View commit details
    Browse the repository at this point in the history

  15. cleanup DifferentialPrivacy/Pure

    @mjdemedeiros
    mjdemedeiros committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    65f9f00 View commit details
    Browse the repository at this point in the history

  16. cleanup DifferentialPrivacy/Queries

    @mjdemedeiros
    mjdemedeiros committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    ed18574 View commit details
    Browse the repository at this point in the history

  17. Some cleanup in DifferentialPrivacy/RenyiDivergence

    @mjdemedeiros
    mjdemedeiros committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    edc4422 View commit details
    Browse the repository at this point in the history

Commits on Jun 28, 2024

  1. cleanup DifferentialPrivacy/ZeroConcentrated/Composition

    @mjdemedeiros
    mjdemedeiros committed Jun 28, 2024
    Configuration menu
    Copy the full SHA
    8f2fc72 View commit details
    Browse the repository at this point in the history

  2. cleanup DifferentialPrivacy/ZeroConcentrated

    @mjdemedeiros
    mjdemedeiros committed Jun 28, 2024
    Configuration menu
    Copy the full SHA
    ea00129 View commit details
    Browse the repository at this point in the history

  3. cleanup Samplers

    @mjdemedeiros
    mjdemedeiros committed Jun 28, 2024
    Configuration menu
    Copy the full SHA
    5adaaa4 View commit details
    Browse the repository at this point in the history

  4. cleanup Util

    @mjdemedeiros
    mjdemedeiros committed Jun 28, 2024
    Configuration menu
    Copy the full SHA
    96560ee View commit details
    Browse the repository at this point in the history

  5. Merge branch 'ExtendedAdaptiveComposition' into zcdp_composition

    @mjdemedeiros
    mjdemedeiros authored Jun 28, 2024
    Configuration menu
    Copy the full SHA
    4660837 View commit details
    Browse the repository at this point in the history