-
Notifications
You must be signed in to change notification settings - Fork 24
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
- Status: Open.#685 In VeriFIT/mata;
- Status: Open.#684 In VeriFIT/mata;
- Status: Open.#628 In VeriFIT/mata;
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 Automatatype:suggestionA suggestion for feature/change that is not necessary at this momentA suggestion for feature/change that is not necessary at this momentStatus: Open.- Status: Open.#611 In VeriFIT/mata;
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 Automatatype:suggestionA suggestion for feature/change that is not necessary at this momentA suggestion for feature/change that is not necessary at this momentStatus: Open.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 Transducerstype:requiredA required implementation/change necessary in near futureA required implementation/change necessary in near futureStatus: Open.#571 In VeriFIT/mata;Unnecessary Isolated States and Epsilon Transitions in
replace_reluctant_regexFor: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 Transducerstype: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;Can
DONT_CAREmatch withEPSILON?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 Transducerstype:discussionA discussion of some particular topic in wider audienceA discussion of some particular topic in wider audienceStatus: Open.#561 In VeriFIT/mata;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 Transducerstype: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 futureStatus: Open.#547 In VeriFIT/mata;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 Transducerstype:discussionA discussion of some particular topic in wider audienceA discussion of some particular topic in wider audiencetype:suggestionA suggestion for feature/change that is not necessary at this momentA suggestion for feature/change that is not necessary at this momentStatus: Open.#544 In VeriFIT/mata;- Status: Open.