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.

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

Migrate to Automa v1 #19

Merged
merged 2 commits into from
Jul 30, 2024
Merged

Migrate to Automa v1 #19

merged 2 commits into from
Jul 30, 2024

Commits on Jul 30, 2024

  1. Migrate to Automa v1

    This change is not entirely straightforward. One of the major changes in Automa
    v1 is the detection of ambiguos NFAs at compile time. Automa's behaviour in the
    presence of such NFAs is undefined.
    It turns out that the existing BED Machines were ambiguous, which means there
    probably was some latent bugs waiting to happen.
    To mitigate these, the Machine's behaviour has been slightly changed.
    In particular:
    * Chrom now cannot start with # or with whitespace, to distinguish them from
      comments and whitespace
    * Blank lines now no longer can start with tabs, to distinguish them from a
      record with an empty chrom name
    
    I'm guessing this will not cause any issues in practise.
    jakobnissen committed Jul 30, 2024
    Configuration menu
    Copy the full SHA
    5f6eb27 View commit details
    Browse the repository at this point in the history
  2. Bump Julia compat to v1.6

    This has been LTS for years.
    Also update CI
    jakobnissen committed Jul 30, 2024
    Configuration menu
    Copy the full SHA
    796f609 View commit details
    Browse the repository at this point in the history