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

Remove support for old encoding of equations #2890

Merged
merged 10 commits into from
Oct 27, 2021
Merged

Remove support for old encoding of equations #2890

merged 10 commits into from
Oct 27, 2021

Commits on Oct 21, 2021

  1. Remove support for old encoding of equations

    @ana-pantilie
    ana-pantilie committed Oct 21, 2021
    Configuration menu
    Copy the full SHA
    2689385 View commit details
    Browse the repository at this point in the history

  2. Format with fourmolu

    github-actions committed Oct 21, 2021
    Configuration menu
    Copy the full SHA
    7988554 View commit details
    Browse the repository at this point in the history

Commits on Oct 22, 2021

  1. Change encoding in prelude.kore

    @ana-pantilie
    ana-pantilie committed Oct 22, 2021
    Configuration menu
    Copy the full SHA
    91958ba View commit details
    Browse the repository at this point in the history

  2. Merge branch 'remove-old-equation-encoding' of github.com:kframework/… 

    …kore into remove-old-equation-encoding
    @ana-pantilie
    ana-pantilie committed Oct 22, 2021
    Configuration menu
    Copy the full SHA
    2f53579 View commit details
    Browse the repository at this point in the history

  3. Regenerate regression tests with modified prelude.kore

    @ana-pantilie
    ana-pantilie committed Oct 22, 2021
    Configuration menu
    Copy the full SHA
    2197c67 View commit details
    Browse the repository at this point in the history

  4. Modify encoding in unit tests

    @ana-pantilie
    ana-pantilie committed Oct 22, 2021
    Configuration menu
    Copy the full SHA
    d20773b View commit details
    Browse the repository at this point in the history

Commits on Oct 25, 2021

  1. Merge branch 'master' into remove-old-equation-encoding

    @ana-pantilie
    ana-pantilie authored Oct 25, 2021
    Configuration menu
    Copy the full SHA
    c0f6b13 View commit details
    Browse the repository at this point in the history

  2. Replace files in issue-2221 with minimzed K example

    @ana-pantilie
    ana-pantilie committed Oct 25, 2021
    Configuration menu
    Copy the full SHA
    d91b765 View commit details
    Browse the repository at this point in the history

  3. Remove issue-2244 because it can't be regenerated

    @ana-pantilie
    ana-pantilie committed Oct 25, 2021
    Configuration menu
    Copy the full SHA
    352abc9 View commit details
    Browse the repository at this point in the history

Commits on Oct 27, 2021

  1. Merge remote-tracking branch 'origin/master' into remove-old-equation… 

    …-encoding
    @ana-pantilie
    ana-pantilie committed Oct 27, 2021
    Configuration menu
    Copy the full SHA
    d6d7757 View commit details
    Browse the repository at this point in the history