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

Provenance funsor #593

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

Provenance funsor #593

wants to merge 11 commits into from
+138 −38

Commits on Apr 11, 2022

  1. Sampled funsor

    Yerdos Ordabayev committed Apr 11, 2022
    Configuration menu
    Copy the full SHA
    712999f View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into sampled-funsor

    Yerdos Ordabayev committed Apr 11, 2022
    Configuration menu
    Copy the full SHA
    c1bd458 View commit details
    Browse the repository at this point in the history

  3. rename to Provenance

    Yerdos Ordabayev committed Apr 11, 2022
    Configuration menu
    Copy the full SHA
    9a1b5ba View commit details
    Browse the repository at this point in the history

Commits on Apr 12, 2022

  1. fix tests

    Yerdos Ordabayev committed Apr 12, 2022
    Configuration menu
    Copy the full SHA
    d55e66d View commit details
    Browse the repository at this point in the history

  2. fix constant tests

    Yerdos Ordabayev committed Apr 12, 2022
    Configuration menu
    Copy the full SHA
    1f98f96 View commit details
    Browse the repository at this point in the history

  3. lint

    Yerdos Ordabayev committed Apr 12, 2022
    Configuration menu
    Copy the full SHA
    7aeca59 View commit details
    Browse the repository at this point in the history

Commits on May 5, 2022

  1. refactor provenance

    Yerdos Ordabayev committed May 5, 2022
    Configuration menu
    Copy the full SHA
    ee9fa42 View commit details
    Browse the repository at this point in the history

  2. fixes

    Yerdos Ordabayev committed May 5, 2022
    Configuration menu
    Copy the full SHA
    5274ddd View commit details
    Browse the repository at this point in the history

  3. update comment

    Yerdos Ordabayev committed May 5, 2022
    Configuration menu
    Copy the full SHA
    e033efa View commit details
    Browse the repository at this point in the history

  4. revert delta integrate rules

    Yerdos Ordabayev committed May 5, 2022
    Configuration menu
    Copy the full SHA
    c809ac0 View commit details
    Browse the repository at this point in the history

  5. remove extra blank line

    Yerdos Ordabayev committed May 5, 2022
    Configuration menu
    Copy the full SHA
    1e7dbad View commit details
    Browse the repository at this point in the history