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

New evaluator that doesn't depend on flattening #1495

Merged
merged 39 commits into from
Sep 9, 2024
Merged

New evaluator that doesn't depend on flattening #1495

merged 39 commits into from
Sep 9, 2024

Commits on Aug 20, 2024

  1. Rewrite evaluator to not depend on flattening

    @bugarela
    bugarela committed Aug 20, 2024
    Configuration menu
    Copy the full SHA
    1bf92b6 View commit details
    Browse the repository at this point in the history

  2. Fix many evaluation issues

    @bugarela
    bugarela committed Aug 20, 2024
    Configuration menu
    Copy the full SHA
    36bf10e View commit details
    Browse the repository at this point in the history

  3. Fix memo by making it mutable again

    @bugarela
    bugarela committed Aug 20, 2024
    Configuration menu
    Copy the full SHA
    4a2ab82 View commit details
    Browse the repository at this point in the history

  4. Attempt some improvements over context performance

    @bugarela
    bugarela committed Aug 20, 2024
    Configuration menu
    Copy the full SHA
    f3c519c View commit details
    Browse the repository at this point in the history

  5. Avoid many lookups

    @bugarela
    bugarela committed Aug 20, 2024
    Configuration menu
    Copy the full SHA
    b43affb View commit details
    Browse the repository at this point in the history

Commits on Aug 21, 2024

  1. Use registers for parameters

    @bugarela
    bugarela committed Aug 21, 2024
    Configuration menu
    Copy the full SHA
    04ceb06 View commit details
    Browse the repository at this point in the history

  2. Save constants in registers as well

    @bugarela
    bugarela committed Aug 21, 2024
    Configuration menu
    Copy the full SHA
    76e069c View commit details
    Browse the repository at this point in the history

  3. Implement then and add recorder calls

    @bugarela
    bugarela committed Aug 21, 2024
    Configuration menu
    Copy the full SHA
    ff60acc View commit details
    Browse the repository at this point in the history

Commits on Aug 22, 2024

  1. Use registers for variables

    @bugarela
    bugarela committed Aug 22, 2024
    Configuration menu
    Copy the full SHA
    19a63bb View commit details
    Browse the repository at this point in the history

  2. Optimize a few things

    @bugarela
    bugarela committed Aug 22, 2024
    Configuration menu
    Copy the full SHA
    cefbc6f View commit details
    Browse the repository at this point in the history

  3. Go back to using RuntimeValue in traces

    @bugarela
    bugarela committed Aug 22, 2024
    Configuration menu
    Copy the full SHA
    1f7cb83 View commit details
    Browse the repository at this point in the history

  4. Fix and update many integration tests

    @bugarela
    bugarela committed Aug 22, 2024
    Configuration menu
    Copy the full SHA
    d135fc3 View commit details
    Browse the repository at this point in the history

Commits on Aug 23, 2024

  1. Track nondet picks in the trace

    @bugarela
    bugarela committed Aug 23, 2024
    Configuration menu
    Copy the full SHA
    57be2a2 View commit details
    Browse the repository at this point in the history

  2. Track action taken in the trace

    @bugarela
    bugarela committed Aug 23, 2024
    Configuration menu
    Copy the full SHA
    5f067fd View commit details
    Browse the repository at this point in the history

  3. Fix/update all integration tests

    @bugarela
    bugarela committed Aug 23, 2024
    Configuration menu
    Copy the full SHA
    e1e0e89 View commit details
    Browse the repository at this point in the history

  4. Organize between files

    @bugarela
    bugarela committed Aug 23, 2024
    Configuration menu
    Copy the full SHA
    ec043f0 View commit details
    Browse the repository at this point in the history

Commits on Aug 27, 2024

  1. Separate and memoize building

    @bugarela
    bugarela committed Aug 27, 2024
    Configuration menu
    Copy the full SHA
    6e8576f View commit details
    Browse the repository at this point in the history

  2. Improve performance by caching val (temporarly) and pure val (permane… 

    …ntly)
    @bugarela
    bugarela committed Aug 27, 2024
    Configuration menu
    Copy the full SHA
    d4ad6bc View commit details
    Browse the repository at this point in the history

  3. Cache constants and fix metadata tracking

    @bugarela
    bugarela committed Aug 27, 2024
    Configuration menu
    Copy the full SHA
    dbda074 View commit details
    Browse the repository at this point in the history

  4. Update unit tests

    @bugarela
    bugarela committed Aug 27, 2024
    Configuration menu
    Copy the full SHA
    cd3198a View commit details
    Browse the repository at this point in the history

