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

Refactor and document SampCert #10

Merged
merged 64 commits into from
May 29, 2024
Merged

Refactor and document SampCert #10

merged 64 commits into from
May 29, 2024

Commits on May 21, 2024

  1. refactor SLang.v

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

  2. refactor Util.Util

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

  3. (minor) refactor Fountations/Monad.lean

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

  4. (minor) document Foundations.While; fixes build from last commit

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

Commits on May 22, 2024

  1. partial progress Foundations.Until

    @mjdemedeiros
    mjdemedeiros committed May 22, 2024
    Configuration menu
    Copy the full SHA
    fb438f1 View commit details
    Browse the repository at this point in the history

  2. doccument Bernoulli/Geometric/Uniform/BernoulliNegativeExponential sa… 

    …mpler code
    @mjdemedeiros
    mjdemedeiros committed May 22, 2024
    Configuration menu
    Copy the full SHA
    3a8bd94 View commit details
    Browse the repository at this point in the history

  3. minor change to comments

    @mjdemedeiros
    mjdemedeiros committed May 22, 2024
    Configuration menu
    Copy the full SHA
    78b43f3 View commit details
    Browse the repository at this point in the history

  4. document Foundations.UniformP2

    @mjdemedeiros
    mjdemedeiros committed May 22, 2024
    Configuration menu
    Copy the full SHA
    2ccd85d View commit details
    Browse the repository at this point in the history

  5. document Samplers/Uniform/Properties

    @mjdemedeiros
    mjdemedeiros committed May 22, 2024
    Configuration menu
    Copy the full SHA
    491dd30 View commit details
    Browse the repository at this point in the history

  6. resolve some comments and finish foundations/until

    @mjdemedeiros
    mjdemedeiros committed May 22, 2024
    Configuration menu
    Copy the full SHA
    1ba7b86 View commit details
    Browse the repository at this point in the history

Commits on May 23, 2024

  1. document Samplers/Bernoulli/Properties

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

  2. document Samplers.Geometric.Properties

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

  3. Merge remote-tracking branch 'upstream/main' into documentation

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

  4. fix build w/ upstream changes

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

  5. document GaussianGen

    @mjdemedeiros
    mjdemedeiros committed May 23, 2024
    Configuration menu
    Copy the full SHA
    30f0470 View commit details
    Browse the repository at this point in the history

  6. checkpoint document Laplace sampler code

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

  7. document discrete gaussian code

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

  8. document discrete gaussian properties

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

  9. document Util/Gaussian/DiscreteGaussian

    @mjdemedeiros
    mjdemedeiros committed May 23, 2024
    Configuration menu
    Copy the full SHA
    815fc42 View commit details
    Browse the repository at this point in the history

  10. document Util/Gaussian/GaussConvergence

    @mjdemedeiros
    mjdemedeiros committed May 23, 2024
    Configuration menu
    Copy the full SHA
    346406a View commit details
    Browse the repository at this point in the history

  11. document Util.Gaussian.GaussPeriodicity

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

  12. document Util.Gaussian.GaussBound

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

  13. document shift

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

  14. document more samplers and utility library

    @mjdemedeiros
    mjdemedeiros committed May 23, 2024
    Configuration menu
    Copy the full SHA
    60561ee View commit details
    Browse the repository at this point in the history

  15. nit

    @mjdemedeiros
    mjdemedeiros committed May 23, 2024
    Configuration menu
    Copy the full SHA
    9e43f26 View commit details
    Browse the repository at this point in the history

  16. Merge remote-tracking branch 'upstream/main' into documentation

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

  17. (partial) Laplace sampler properties

    @mjdemedeiros
    mjdemedeiros committed May 23, 2024
    Configuration menu
    Copy the full SHA
    99c5ffd View commit details
    Browse the repository at this point in the history

Commits on May 24, 2024

  1. document Renyi Divergence

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

  2. document neighbour

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

  3. document sensitivity

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

  4. document ConcentratedBound

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

  5. document abstract DP

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

  6. zero concentrated noise code

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

  7. document zcdp defs

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

  8. zcdp properties

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

  9. zCDP composition

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

  10. ZeroConcentrated

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

  11. counting query

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

  12. document queries

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

  13. relevant parts of Bernoulli negative exponential sampler

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

Commits on May 28, 2024

  1. consistent naming for SLang terms

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

  2. first half foundations

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

  3. foundations

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

  4. uniform

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

  5. geometric

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

  6. Bernoulli

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

  7. BNE

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

  8. laplace (still some open questions)

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

  9. gaussian

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

  10. gaussian gen

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

  11. general util

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

  12. counting query

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

  13. queries

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

  14. query -> priv

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

  15. (some open questions) abstract DP

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

  16. abstract DP

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

  17. util/gaussian

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

  18. zcdp bound

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

  19. zcdp checkpoint

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

  20. gaussian zcdp system

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

  21. tidy

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

  22. fix extractor

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

  23. fix extractor some more, tests passing

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

  24. Write CONTRIBUTING

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