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

Numeric literals sampling #1389

Draft
wants to merge 87 commits into
base: master
Choose a base branch
from
Draft

Numeric literals sampling #1389

wants to merge 87 commits into from

Commits on Jul 11, 2022

  1. lambdacase

    @rybla
    rybla committed Jul 11, 2022
    Configuration menu
    Copy the full SHA
    adb8bb9 View commit details
    Browse the repository at this point in the history

  2. ignore .vscode

    @rybla
    rybla committed Jul 11, 2022
    Configuration menu
    Copy the full SHA
    9cc13a9 View commit details
    Browse the repository at this point in the history

  3. make things trustworthy temporarily

    @rybla
    rybla committed Jul 11, 2022
    Configuration menu
    Copy the full SHA
    e3a96d3 View commit details
    Browse the repository at this point in the history

Commits on Jul 14, 2022

  1. annoated where numeric sampler will be invoked

    @rybla
    rybla committed Jul 14, 2022
    Configuration menu
    Copy the full SHA
    936d97a View commit details
    Browse the repository at this point in the history

  2. added some dependencies for doing sized-vector stuff

    @rybla
    rybla committed Jul 14, 2022
    Configuration menu
    Copy the full SHA
    509e17e View commit details
    Browse the repository at this point in the history

  3. handling rationals

    @rybla
    rybla committed Jul 14, 2022
    Configuration menu
    Copy the full SHA
    9799891 View commit details
    Browse the repository at this point in the history

  4. system of equations; solving via gaussian elimination

    @rybla
    rybla committed Jul 14, 2022
    Configuration menu
    Copy the full SHA
    82bca83 View commit details
    Browse the repository at this point in the history

  5. SamplingM monad for sampling computations

    @rybla
    rybla committed Jul 14, 2022
    Configuration menu
    Copy the full SHA
    d505eec View commit details
    Browse the repository at this point in the history

  6. expressions are n-sized vectors of Nums

    @rybla
    rybla committed Jul 14, 2022
    Configuration menu
    Copy the full SHA
    b9db9b3 View commit details
    Browse the repository at this point in the history

  7. outlined Preconstraints; will need to convert [Prop] to Preconstraints

    @rybla
    rybla committed Jul 14, 2022
    Configuration menu
    Copy the full SHA
    4527ddb View commit details
    Browse the repository at this point in the history

  8. outlined Constraints; IR for sampling solutions

    @rybla
    rybla committed Jul 14, 2022
    Configuration menu
    Copy the full SHA
    e649ccc View commit details
    Browse the repository at this point in the history

  9. outlined sampling usage

    @rybla
    rybla committed Jul 14, 2022
    Configuration menu
    Copy the full SHA
    db8515c View commit details
    Browse the repository at this point in the history

  10. instance Num Nat'

    @rybla
    rybla committed Jul 14, 2022
    Configuration menu
    Copy the full SHA
    37f2073 View commit details
    Browse the repository at this point in the history

  11. formatting

    @rybla
    rybla committed Jul 14, 2022
    Configuration menu
    Copy the full SHA
    5041fb1 View commit details
    Browse the repository at this point in the history

  12. outlined sampling algorithm

    @rybla
    rybla committed Jul 14, 2022
    Configuration menu
    Copy the full SHA
    c07b8ca View commit details
    Browse the repository at this point in the history

Commits on Jul 15, 2022

  1. todos

    @rybla
    rybla committed Jul 15, 2022
    Configuration menu
    Copy the full SHA
    180b522 View commit details
    Browse the repository at this point in the history

Commits on Jul 26, 2022

  1. [builds] checkpoin in cleaning up code to use normal vectors

    @rybla
    rybla committed Jul 26, 2022
    Configuration menu
    Copy the full SHA
    b78dc02 View commit details
    Browse the repository at this point in the history

  2. cleaned up the whole stack

    @rybla
    rybla committed Jul 26, 2022
    Configuration menu
    Copy the full SHA
    294f014 View commit details
    Browse the repository at this point in the history

Commits on Jul 27, 2022

  1. first pass impl of sampleLiterals

    @rybla
    rybla committed Jul 27, 2022
    Configuration menu
    Copy the full SHA
    5ca126d View commit details
    Browse the repository at this point in the history

