VeriFIT/mata issues and pull requests

#186 - Add move constructors and move assignments

Issue - State: closed - Opened by Adda0 almost 2 years ago - 1 comment
Labels: For:library, Module:nfa, Type:required, Priority:high

#185 - Create single word nfa

Pull Request - State: closed - Opened by Adda0 almost 2 years ago - 1 comment

#184 - Unify each automaton only once

Pull Request - State: closed - Opened by Adda0 almost 2 years ago - 2 comments

#183 - Util refactorization

Pull Request - State: closed - Opened by Adda0 almost 2 years ago - 2 comments

#182 - Trying to speed up revert

Pull Request - State: closed - Opened by kilohsakul about 2 years ago - 2 comments

#181 - Eps lang check

Pull Request - State: closed - Opened by vhavlena about 2 years ago

#180 - Fix concatenate

Pull Request - State: closed - Opened by Adda0 about 2 years ago

#179 - Optimization of adding/removing transitions

Issue - State: open - Opened by kilohsakul about 2 years ago
Labels: Type:discussion

#178 - Accepts epsilon function

Issue - State: closed - Opened by vhavlena about 2 years ago - 3 comments
Labels: Module:nfa, Type:required, Priority:normal

#177 - Use algorithm instead of algo

Pull Request - State: closed - Opened by Adda0 about 2 years ago

#176 - Fix an issue with bad allocation in post

Pull Request - State: closed - Opened by kilohsakul about 2 years ago - 10 comments

#175 - Unify construct functions

Issue - State: open - Opened by jurajsic about 2 years ago - 3 comments
Labels: For:library, Module:afa, Module:nfa

#174 - Constants (true/false) in FormulaNode

Issue - State: closed - Opened by jurajsic about 2 years ago - 4 comments
Labels: For:library, Type:suggestion, Priority:low

#173 - Bug in determinize()

Issue - State: closed - Opened by Adda0 about 2 years ago - 3 comments
Labels: For:library, Module:nfa, Type:bug, Priority:high

#172 - Unify naming of operations in `nfa.hh`

Issue - State: open - Opened by Adda0 about 2 years ago - 5 comments
Labels: For:library, Module:nfa, Type:suggestion, Priority:normal

#171 - Allow trimming the result in `Nfa::reduce()`

Pull Request - State: closed - Opened by Adda0 about 2 years ago - 10 comments

#170 - Unify use of `algorithm` optional parameter to several operations

Issue - State: closed - Opened by Adda0 about 2 years ago - 1 comment
Labels: For:library, Module:nfa, Type:suggestion, Priority:normal

#169 - Fix parsing of final states

Pull Request - State: closed - Opened by jurajsic about 2 years ago - 6 comments

#168 - true/false in mata format

Issue - State: closed - Opened by jurajsic about 2 years ago - 4 comments
Labels: Type:discussion

#167 - What should parameter `num_of_states` in Nfa constructor mean?

Issue - State: closed - Opened by Adda0 about 2 years ago - 7 comments
Labels: For:library, Module:nfa, Type:discussion, Priority:normal

#166 - Add function to create automaton accepting single word

Issue - State: closed - Opened by Adda0 about 2 years ago - 2 comments
Labels: For:library, Module:nfa, Type:discussion, Priority:normal

#165 - Fix simulation reduction

Pull Request - State: closed - Opened by jurajsic about 2 years ago - 2 comments

#164 - Mata::Nfa::trim() | Create in place and not in place variants

Issue - State: closed - Opened by Adda0 about 2 years ago - 3 comments
Labels: For:library, Status:in_progress, Module:nfa, Type:suggestion, Priority:normal

#163 - Mata::Nfa::reduce() | Add optional flag to trim the result afterwards

Issue - State: closed - Opened by Adda0 about 2 years ago - 1 comment
Labels: For:library, Status:in_progress, Module:nfa, Type:suggestion, Priority:normal

#162 - Refactor functions to create alphabet from NFAs

Pull Request - State: closed - Opened by Adda0 about 2 years ago - 1 comment

#161 - Update C++ examples in folder /examples

Issue - State: open - Opened by Adda0 about 2 years ago - 5 comments
Labels: For:library, Type:required, Priority:normal

#160 - Create basic automata

Pull Request - State: closed - Opened by Adda0 about 2 years ago - 10 comments

#159 - Noodlification: remove duplicities

Pull Request - State: closed - Opened by vhavlena about 2 years ago

#158 - added documentation to precendce of operators

Pull Request - State: closed - Opened by martinhruska about 2 years ago

#157 - Defragmentation of NFA

Pull Request - State: closed - Opened by martinhruska about 2 years ago - 1 comment

#156 - Rename Mata::Nfa::Nfa::from_nfas()

