Search results

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

Support OR-product use cases

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

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

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

Status: Open.

Feature

#556 In verifit/mata;

· p4l1ly opened on Jul 22, 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

Handling special symbols in Mata: epsilons, dont care(s), markers in strings, etc.

Status: Open.

#505 In verifit/mata;

· Adda0 opened on Mar 29, 2025

Construct NFAs for regex matching inside text

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:discussionA discussion of some particular topic in wider audienceA discussion of some particular topic in wider audience

Status: Open.

#464 In verifit/mata;

· Adda0 opened on Nov 18, 2024

General BFS/DFS method parameterized by callbacks

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

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

Status: Open.

#446 In verifit/mata;

· Adda0 opened on Oct 25, 2024