Commits on Jul 28, 2022

  1. plugged in literal sampling using two new environment vars: literal-s… 

    …ampling, literal-sampling-bin-size
    @rybla
    rybla committed Jul 28, 2022
    Configuration menu
    Copy the full SHA
    3a9cac0 View commit details
    Browse the repository at this point in the history

  2. handling options correctly (I think)

    @rybla
    rybla committed Jul 28, 2022
    Configuration menu
    Copy the full SHA
    3fd938e View commit details
    Browse the repository at this point in the history

Commits on Aug 1, 2022

  1. working on converting from props to preconstraints to constraints

    @rybla
    rybla committed Aug 1, 2022
    Configuration menu
    Copy the full SHA
    55427ad View commit details
    Browse the repository at this point in the history

  2. [skip ci]

    @rybla
    rybla committed Aug 1, 2022
    Configuration menu
    Copy the full SHA
    2492d7f View commit details
    Browse the repository at this point in the history

Commits on Aug 2, 2022

  1. fixed types

    @rybla
    rybla committed Aug 2, 2022
    Configuration menu
    Copy the full SHA
    9d662db View commit details
    Browse the repository at this point in the history

  2. old comment

    @rybla
    rybla committed Aug 2, 2022
    Configuration menu
    Copy the full SHA
    c4f5906 View commit details
    Browse the repository at this point in the history

  3. checkpoint for Props -> Preconstraints -> Constraints

    @rybla
    rybla committed Aug 2, 2022
    Configuration menu
    Copy the full SHA
    6e619c2 View commit details
    Browse the repository at this point in the history

Commits on Aug 4, 2022

  1. comments and debugging checkpoint

    @rybla
    rybla committed Aug 4, 2022
    Configuration menu
    Copy the full SHA
    0fa554c View commit details
    Browse the repository at this point in the history

Commits on Aug 23, 2022

  1. correct approach to eliminating denomenators

    @rybla
    rybla committed Aug 23, 2022
    Configuration menu
    Copy the full SHA
    3095ee1 View commit details
    Browse the repository at this point in the history

  2. formatting

    @rybla
    rybla committed Aug 23, 2022
    Configuration menu
    Copy the full SHA
    26c9637 View commit details
    Browse the repository at this point in the history

  3. formatting

    @rybla
    rybla committed Aug 23, 2022
    Configuration menu
    Copy the full SHA
    3ff9b6c View commit details
    Browse the repository at this point in the history

  4. accounting for dependency order (depOrd)

    @rybla
    rybla committed Aug 23, 2022
    Configuration menu
    Copy the full SHA
    404564e View commit details
    Browse the repository at this point in the history

  5. removed comment

    @rybla
    rybla committed Aug 23, 2022
    Configuration menu
    Copy the full SHA
    76a0786 View commit details
    Browse the repository at this point in the history

  6. properly calculating upper bound

    @rybla
    rybla committed Aug 23, 2022
    Configuration menu
    Copy the full SHA
    641af0b View commit details
    Browse the repository at this point in the history

  7. comment

    @rybla
    rybla committed Aug 23, 2022
    Configuration menu
    Copy the full SHA
    793bc61 View commit details
    Browse the repository at this point in the history

  8. works!

    @rybla
    rybla committed Aug 23, 2022
    Configuration menu
    Copy the full SHA
    ac65606 View commit details
    Browse the repository at this point in the history

  9. handles type synonyms

    @rybla
    rybla committed Aug 23, 2022
    Configuration menu
    Copy the full SHA
    ef3e5a8 View commit details
    Browse the repository at this point in the history

Commits on Aug 24, 2022

  1. Merge branch 'master' into literal-sampling

    @rybla
    rybla authored Aug 24, 2022
    Configuration menu
    Copy the full SHA
    22c1a85 View commit details
    Browse the repository at this point in the history

  2. appropriately marking trustworthy modules as safe

    @rybla
    rybla committed Aug 24, 2022
    Configuration menu
    Copy the full SHA
    e491a4e View commit details
    Browse the repository at this point in the history

  3. works on test1-test5 in Test1

    @rybla
    rybla committed Aug 24, 2022
    Configuration menu
    Copy the full SHA
    22704c1 View commit details
    Browse the repository at this point in the history

  4. works on test6

    @rybla
    rybla committed Aug 24, 2022
    Configuration menu
    Copy the full SHA
    3b9da4b View commit details
    Browse the repository at this point in the history

  5. works on test8

    @rybla
    rybla committed Aug 24, 2022
    Configuration menu
    Copy the full SHA
    7b0034e View commit details
    Browse the repository at this point in the history

  6. removed problematic GHC option

    @rybla
    rybla committed Aug 24, 2022
    Configuration menu
    Copy the full SHA
    7040d6c View commit details
    Browse the repository at this point in the history

  7. Z', Q'

    @rybla
    rybla committed Aug 24, 2022
    Configuration menu
    Copy the full SHA
    c52cfda View commit details
    Browse the repository at this point in the history

  8. error msg

    @rybla
    rybla committed Aug 24, 2022
    Configuration menu
    Copy the full SHA
    85071d1 View commit details
    Browse the repository at this point in the history

  9. better comments and error reporting

    @rybla
    rybla committed Aug 24, 2022
    Configuration menu
    Copy the full SHA
    3461e3e View commit details
    Browse the repository at this point in the history

  10. better error messages

    @rybla
    rybla committed Aug 24, 2022
    Configuration menu
    Copy the full SHA
    003e94d View commit details
    Browse the repository at this point in the history

  11. message formattign

    @rybla
    rybla committed Aug 24, 2022
    Configuration menu
    Copy the full SHA
    0f43f85 View commit details
    Browse the repository at this point in the history

  12. comment formatting

    @rybla
    rybla committed Aug 24, 2022
    Configuration menu
    Copy the full SHA
    7d56f20 View commit details
    Browse the repository at this point in the history

