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

Add NPDA functionality to finsm #111

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

Add NPDA functionality to finsm #111

wants to merge 20 commits into from

Commits on Jul 31, 2021

  1. Add NPDA base type, NDA/DFA still working

    @Necried
    Necried committed Jul 31, 2021
    Configuration menu
    Copy the full SHA
    39893ae View commit details
    Browse the repository at this point in the history

Commits on Aug 3, 2021

  1. Cover existing case statements with NPDA case

    @Necried
    Necried committed Aug 3, 2021
    Configuration menu
    Copy the full SHA
    e67ba61 View commit details
    Browse the repository at this point in the history

  2. Add the NPDA button, now app breaks in NPDA mode

    @Necried
    Necried committed Aug 3, 2021
    Configuration menu
    Copy the full SHA
    dbef004 View commit details
    Browse the repository at this point in the history

Commits on Aug 4, 2021

  1. Build mode works for NPDA (not tested thoroughly)

    @Necried
    Necried committed Aug 4, 2021
    Configuration menu
    Copy the full SHA
    d5b0094 View commit details
    Browse the repository at this point in the history

Commits on Aug 8, 2021

  1. Fix mode buttons in Simulate, and add run button on tapes

    @Necried
    Necried committed Aug 8, 2021
    Configuration menu
    Copy the full SHA
    cab991c View commit details
    Browse the repository at this point in the history

  2. Add stacks to Simulating PersistentModel

    @Necried
    Necried committed Aug 8, 2021
    Configuration menu
    Copy the full SHA
    0d60e30 View commit details
    Browse the repository at this point in the history

  3. Add untested simulation functions for NPDA

    @Necried
    Necried committed Aug 8, 2021
    Configuration menu
    Copy the full SHA
    8b89296 View commit details
    Browse the repository at this point in the history

Commits on Aug 13, 2021

  1. Make epsilon transitions in timesteps

    @Necried
    Necried committed Aug 13, 2021
    Configuration menu
    Copy the full SHA
    9d27b38 View commit details
    Browse the repository at this point in the history

Commits on Aug 16, 2021

  1. Add primitive rendering of NPDA simulation

    @Necried
    Necried committed Aug 16, 2021
    Configuration menu
    Copy the full SHA
    1f24769 View commit details
    Browse the repository at this point in the history

  2. Highlight states in NPDA simulation

    @Necried
    Necried committed Aug 16, 2021
    Configuration menu
    Copy the full SHA
    15d50ad View commit details
    Browse the repository at this point in the history

  3. Format Simulating.elm

    @Necried
    Necried committed Aug 16, 2021
    Configuration menu
    Copy the full SHA
    187e1f8 View commit details
    Browse the repository at this point in the history

Commits on Aug 18, 2021

  1. Make minimal balanced parenthesis example work

    @Necried
    Necried committed Aug 18, 2021
    Configuration menu
    Copy the full SHA
    42c086e View commit details
    Browse the repository at this point in the history

  2. Allow change of accept cond and improve rendering and tape error

    @Necried
    Necried committed Aug 18, 2021
    Configuration menu
    Copy the full SHA
    db4fe87 View commit details
    Browse the repository at this point in the history

Commits on Aug 20, 2021

  1. Allow latex characters in stack operations

    @Necried
    Necried committed Aug 20, 2021
    Configuration menu
    Copy the full SHA
    789b08b View commit details
    Browse the repository at this point in the history

  2. Make NPDA textbox length the max of the 3 inputs

    @Necried
    Necried committed Aug 20, 2021
    Configuration menu
    Copy the full SHA
    8c3434b View commit details
    Browse the repository at this point in the history

  3. Fix textbox rendering and reserved chars in NPDA Sigma

    @Necried
    Necried committed Aug 20, 2021
    Configuration menu
    Copy the full SHA
    d8fd985 View commit details
    Browse the repository at this point in the history

Commits on Aug 21, 2021

  1. Nicer arrangement on config boxes

    @Necried
    Necried committed Aug 21, 2021
    Configuration menu
    Copy the full SHA
    0ffbb45 View commit details
    Browse the repository at this point in the history

  2. NPDA pagination complete

    @Necried
    Necried committed Aug 21, 2021
    Configuration menu
    Copy the full SHA
    763e23a View commit details
    Browse the repository at this point in the history

  3. Add NPDA in header in SaveLoad, and export NPDA transitions properly

    @Necried
    Necried committed Aug 21, 2021
    Configuration menu
    Copy the full SHA
    110315a View commit details
    Browse the repository at this point in the history

  4. Fix final state acceptance bug and cleanup debug

    @Necried
    Necried committed Aug 21, 2021
    Configuration menu
    Copy the full SHA
    632b3ce View commit details
    Browse the repository at this point in the history