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

Concrete Values #996

Open
wants to merge 30 commits into
base: main
Choose a base branch
from
Open

Concrete Values #996

wants to merge 30 commits into from

Commits on Oct 18, 2024

  1. Made a mess but learned a lot.

    @zaneenders
    zaneenders committed Oct 18, 2024
    Configuration menu
    Copy the full SHA
    07b4bcb View commit details
    Browse the repository at this point in the history

  2. Remove idk var.

    @zaneenders
    zaneenders committed Oct 18, 2024
    Configuration menu
    Copy the full SHA
    fd65bc2 View commit details
    Browse the repository at this point in the history

  3. Fix rebase.

    @zaneenders
    zaneenders committed Oct 18, 2024
    Configuration menu
    Copy the full SHA
    46980f8 View commit details
    Browse the repository at this point in the history

  4. Fix apx-out not displaying.

    @zaneenders
    zaneenders committed Oct 18, 2024
    Configuration menu
    Copy the full SHA
    453e508 View commit details
    Browse the repository at this point in the history

  5. Diff displaying locally again.

    @zaneenders
    zaneenders committed Oct 18, 2024
    Configuration menu
    Copy the full SHA
    e9e2148 View commit details
    Browse the repository at this point in the history

  6. Remove extra data.

    @zaneenders
    zaneenders committed Oct 18, 2024
    Configuration menu
    Copy the full SHA
    53dfc0f View commit details
    Browse the repository at this point in the history

  7. Formatting.

    @zaneenders
    zaneenders committed Oct 18, 2024
    Configuration menu
    Copy the full SHA
    73d4c9c View commit details
    Browse the repository at this point in the history

  8. Breaking out compute-true-error for now.

    @zaneenders
    zaneenders committed Oct 18, 2024
    Configuration menu
    Copy the full SHA
    8067d17 View commit details
    Browse the repository at this point in the history

  9. Garbage code but we have contact.

    @zaneenders
    zaneenders committed Oct 18, 2024
    Configuration menu
    Copy the full SHA
    0d970e5 View commit details
    Browse the repository at this point in the history

  10. Consolidate.

    @zaneenders
    zaneenders committed Oct 18, 2024
    Configuration menu
    Copy the full SHA
    7e7415f View commit details
    Browse the repository at this point in the history

  11. Define true-error for all single points.

    @zaneenders
    zaneenders committed Oct 18, 2024
    Configuration menu
    Copy the full SHA
    a747be8 View commit details
    Browse the repository at this point in the history

  12. Surface true-error to Odyssey.

    @zaneenders
    zaneenders committed Oct 18, 2024
    Configuration menu
    Copy the full SHA
    b8f59c2 View commit details
    Browse the repository at this point in the history

  13. Expending node to get all variables for current spec.

    @zaneenders
    zaneenders committed Oct 18, 2024
    Configuration menu
    Copy the full SHA
    4971728 View commit details
    Browse the repository at this point in the history

  14. Multi-variable seems to be working for Odyssey. Still lots of shortcu… 

    …ts to fix.
    @zaneenders
    zaneenders committed Oct 18, 2024
    Configuration menu
    Copy the full SHA
    46c8d19 View commit details
    Browse the repository at this point in the history

  15. Touch ups for Odyssey consumption.

    @zaneenders
    zaneenders committed Oct 18, 2024
    Configuration menu
    Copy the full SHA
    b51de3a View commit details
    Browse the repository at this point in the history

  16. Fix ulp-err name.

    @zaneenders
    zaneenders committed Oct 18, 2024
    Configuration menu
    Copy the full SHA
    251ede8 View commit details
    Browse the repository at this point in the history

  17. Fix err rename to ulp-errs.

    @zaneenders
    zaneenders committed Oct 18, 2024
    Configuration menu
    Copy the full SHA
    929c98e View commit details
    Browse the repository at this point in the history

  18. Better localize test but found an exact +nan.0.

    @zaneenders
    zaneenders committed Oct 18, 2024
    Configuration menu
    Copy the full SHA
    d608f41 View commit details
    Browse the repository at this point in the history

  19. Putting on invalid rival inputs.

    @zaneenders
    zaneenders committed Oct 18, 2024
    Configuration menu
    Copy the full SHA
    0b85f73 View commit details
    Browse the repository at this point in the history

  20. Formatting and unfinished Test.

    @zaneenders
    zaneenders committed Oct 18, 2024
    Configuration menu
    Copy the full SHA
    caf5761 View commit details
    Browse the repository at this point in the history

  21. Remove big float hack.

    @zaneenders
    zaneenders committed Oct 18, 2024
    Configuration menu
    Copy the full SHA
    8577c40 View commit details
    Browse the repository at this point in the history

  22. Fix +inf.0 and -inf.0 for exact.

    @zaneenders
    zaneenders committed Oct 18, 2024
    Configuration menu
    Copy the full SHA
    7aac4d5 View commit details
    Browse the repository at this point in the history

  23. Flag to not compute true error.

    @zaneenders
    zaneenders committed Oct 18, 2024
    Configuration menu
    Copy the full SHA
    3678897 View commit details
    Browse the repository at this point in the history

  24. PR touch up.

    @zaneenders
    zaneenders committed Oct 18, 2024
    Configuration menu
    Copy the full SHA
    4bf275f View commit details
    Browse the repository at this point in the history

  25. Split out core local error from Odyssey.

    @zaneenders
    zaneenders committed Oct 18, 2024
    Configuration menu
    Copy the full SHA
    f8f66c5 View commit details
    Browse the repository at this point in the history

  26. Simplified true-error.

    @zaneenders
    zaneenders committed Oct 18, 2024
    Configuration menu
    Copy the full SHA
    066c6e2 View commit details
    Browse the repository at this point in the history

  27. Using eval-progs-real for true err.

    @zaneenders
    zaneenders committed Oct 18, 2024
    Configuration menu
    Copy the full SHA
    a8d7578 View commit details
    Browse the repository at this point in the history

Commits on Oct 19, 2024

  1. Starting on if statements.

    @zaneenders
    zaneenders committed Oct 19, 2024
    Configuration menu
    Copy the full SHA
    2960f11 View commit details
    Browse the repository at this point in the history

Commits on Oct 21, 2024

  1. No longer crashing on if statements.

    @zaneenders
    zaneenders committed Oct 21, 2024
    Configuration menu
    Copy the full SHA
    ffb5013 View commit details
    Browse the repository at this point in the history

  2. Filtering more input values.

    @zaneenders
    zaneenders committed Oct 21, 2024
    Configuration menu
    Copy the full SHA
    f98df25 View commit details
    Browse the repository at this point in the history