Commits on Aug 25, 2022

  1. sampling error causes error message instead of panic

    @rybla
    rybla committed Aug 25, 2022
    Configuration menu
    Copy the full SHA
    6ba56a5 View commit details
    Browse the repository at this point in the history

Commits on Aug 29, 2022

  1. comment

    @rybla
    rybla committed Aug 29, 2022
    Configuration menu
    Copy the full SHA
    7157688 View commit details
    Browse the repository at this point in the history

  2. checkpoint sampling over weighted ranges

    @rybla
    rybla committed Aug 29, 2022
    Configuration menu
    Copy the full SHA
    ed9412d View commit details
    Browse the repository at this point in the history

  3. better sampling distributions

    @rybla
    rybla committed Aug 29, 2022
    Configuration menu
    Copy the full SHA
    eff6b25 View commit details
    Browse the repository at this point in the history

  4. addressed warnings

    @rybla
    rybla committed Aug 29, 2022
    Configuration menu
    Copy the full SHA
    1b72941 View commit details
    Browse the repository at this point in the history

Commits on Aug 30, 2022

  1. not actually using Q' and Z' after all

    @rybla
    rybla committed Aug 30, 2022
    Configuration menu
    Copy the full SHA
    d5a33d5 View commit details
    Browse the repository at this point in the history

  2. old comment

    @rybla
    rybla committed Aug 30, 2022
    Configuration menu
    Copy the full SHA
    f3710ef View commit details
    Browse the repository at this point in the history

  3. refactored giant qcCmd

    @rybla
    rybla committed Aug 30, 2022
    Configuration menu
    Copy the full SHA
    62ef6e7 View commit details
    Browse the repository at this point in the history

  4. refactored and documented qcExpr

    @rybla
    rybla committed Aug 30, 2022
    Configuration menu
    Copy the full SHA
    9a3e233 View commit details
    Browse the repository at this point in the history

  5. refactored out Q module

    @rybla
    rybla committed Aug 30, 2022
    Configuration menu
    Copy the full SHA
    0b2a86e View commit details
    Browse the repository at this point in the history

  6. don't support literal sampling over constraints that reference inf

    @rybla
    rybla committed Aug 30, 2022
    Configuration menu
    Copy the full SHA
    82485bd View commit details
    Browse the repository at this point in the history

  7. fine-tuning exponentPowSkew, documentation

    @rybla
    rybla committed Aug 30, 2022
    Configuration menu
    Copy the full SHA
    f3547eb View commit details
    Browse the repository at this point in the history

