VeriFIT/mata issues and pull requests

#264 - Speed-up the building of the binding.

Issue - State: closed - Opened by tfiedor over 1 year ago - 4 comments
Labels: For:binding, For:devops, Priority:high

#263 - Fix infinite looping when input is missing trailing newline

Pull Request - State: closed - Opened by Adda0 over 1 year ago

#262 - Organize header files into folders

Pull Request - State: closed - Opened by Adda0 over 1 year ago - 4 comments

#261 - Use post and move variable names for Posts and Moves

Pull Request - State: closed - Opened by Adda0 over 1 year ago - 5 comments

#260 - Prepare setup of binding for multiple modules

Pull Request - State: closed - Opened by tfiedor over 1 year ago - 11 comments

#259 - Bug in parsing or mata output

Issue - State: closed - Opened by vhavlena over 1 year ago - 3 comments
Labels: Type:bug

#258 - Optimization of determinization+complementation

Issue - State: open - Opened by vhavlena over 1 year ago
Labels: For:library, Module:nfa

#257 - Refactor GitHub Actions configuration

Pull Request - State: closed - Opened by Adda0 over 1 year ago - 16 comments

#256 - warnings from re2

Pull Request - State: closed - Opened by kilohsakul over 1 year ago

#255 - Getting rid of remaining warnings

Pull Request - State: closed - Opened by kilohsakul over 1 year ago - 1 comment

#254 - Print NFA to mata format

Pull Request - State: closed - Opened by jurajsic over 1 year ago - 3 comments

#253 - Disable code coverage and CTest

Pull Request - State: closed - Opened by Adda0 over 1 year ago

#252 - Fix warnings

Pull Request - State: closed - Opened by Adda0 over 1 year ago - 2 comments

#251 - SparseSet, replacing NumberPredicate

Pull Request - State: closed - Opened by kilohsakul over 1 year ago - 4 comments

#250 - Clean header files

Pull Request - State: closed - Opened by Adda0 over 1 year ago - 2 comments

#249 - Replacing NumberPredicate by SparseSet

Pull Request - State: closed - Opened by kilohsakul over 1 year ago

#248 - Fix perf testing get used symbols

Pull Request - State: closed - Opened by kilohsakul over 1 year ago

#247 - Remove member variables for number of states

Pull Request - State: closed - Opened by Adda0 over 1 year ago - 5 comments

#246 - Concatenation optimization

Pull Request - State: closed - Opened by vhavlena over 1 year ago - 14 comments

#245 - Get git hash

Pull Request - State: closed - Opened by jurajsic over 1 year ago - 3 comments

#244 - Remove NFA iterator

Pull Request - State: closed - Opened by Adda0 over 1 year ago

#243 - Get Mata version at runtime

Issue - State: closed - Opened by Adda0 over 1 year ago
Labels: For:devops, Type:required, Priority:normal

#242 - Add guide on how to work with and maintain Python binding

Issue - State: closed - Opened by Adda0 over 1 year ago - 5 comments
Labels: For:binding, Type:required, Priority:normal

#241 - Divide Python binding into modules

Issue - State: closed - Opened by Adda0 over 1 year ago - 1 comment
Labels: For:binding, Type:required, Priority:normal

#240 - Optimize the removal of epsilon symbols from an automaton

Issue - State: open - Opened by Adda0 over 1 year ago - 1 comment
Labels: For:library, Module:nfa, Type:required, Priority:normal

#239 - Implement classical automata operations

Issue - State: open - Opened by Adda0 over 1 year ago
Labels: For:library, Module:nfa, Type:required, Priority:normal

#238 - Remove iterator over automaton

Issue - State: closed - Opened by Adda0 over 1 year ago
Labels: For:library, Module:nfa, Type:required, Priority:normal

#237 - Simplify `NumberPredicate`

Issue - State: closed - Opened by Adda0 over 1 year ago - 1 comment
Labels: For:library, Type:discussion, Priority:normal

#236 - Move function definitions from header files to source files when possible

Issue - State: closed - Opened by Adda0 over 1 year ago - 3 comments
Labels: For:library, Type:required, Priority:normal

#235 - Remove construct parsed section function

Pull Request - State: closed - Opened by Adda0 over 1 year ago - 9 comments

#234 - R-value functions for algorithms and general use

