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

Prettyprint/produce proof tree #43

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

Prettyprint/produce proof tree #43

wants to merge 7 commits into from

Commits on Apr 22, 2020

  1. core: Sequential composition uses subgoals too

    @nishantjr
    nishantjr committed Apr 22, 2020
    Configuration menu
    Copy the full SHA
    7bac10e View commit details
    Browse the repository at this point in the history

  2. Reap failed goals and children (TODO: This uses [owise])

    @nishantjr
    nishantjr committed Apr 22, 2020
    Configuration menu
    Copy the full SHA
    018f0f2 View commit details
    Browse the repository at this point in the history

  3. lib/render-proof-tree: Small python script for extracting tree structure

    @nishantjr
    nishantjr committed Apr 22, 2020
    Configuration menu
    Copy the full SHA
    ec54f36 View commit details
    Browse the repository at this point in the history

  4. strategies/core: Do not copy the trace to subgoals 

    Since we are not removing subgoals unless they fail this is no longer necessary
    @nishantjr
    nishantjr committed Apr 22, 2020
    Configuration menu
    Copy the full SHA
    146e6ee View commit details
    Browse the repository at this point in the history

  5. strategies/smt: Place SMTLIB2Script in trace cell

    @nishantjr
    nishantjr committed Apr 22, 2020
    Configuration menu
    Copy the full SHA
    8ea3877 View commit details
    Browse the repository at this point in the history

  6. lib/render-proof-tree: Prints prints current goal, and trace cells

    @nishantjr
    nishantjr committed Apr 22, 2020
    Configuration menu
    Copy the full SHA
    54c0285 View commit details
    Browse the repository at this point in the history

  7. core: cool sequences back in, so that subgoals are only generated for… 

    … a single uncomposed strategy
    @nishantjr
    nishantjr committed Apr 22, 2020
    Configuration menu
    Copy the full SHA
    e1dd33a View commit details
    Browse the repository at this point in the history