Commits on Aug 31, 2022

  1. old comment

    @rybla
    rybla committed Aug 31, 2022
    Configuration menu
    Copy the full SHA
    387698d View commit details
    Browse the repository at this point in the history

  2. formatting

    @rybla
    rybla committed Aug 31, 2022
    Configuration menu
    Copy the full SHA
    dfb5517 View commit details
    Browse the repository at this point in the history

  3. formattin

    @rybla
    rybla committed Aug 31, 2022
    Configuration menu
    Copy the full SHA
    535f060 View commit details
    Browse the repository at this point in the history

  4. comment

    @rybla
    rybla committed Aug 31, 2022
    Configuration menu
    Copy the full SHA
    91393d2 View commit details
    Browse the repository at this point in the history

  5. safe Num Nat'

    @rybla
    rybla committed Aug 31, 2022
    Configuration menu
    Copy the full SHA
    2606b13 View commit details
    Browse the repository at this point in the history

  6. use fromIntegral

    @rybla
    rybla committed Aug 31, 2022
    Configuration menu
    Copy the full SHA
    1cb0f19 View commit details
    Browse the repository at this point in the history

  7. High-level description of numeric literal sampling algorithm

    @rybla
    rybla committed Aug 31, 2022
    Configuration menu
    Copy the full SHA
    73dee71 View commit details
    Browse the repository at this point in the history

  8. Properties docs

    @rybla
    rybla committed Aug 31, 2022
    Configuration menu
    Copy the full SHA
    093508b View commit details
    Browse the repository at this point in the history

  9. better error reporting, which fixes test outputs

    @rybla
    rybla committed Aug 31, 2022
    Configuration menu
    Copy the full SHA
    835c418 View commit details
    Browse the repository at this point in the history

  10. old comments

    @rybla
    rybla committed Aug 31, 2022
    Configuration menu
    Copy the full SHA
    8fe2165 View commit details
    Browse the repository at this point in the history

  11. comments

    @rybla
    rybla committed Aug 31, 2022
    Configuration menu
    Copy the full SHA
    efdb0e8 View commit details
    Browse the repository at this point in the history

  12. removed instance Num (Exp a)

    @rybla
    rybla committed Aug 31, 2022
    Configuration menu
    Copy the full SHA
    eb3b328 View commit details
    Browse the repository at this point in the history

Commits on Sep 1, 2022

  1. using isSolvable

    @rybla
    rybla committed Sep 1, 2022
    Configuration menu
    Copy the full SHA
    99768cf View commit details
    Browse the repository at this point in the history

Commits on Sep 2, 2022

  1. rename

    @rybla
    rybla committed Sep 2, 2022
    Configuration menu
    Copy the full SHA
    6632495 View commit details
    Browse the repository at this point in the history

  2. PPNeq is not yet supported

    @rybla
    rybla committed Sep 2, 2022
    Configuration menu
    Copy the full SHA
    ff14a5c View commit details
    Browse the repository at this point in the history

  3. replaced error

    @rybla
    rybla committed Sep 2, 2022
    Configuration menu
    Copy the full SHA
    d7701a5 View commit details
    Browse the repository at this point in the history

  4. fix accidental negation during refactoring

    @rybla
    rybla committed Sep 2, 2022
    Configuration menu
    Copy the full SHA
    fc636fc View commit details
    Browse the repository at this point in the history

  5. fixed bug in PPExp normalization

    @rybla
    rybla committed Sep 2, 2022
    Configuration menu
    Copy the full SHA
    abf353c View commit details
    Browse the repository at this point in the history

  6. sampling debug level = -1

    @rybla
    rybla committed Sep 2, 2022
    Configuration menu
    Copy the full SHA
    abf0dcf View commit details
    Browse the repository at this point in the history

  7. fixed redundant import warning

    @rybla
    rybla committed Sep 2, 2022
    Configuration menu
    Copy the full SHA
    7f5a7ef View commit details
    Browse the repository at this point in the history

  8. removed debugs

    @rybla
    rybla committed Sep 2, 2022
    Configuration menu
    Copy the full SHA
    64fdf04 View commit details
    Browse the repository at this point in the history

  9. e/n = (1/n) * e

    @rybla
    rybla committed Sep 2, 2022
    Configuration menu
    Copy the full SHA
    ee7b994 View commit details
    Browse the repository at this point in the history

  10. fixed handling fresh vars

    @rybla
    rybla committed Sep 2, 2022
    Configuration menu
    Copy the full SHA
    8269475 View commit details
    Browse the repository at this point in the history

  11. Examples work

    @rybla
    rybla committed Sep 2, 2022
    Configuration menu
    Copy the full SHA
    bc6d01b View commit details
    Browse the repository at this point in the history

  12. actually using typeclass constraints for upper bounding

    @rybla
    rybla committed Sep 2, 2022
    Configuration menu
    Copy the full SHA
    fc38301 View commit details
    Browse the repository at this point in the history

  13. examples

    @rybla
    rybla committed Sep 2, 2022
    Configuration menu
    Copy the full SHA
    701aab6 View commit details
    Browse the repository at this point in the history

  14. removed old test file

    @rybla
    rybla committed Sep 2, 2022
    Configuration menu
    Copy the full SHA
    cbf521f View commit details
    Browse the repository at this point in the history