Search results

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

Extending the <code>AFA-bits</code> Format for Formulae in General Form?

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.

#445 In VeriFIT/mata;

· jn1z opened on Oct 21, 2024

Extremely high memory use when mintermizing some files

Status: Open.

#444 In VeriFIT/mata;

· jn1z opened on Oct 20, 2024