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