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

Parse configs and rules #7

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

Parse configs and rules #7

wants to merge 20 commits into from

Commits on Jul 18, 2019

  1. Started to parse configurations 

    Run into some errors and ambiguities.
    @radumereuta
    radumereuta committed Jul 18, 2019
    Configuration menu
    Copy the full SHA
    ba0918f View commit details
    Browse the repository at this point in the history

  2. Parsing the configuration

    @radumereuta
    radumereuta committed Jul 18, 2019
    Configuration menu
    Copy the full SHA
    ebb4e74 View commit details
    Browse the repository at this point in the history

  3. Auto generating casts and subsorts 

    not working, strategy error
    @radumereuta
    radumereuta committed Jul 18, 2019
    Configuration menu
    Copy the full SHA
    95a59df View commit details
    Browse the repository at this point in the history

  4. Call config parsing.

    @radumereuta
    radumereuta committed Jul 18, 2019
    Configuration menu
    Copy the full SHA
    88c64c8 View commit details
    Browse the repository at this point in the history

  5. FIx subsort production creation.

    @radumereuta
    radumereuta committed Jul 18, 2019
    Configuration menu
    Copy the full SHA
    3ba416f View commit details
    Browse the repository at this point in the history

  6. Parse the configuration only. 

    No disambiguation. No config analysis.
    @radumereuta
    radumereuta committed Jul 18, 2019
    Configuration menu
    Copy the full SHA
    58136fe View commit details
    Browse the repository at this point in the history

  7. Extracting configurationInfo

    @radumereuta
    radumereuta committed Jul 18, 2019
    Configuration menu
    Copy the full SHA
    e78a9d2 View commit details
    Browse the repository at this point in the history

Commits on Jul 19, 2019

  1. Started to parse rules. 

    Very simple stuff and no disambiguation.
    @radumereuta
    radumereuta committed Jul 19, 2019
    Configuration menu
    Copy the full SHA
    bfe3cdd View commit details
    Browse the repository at this point in the history

Commits on Aug 1, 2019

  1. Managed to parse IMP 

    with ambiguities
    @radumereuta
    radumereuta committed Aug 1, 2019
    Configuration menu
    Copy the full SHA
    ccb69bf View commit details
    Browse the repository at this point in the history

Commits on Aug 6, 2019

  1. Parsing IMP non ambiguously with parens

    @radumereuta
    radumereuta committed Aug 6, 2019
    Configuration menu
    Copy the full SHA
    80a1b8c View commit details
    Browse the repository at this point in the history

Commits on Aug 8, 2019

  1. Parsing configs in a modular way

    @radumereuta
    radumereuta committed Aug 8, 2019
    Configuration menu
    Copy the full SHA
    0439957 View commit details
    Browse the repository at this point in the history

Commits on Aug 9, 2019

  1. Parsing rules module by module 

    Tested on the simple config example.
    @radumereuta
    radumereuta committed Aug 9, 2019
    Configuration menu
    Copy the full SHA
    321ca9e View commit details
    Browse the repository at this point in the history

Commits on Aug 13, 2019

  1. Refactor collect prods

    @radumereuta
    radumereuta committed Aug 13, 2019
    Configuration menu
    Copy the full SHA
    0bd78f6 View commit details
    Browse the repository at this point in the history

  2. Refactor prod generators

    @radumereuta
    radumereuta committed Aug 13, 2019
    Configuration menu
    Copy the full SHA
    3c5ad35 View commit details
    Browse the repository at this point in the history

  3. Move parsing to parser-gen.k

    @radumereuta
    radumereuta committed Aug 13, 2019
    Configuration menu
    Copy the full SHA
    e11056b View commit details
    Browse the repository at this point in the history

Commits on Aug 21, 2019

  1. Small refactor and more comments

    @radumereuta
    radumereuta committed Aug 21, 2019
    Configuration menu
    Copy the full SHA
    ab7b3e5 View commit details
    Browse the repository at this point in the history

Commits on Aug 29, 2019

  1. Update parse program pipeline

    @radumereuta
    radumereuta committed Aug 29, 2019
    Configuration menu
    Copy the full SHA
    a0f2b35 View commit details
    Browse the repository at this point in the history

Commits on Aug 31, 2019

  1. Renaming example

    @radumereuta
    radumereuta committed Aug 31, 2019
    Configuration menu
    Copy the full SHA
    571b806 View commit details
    Browse the repository at this point in the history

Commits on Sep 2, 2019

  1. Fixing build system and adding inner-parsing test

    @radumereuta
    radumereuta committed Sep 2, 2019
    Configuration menu
    Copy the full SHA
    23f3205 View commit details
    Browse the repository at this point in the history

Commits on Sep 5, 2019

  1. Work around pretty-printing issue

    @radumereuta
    radumereuta committed Sep 5, 2019
    Configuration menu
    Copy the full SHA
    f5d2a51 View commit details
    Browse the repository at this point in the history