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

Revamp of config creation and tokenization #284

Merged
merged 10 commits into from
Feb 15, 2024
Merged

Revamp of config creation and tokenization #284

merged 10 commits into from
Feb 15, 2024

Commits on Sep 14, 2023

  1. Major work on revamping

    @joeytakeda
    joeytakeda committed Sep 14, 2023
    Configuration menu
    Copy the full SHA
    b5f4b07 View commit details
    Browse the repository at this point in the history

  2. Tweaks for configuration and tokenization process

    @joeytakeda
    joeytakeda committed Sep 14, 2023
    Configuration menu
    Copy the full SHA
    9e164ab View commit details
    Browse the repository at this point in the history

Commits on Sep 27, 2023

  1. Merge branch 'dev' into iss219-config

    @joeytakeda
    joeytakeda committed Sep 27, 2023
    Configuration menu
    Copy the full SHA
    a51e8c1 View commit details
    Browse the repository at this point in the history

  2. Updating long lingering bad test

    @joeytakeda
    joeytakeda committed Sep 27, 2023
    Configuration menu
    Copy the full SHA
    11eeb4b View commit details
    Browse the repository at this point in the history

  3. More work on new tokenization process

    @joeytakeda
    joeytakeda committed Sep 27, 2023
    Configuration menu
    Copy the full SHA
    c3bc3aa View commit details
    Browse the repository at this point in the history

Commits on Nov 3, 2023

  1. More work on new approach for config generation

    @joeytakeda
    joeytakeda committed Nov 3, 2023
    Configuration menu
    Copy the full SHA
    8ac7d86 View commit details
    Browse the repository at this point in the history

Commits on Nov 16, 2023

  1. Merge branch 'dev' into iss219-config

    @joeytakeda
    joeytakeda committed Nov 16, 2023
    Configuration menu
    Copy the full SHA
    02e6e69 View commit details
    Browse the repository at this point in the history

Commits on Nov 17, 2023

  1. Small fixes and lots of documentation

    @joeytakeda
    joeytakeda committed Nov 17, 2023
    Configuration menu
    Copy the full SHA
    4abbab7 View commit details
    Browse the repository at this point in the history

  2. Removing dictionary file support (in support of #278) 

    Note that I'm smuggling this in with the config cin support changes, since this requires changes to the config. However, ODD and documentation changes still need to be done, so can't be resolved without further work.
    @joeytakeda
    joeytakeda committed Nov 17, 2023
    Configuration menu
    Copy the full SHA
    11efc76 View commit details
    Browse the repository at this point in the history

Commits on Dec 5, 2023

  1. Move to Saxon 11.

    @martindholmes
    martindholmes committed Dec 5, 2023
    Configuration menu
    Copy the full SHA
    aa746ea View commit details
    Browse the repository at this point in the history