Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / VeriFIT/mata issues and pull requests
#138 - Upgrade to C++17
Pull Request -
State: closed - Opened by Adda0 over 1 year ago
#137 - Remove complement_in_place() and complement_naive()
Issue -
State: closed - Opened by Adda0 over 1 year ago
#136 - Get number of states
Pull Request -
State: closed - Opened by Adda0 over 1 year ago
- 5 comments
#135 - Fix Nfa::defragment() and corresponding support functions
Issue -
State: closed - Opened by Adda0 over 1 year ago
- 3 comments
Labels: For:library, Module:nfa, Type:bug, Type:required
#133 - Fix bug in concatenation
Pull Request -
State: closed - Opened by Adda0 over 1 year ago
- 4 comments
#132 - Add method to get the current number of states in the automaton
Issue -
State: closed - Opened by Adda0 over 1 year ago
- 3 comments
Labels: For:library, Module:nfa, Priority:high
#127 - Encapsulate Delta.post_size() wherever possible
Issue -
State: closed - Opened by martinhruska over 1 year ago
- 2 comments
Labels: For:library, Module:nfa, Type:required
#114 - Separate .h and .cc for alphabets
Issue -
State: closed - Opened by kilohsakul almost 2 years ago
Labels: Type:required
#113 - Simple interface of functions such as is_included_antichain
Issue -
State: open - Opened by kilohsakul almost 2 years ago
- 5 comments
Labels: Type:suggestion, Type:discussion
#104 - Resolve Mata compilation warnings
Issue -
State: closed - Opened by Adda0 almost 2 years ago
Labels: For:library, Type:suggestion
#102 - Discussion of format of headers
Issue -
State: open - Opened by kilohsakul almost 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 about 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 about 2 years ago
Labels: For:library, Type:suggestion
#29 - Removing virtual machine
Pull Request -
State: closed - Opened by martinhruska about 2 years ago
- 1 comment