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

Conversation

jakobnissen
Copy link
Member

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.

Supersedes #18, cc. @kescobo

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.
This has been LTS for years.
Also update CI
@jakobnissen jakobnissen merged commit 9fca84a into BioJulia:develop Jul 30, 2024
8 checks passed
@jakobnissen jakobnissen deleted the automa1 branch July 30, 2024 15:56
@abhinavsns
Copy link

Thank you! Is there a scheduled upcoming release or should I just use develop?

@jakobnissen
Copy link
Member Author

Oh right, forgot that. I will make a release later tonight - use develop for now

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants