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

feature: dump and visualize the memo as a graph #237

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

feature: dump and visualize the memo as a graph #237

wants to merge 5 commits into from

Commits on Nov 13, 2024

  1. feature: dump and visualize the memo as a graph

    @jopereira
    jopereira committed Nov 13, 2024
    Configuration menu
    Copy the full SHA
    e0cfec8 View commit details
    Browse the repository at this point in the history

Commits on Nov 15, 2024

  1. make it an option, sequence names, and remove Box

    @jopereira
    jopereira committed Nov 15, 2024
    Configuration menu
    Copy the full SHA
    69c8779 View commit details
    Browse the repository at this point in the history

  2. simplify traversal without predicates

    @jopereira
    jopereira committed Nov 15, 2024
    Configuration menu
    Copy the full SHA
    9538ebf View commit details
    Browse the repository at this point in the history

Commits on Nov 17, 2024

  1. simplify group ordering

    @jopereira
    jopereira committed Nov 17, 2024
    Configuration menu
    Copy the full SHA
    7df07ea View commit details
    Browse the repository at this point in the history

  2. traverse predicates

    @jopereira
    jopereira committed Nov 17, 2024
    Configuration menu
    Copy the full SHA
    a702a42 View commit details
    Browse the repository at this point in the history