Issue - State: open - Opened by Adda0 over 1 year ago - 5 comments
Labels: For:library, Module:nfa, Type:suggestion, Priority:normal

#233 - Update move semantics

Pull Request - State: closed - Opened by Adda0 over 1 year ago

#232 - Complement over precomputed symbols

Pull Request - State: closed - Opened by Adda0 over 1 year ago

#231 - Performance testing: Convert build system to CMake

Issue - State: closed - Opened by Adda0 over 1 year ago - 3 comments
Labels: For:devops, Type:required

#230 - Callgrind script: Do not show error when output file does not exist

Pull Request - State: closed - Opened by Adda0 over 1 year ago - 4 comments

#229 - Bring Python binding up to date

Issue - State: open - Opened by Adda0 over 1 year ago - 6 comments
Labels: For:library, For:binding, Status:in_progress, Type:required, Priority:normal

#228 - Start documenting decisions and practices in source code itself

Issue - State: closed - Opened by kilohsakul over 1 year ago - 2 comments
Labels: For:library, Type:required

#227 - replace custom [] operators by normal functions?

Issue - State: open - Opened by kilohsakul over 1 year ago - 9 comments
Labels: For:library, Priority:low

#226 - Faster concatenation

Pull Request - State: closed - Opened by kilohsakul over 1 year ago - 3 comments

#225 - Make selected requirements (lcov) optional in cmake

Issue - State: closed - Opened by tfiedor over 1 year ago - 1 comment
Labels: For:library, For:devops

#224 - Improve iterators over Move and Post

Issue - State: open - Opened by tfiedor over 1 year ago - 10 comments
Labels: For:library, Module:nfa

#223 - Improve handling of epsilon symbols in automata

Issue - State: open - Opened by tfiedor over 1 year ago
Labels: For:library, Module:nfa, Type:discussion

#222 - Fix minor issues in tests-performance

Pull Request - State: closed - Opened by tfiedor over 1 year ago - 13 comments

#221 - Reduce segments in noodlification

Pull Request - State: closed - Opened by jurajsic over 1 year ago

#220 - Remove rrt module

Pull Request - State: closed - Opened by tfiedor over 1 year ago - 1 comment

#219 - Merge Mata::RE2Parser and Mata::Parser namespaces

Pull Request - State: closed - Opened by tfiedor over 1 year ago

#218 - Merge `Mata::Parser` and `Mata::RE2Parser` namespaces

Issue - State: closed - Opened by Adda0 over 1 year ago
Labels: For:library, Type:required, Priority:normal

#217 - Remove RRA

Issue - State: closed - Opened by Adda0 over 1 year ago
Labels: For:library, Type:required, Priority:low

#216 - Move tests

Pull Request - State: closed - Opened by Adda0 over 1 year ago - 1 comment

#215 - Create new alphabet class: Enumerated alphabet

Pull Request - State: closed - Opened by Adda0 over 1 year ago - 2 comments

#214 - Improve (slightly) documentation

Pull Request - State: closed - Opened by tfiedor over 1 year ago - 3 comments

#213 - Add basic benchmarking infrastructure

Pull Request - State: closed - Opened by tfiedor over 1 year ago - 6 comments

#212 - Method to check whether language is co-finite

Issue - State: open - Opened by Adda0 over 1 year ago
Labels: For:library, Module:nfa, Type:required

#211 - Remove invalid assertions

Pull Request - State: closed - Opened by Adda0 over 1 year ago

#210 - Improve trim performance

Pull Request - State: closed - Opened by Adda0 over 1 year ago - 1 comment

#209 - nice interface for a more low-level work

Issue - State: open - Opened by kilohsakul over 1 year ago - 4 comments
Labels: For:library, Type:discussion

#208 - Implement perftesting / profiling infrastructure.

Issue - State: closed - Opened by tfiedor over 1 year ago - 1 comment
Labels: For:devops, Status:in_progress

#207 - optimize noodlification?

Issue - State: open - Opened by kilohsakul over 1 year ago
Labels: For:library, Module:nfa, Type:suggestion

#206 - removing the strange variables from Nfa

Issue - State: closed - Opened by kilohsakul over 1 year ago

#205 - Resolve which version of trim from #195 is better

Issue - State: closed - Opened by Adda0 over 1 year ago - 1 comment
Labels: For:library, Module:nfa, Type:required, Priority:low