Commits on Aug 28, 2024

  1. Ensure REPL still works after name errors

    @bugarela
    bugarela committed Aug 28, 2024
    Configuration menu
    Copy the full SHA
    0b36c5c View commit details
    Browse the repository at this point in the history

  2. Improve error handling in REPL and add tests for that

    @bugarela
    bugarela committed Aug 28, 2024
    Configuration menu
    Copy the full SHA
    3d61827 View commit details
    Browse the repository at this point in the history

Commits on Aug 29, 2024

  1. Reorganize and delete unused code

    @bugarela
    bugarela committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    ba55e38 View commit details
    Browse the repository at this point in the history

  2. Fix and update most tests

    @bugarela
    bugarela committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    0923a83 View commit details
    Browse the repository at this point in the history

Commits on Sep 2, 2024

  1. Document new evaluator's code

    @bugarela
    bugarela committed Sep 2, 2024
    Configuration menu
    Copy the full SHA
    017c5d8 View commit details
    Browse the repository at this point in the history

  2. Revert "Merge pull request #1191 from informalsystems/gabriela/fix-in… 

    …stance-constant-callgraph"

This change is no longer necessary as this dependency no longer exists.
I've checked that the reported problem doesn't happen after the revert

This reverts commit 384c28e, reversing
changes made to 576d72b.
    @bugarela
    bugarela committed Sep 2, 2024
    Configuration menu
    Copy the full SHA
    77a4dde View commit details
    Browse the repository at this point in the history

  3. Update test for unsupported scenario 

    This test case describes a scenario where we don't get the desired
result. The behavior changed, not for the better nor for the worse.
    @bugarela
    bugarela committed Sep 2, 2024
    Configuration menu
    Copy the full SHA
    2e9d0af View commit details
    Browse the repository at this point in the history

  4. Merge remote-tracking branch 'origin/main' into gabriela/new-evaluator

    @bugarela
    bugarela committed Sep 2, 2024
    Configuration menu
    Copy the full SHA
    c866d20 View commit details
    Browse the repository at this point in the history

  5. Fix formatting issue

    @bugarela
    bugarela committed Sep 2, 2024
    Configuration menu
    Copy the full SHA
    4ff1347 View commit details
    Browse the repository at this point in the history

  6. Fix integration test by making sure the proper table is used in the o… 

    …utput
    @bugarela
    bugarela committed Sep 2, 2024
    Configuration menu
    Copy the full SHA
    002bd29 View commit details
    Browse the repository at this point in the history

  7. Update fixtures, consts now keep their proper id in the table

    @bugarela
    bugarela committed Sep 2, 2024
    Configuration menu
    Copy the full SHA
    b486185 View commit details
    Browse the repository at this point in the history

  8. Add missing progress bar update (that got lost in conflict resolution)

    @bugarela
    bugarela committed Sep 2, 2024
    Configuration menu
    Copy the full SHA
    87dfdfc View commit details
    Browse the repository at this point in the history

  9. Add CHANGELOG entries

    @bugarela
    bugarela committed Sep 2, 2024
    Configuration menu
    Copy the full SHA
    3116a43 View commit details
    Browse the repository at this point in the history

  10. Remove remainder from old behavior left as comment

    @bugarela
    bugarela committed Sep 2, 2024
    Configuration menu
    Copy the full SHA
    2537fdb View commit details
    Browse the repository at this point in the history

Commits on Sep 9, 2024

  1. Fix hint text

    @bugarela
    bugarela committed Sep 9, 2024
    Configuration menu
    Copy the full SHA
    949408c View commit details
    Browse the repository at this point in the history

  2. Improve code quality a bit

    @bugarela
    bugarela committed Sep 9, 2024
    Configuration menu
    Copy the full SHA
    76bbfb8 View commit details
    Browse the repository at this point in the history

  3. Fix REPL issue when evaluating a variable that was never referenced

    @bugarela
    bugarela committed Sep 9, 2024
    Configuration menu
    Copy the full SHA
    be10877 View commit details
    Browse the repository at this point in the history

  4. Merge remote-tracking branch 'origin/main' into gabriela/new-evaluator

    @bugarela
    bugarela committed Sep 9, 2024
    Configuration menu
    Copy the full SHA
    c641178 View commit details
    Browse the repository at this point in the history

  5. Use -q flag in new REPL integration tests to avoid dealing with 

    different version numbers
    @bugarela
    bugarela committed Sep 9, 2024
    Configuration menu
    Copy the full SHA
    c2d27e6 View commit details
    Browse the repository at this point in the history