Issue - State: closed - Opened by Adda0 about 2 years ago
Labels: For:library, Module:nfa, Type:suggestion, Priority:normal

#155 - Add class methods to create simple automata

Issue - State: closed - Opened by Adda0 about 2 years ago
Labels: For:library, Module:nfa, Type:required, Priority:normal

#154 - Temporarily disable automatic tests for Jupyter notebooks

Pull Request - State: closed - Opened by Adda0 about 2 years ago

#153 - Automata operations for regex construction

Issue - State: open - Opened by vhavlena about 2 years ago - 3 comments
Labels: Module:nfa, Priority:normal

#152 - Rename Python binding method get_digraph to get_one_letter_aut

Pull Request - State: closed - Opened by Adda0 about 2 years ago

#151 - Strings: word lengths of NFAs

Pull Request - State: closed - Opened by vhavlena about 2 years ago - 2 comments

#150 - Move building CUDD from Autoconf to CMake

Pull Request - State: closed - Opened by jurajsic about 2 years ago - 1 comment

#149 - alphabets extracted to separated .hh and .cc files

Pull Request - State: closed - Opened by martinhruska about 2 years ago - 3 comments

#148 - removed increase_size

Pull Request - State: closed - Opened by martinhruska about 2 years ago - 1 comment

#147 - Regex parser bug

Pull Request - State: closed - Opened by Adda0 about 2 years ago - 1 comment

#146 - Fix library building

Pull Request - State: closed - Opened by jurajsic about 2 years ago - 2 comments

#145 - Export headers

Pull Request - State: closed - Opened by martinhruska about 2 years ago - 1 comment

#144 - RE2: parser fixing; workaround

Pull Request - State: closed - Opened by vhavlena about 2 years ago

#143 - Decide whether to keep Nfa::increase_size()

Issue - State: closed - Opened by Adda0 about 2 years ago - 1 comment
Labels: For:library, Module:nfa, Type:discussion, Priority:low

#142 - Set up code automatic coverage tests

Issue - State: open - Opened by Adda0 about 2 years ago
Labels: For:devops, Type:required, Priority:normal

#141 - Update Nfa::make_complete()

Issue - State: open - Opened by Adda0 about 2 years ago
Labels: For:library, Module:nfa, Type:suggestion, Priority:low

#140 - Implement state and transition dictionaries

Issue - State: open - Opened by Adda0 about 2 years ago - 1 comment
Labels: For:library, Module:nfa, Type:suggestion, Priority:low

#139 - RE2 construction: another bug

Issue - State: closed - Opened by vhavlena about 2 years ago
Labels: Type:bug, Priority:high

#138 - Upgrade to C++17

Pull Request - State: closed - Opened by Adda0 about 2 years ago

#137 - Remove complement_in_place() and complement_naive()

Issue - State: closed - Opened by Adda0 about 2 years ago

#136 - Get number of states

Pull Request - State: closed - Opened by Adda0 about 2 years ago - 5 comments

#135 - Fix Nfa::defragment() and corresponding support functions

Issue - State: closed - Opened by Adda0 about 2 years ago - 3 comments
Labels: For:library, Module:nfa, Type:bug, Type:required

#133 - Fix bug in concatenation

Pull Request - State: closed - Opened by Adda0 about 2 years ago - 4 comments

#132 - Add method to get the current number of states in the automaton

Issue - State: closed - Opened by Adda0 about 2 years ago - 3 comments
Labels: For:library, Module:nfa, Priority:high

#127 - Encapsulate Delta.post_size() wherever possible

Issue - State: closed - Opened by martinhruska about 2 years ago - 2 comments
Labels: For:library, Module:nfa, Type:required

#114 - Separate .h and .cc for alphabets

Issue - State: closed - Opened by kilohsakul about 2 years ago
Labels: Type:required

#113 - Simple interface of functions such as is_included_antichain

Issue - State: open - Opened by kilohsakul about 2 years ago - 5 comments
Labels: Type:suggestion, Type:discussion

#104 - Resolve Mata compilation warnings

Issue - State: closed - Opened by Adda0 about 2 years ago
Labels: For:library, Type:suggestion

#102 - Discussion of format of headers

Issue - State: open - Opened by kilohsakul about 2 years ago - 9 comments
Labels: For:library, Type:discussion, Priority:low

#47 - Allow specifying an epsilon symbol when computing the shortest words

Issue - State: open - Opened by Adda0 over 2 years ago - 3 comments
Labels: For:library, Module:nfa, Type:suggestion, Priority:low

#34 - Upgrade to newer standard of C++

Issue - State: closed - Opened by Adda0 over 2 years ago
Labels: For:library, Type:suggestion

#29 - Removing virtual machine

Pull Request - State: closed - Opened by martinhruska over 2 years ago - 1 comment

GitHub / VeriFIT/mata issues and pull requests