Search results

[proposal] Add Anaconda packaging for the Python binding

Status: Open.

#611 In verifit/mata;

· ImpleLee opened on Feb 4, 2026

UB causing segfaults in <code>nft::is_in_lang()</code>

For:libraryThe issue is related to library (c++ implementation)The issue is related to library (c++ implementation)

Module:nftThe issue is related to Nondeterministic Finite TransducersThe issue is related to Nondeterministic Finite Transducers

Priority:highFocus on this before the others.Focus on this before the others.

Type:requiredA required implementation/change necessary in near futureA required implementation/change necessary in near future

Status: Open.

Bug

#609 In verifit/mata;

· Adda0 opened on Jan 6, 2026

Add transition using the alphabet member keys

For:libraryThe issue is related to library (c++ implementation)The issue is related to library (c++ implementation)

Module:nfaThe issue is related to Nondeterministic Finite AutomataThe issue is related to Nondeterministic Finite Automata

Type:suggestionA suggestion for feature/change that is not necessary at this momentA suggestion for feature/change that is not necessary at this moment

Status: Open.

Feature

#587 In verifit/mata;

· Adda0 opened on Nov 24, 2025

Determinization and Minimization for length-preserving NFTs

For:libraryThe issue is related to library (c++ implementation)The issue is related to library (c++ implementation)

Module:nftThe issue is related to Nondeterministic Finite TransducersThe issue is related to Nondeterministic Finite Transducers

Priority:highFocus on this before the others.Focus on this before the others.

Type:requiredA required implementation/change necessary in near futureA required implementation/change necessary in near future

Status: Open.

Feature

#571 In verifit/mata;

· bruderjakob17 opened on Nov 6, 2025

Unnecessary Isolated States and Epsilon Transitions in <code>replace_reluctant_regex</code>

For:libraryThe issue is related to library (c++ implementation)The issue is related to library (c++ implementation)

Module:nftThe issue is related to Nondeterministic Finite TransducersThe issue is related to Nondeterministic Finite Transducers

Type:optimizationThis issue is related to a possible optimization of an algorithm, improving the performance of Mata.This issue is related to a possible optimization of an algorithm, improving the performance of Mata.

Status: Open.

#568 In verifit/mata;

· koniksedy opened on Sep 16, 2025

Can <code>DONT_CARE</code> match with <code>EPSILON</code>?

For:libraryThe issue is related to library (c++ implementation)The issue is related to library (c++ implementation)

Module:nftThe issue is related to Nondeterministic Finite TransducersThe issue is related to Nondeterministic Finite Transducers

Type:discussionA discussion of some particular topic in wider audienceA discussion of some particular topic in wider audience

Status: Open.

#561 In verifit/mata;

· koniksedy opened on Aug 21, 2025

NFT - Equivalence Checking

For:libraryThe issue is related to library (c++ implementation)The issue is related to library (c++ implementation)

Module:nftThe issue is related to Nondeterministic Finite TransducersThe issue is related to Nondeterministic Finite Transducers

Priority:normalWork on this sooner rather than later.Work on this sooner rather than later.

Type:optimizationThis issue is related to a possible optimization of an algorithm, improving the performance of Mata.This issue is related to a possible optimization of an algorithm, improving the performance of Mata.

Type:requiredA required implementation/change necessary in near futureA required implementation/change necessary in near future

Status: Open.

#547 In verifit/mata;

· koniksedy opened on Jul 1, 2025

Rethink Jump Treansitions - For Noodler

For:libraryThe issue is related to library (c++ implementation)The issue is related to library (c++ implementation)

Module:nftThe issue is related to Nondeterministic Finite TransducersThe issue is related to Nondeterministic Finite Transducers

Priority:lowWork on this only when there is nothing else to do.Work on this only when there is nothing else to do.

Type:discussionA discussion of some particular topic in wider audienceA discussion of some particular topic in wider audience

Type:suggestionA suggestion for feature/change that is not necessary at this momentA suggestion for feature/change that is not necessary at this moment

Status: Open.

#544 In verifit/mata;

· koniksedy opened on Jun 4, 2025

Epsilon handling

Status: Open.

#529 In verifit/mata;

· jurajsic opened on May 12, 2025

Add a Support for Long Jump Transitions for <code>Nft::post()</code> and <code>Nft::is_in_lang()</code>

For:libraryThe issue is related to library (c++ implementation)The issue is related to library (c++ implementation)

Module:nftThe issue is related to Nondeterministic Finite TransducersThe issue is related to Nondeterministic Finite Transducers

Priority:normalWork on this sooner rather than later.Work on this sooner rather than later.

Type:requiredA required implementation/change necessary in near futureA required implementation/change necessary in near future

Status: Open.

#509 In verifit/mata;

· koniksedy opened on Apr 2, 2025

Update Python Binding (add NFT)

For:bindingThe issue is related to bindings (python binding)The issue is related to bindings (python binding)

Module:nfaThe issue is related to Nondeterministic Finite AutomataThe issue is related to Nondeterministic Finite Automata

Module:nftThe issue is related to Nondeterministic Finite TransducersThe issue is related to Nondeterministic Finite Transducers

Priority:lowWork on this only when there is nothing else to do.Work on this only when there is nothing else to do.

Type:requiredA required implementation/change necessary in near futureA required implementation/change necessary in near future

Status: Open.

#508 In verifit/mata;

· koniksedy opened on Apr 2, 2025

Passing Algorithm Options and Flags to Functions

For:libraryThe issue is related to library (c++ implementation)The issue is related to library (c++ implementation)

Priority:normalWork on this sooner rather than later.Work on this sooner rather than later.

Type:discussionA discussion of some particular topic in wider audienceA discussion of some particular topic in wider audience

Type:requiredA required implementation/change necessary in near futureA required implementation/change necessary in near future

Status: Open.

#507 In verifit/mata;

· koniksedy opened on Apr 1, 2025