#204 - Rename namespaces `Nfa` and `Afa` to mitigate name collisions?

Issue - State: closed - Opened by Adda0 over 1 year ago - 5 comments
Labels: For:library, Type:suggestion, Priority:normal

#203 - Move tests to their own separate `/tests` folder

Issue - State: closed - Opened by Adda0 over 1 year ago
Labels: For:library, Status:in_progress, Type:required, Priority:normal

#202 - Print NFA to `.mata` format

Issue - State: closed - Opened by Adda0 over 1 year ago
Labels: For:library, Module:nfa, Type:required, Priority:normal

#201 - Complement with precomputed set of symbols instead of alphabet

Issue - State: closed - Opened by Adda0 over 1 year ago
Labels: For:library, Status:in_progress, Module:nfa, Type:required

#200 - Run different collections of tests

Issue - State: open - Opened by Adda0 over 1 year ago
Labels: For:devops, Type:required, Priority:normal

#199 - Create enumerated alphabet class

Issue - State: closed - Opened by Adda0 over 1 year ago
Labels: For:library, Module:nfa, Type:required, Priority:high

#198 - Complementation over non-existent states

Issue - State: open - Opened by Adda0 over 1 year ago
Labels: For:library, Module:nfa, Type:discussion, Priority:low

#197 - Use `params` as a `StringToStringMap` for additional parameters?

Issue - State: open - Opened by Adda0 over 1 year ago - 3 comments
Labels: For:library, Type:discussion, Priority:normal

#196 - Add minimization during complement + rewrote complete computation (and some minor fixes)

Pull Request - State: closed - Opened by jurajsic over 1 year ago - 3 comments

#195 - Optimize low level structure operations

Pull Request - State: closed - Opened by kilohsakul over 1 year ago - 2 comments

#194 - Redesign IntermediaAut

Issue - State: open - Opened by martinhruska over 1 year ago

#193 - construct of bit nfa directly from parser

Pull Request - State: closed - Opened by martinhruska over 1 year ago - 2 comments

#192 - Parsing of an initial formula of an AFA - simple tests

Pull Request - State: closed - Opened by kocotom over 1 year ago

#191 - AFA parsing fixed

Pull Request - State: closed - Opened by kocotom over 1 year ago

#190 - Remove old noodlification from `Mata::Strings`

Issue - State: closed - Opened by Adda0 over 1 year ago - 1 comment
Labels: For:library, Module:nfa, Type:required, Priority:low

#189 - Remove `Nfa::m_number_of_requested_states`

Issue - State: closed - Opened by Adda0 over 1 year ago - 4 comments
Labels: For:library, Module:nfa, Type:discussion, Priority:high

#188 - Creating factory for specific types of automata

Issue - State: closed - Opened by Adda0 over 1 year ago - 5 comments
Labels: For:library, Type:suggestion, Priority:normal

#187 - Compute only unique minterms during mintermization

Pull Request - State: closed - Opened by jurajsic over 1 year ago - 5 comments

#186 - Add move constructors and move assignments

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

#185 - Create single word nfa

Pull Request - State: closed - Opened by Adda0 over 1 year ago - 1 comment

#184 - Unify each automaton only once

Pull Request - State: closed - Opened by Adda0 over 1 year ago - 2 comments

#183 - Util refactorization

Pull Request - State: closed - Opened by Adda0 over 1 year ago - 2 comments

#182 - Trying to speed up revert

Pull Request - State: closed - Opened by kilohsakul over 1 year ago - 2 comments

#181 - Eps lang check

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

#180 - Fix concatenate

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

#179 - Optimization of adding/removing transitions

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

#178 - Accepts epsilon function

Issue - State: closed - Opened by vhavlena almost 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 almost 2 years ago

#176 - Fix an issue with bad allocation in post

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

#175 - Unify construct functions

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

#174 - Constants (true/false) in FormulaNode

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

#173 - Bug in determinize()

Issue - State: closed - Opened by Adda0 almost 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 almost 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 almost 2 years ago - 10 comments

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

Issue - State: closed - Opened by Adda0 almost 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 almost 2 years ago - 6 comments

#168 - true/false in mata format

Issue - State: closed - Opened by jurajsic almost 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 almost 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 almost 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 almost 2 years ago - 2 comments

GitHub / VeriFIT/mata issues and pull requests