Search results

FR: Construct regular expressions from automata (for SMT string solving)

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

#616 In VeriFIT/mata;

· Ailuras opened on Mar 27, 2026

Unexpected behaviour of create_sigma_star_nft

Status: Open.

#613 In VeriFIT/mata;

· bruderjakob17 opened on Mar 2, 2026

[proposal] Add Anaconda packaging for the Python binding

Status: Open.

#611 In VeriFIT/mata;

· ImpleLee opened on Feb 4, 2026

UB causing segfaults in nft::is_in_lang()

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

·  

Alphabets refactor

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 replace_reluctant_regex

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 DONT_CARE match with EPSILON?

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

·  

Alphabets refactor

Add a Support for Long Jump Transitions for Nft::post() and Nft::is_in_lang()

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