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

#486 - Optimization of `invert_levels` for `JumpMode::AppendDontcareSymbols`

Pull Request - State: closed - Opened by koniksedy 5 days ago - 1 comment

#485 - Create Nft with inverted levels (tapes)

Pull Request - State: closed - Opened by koniksedy 5 days ago - 6 comments

#484 - feat(utils): add implementation of BitSet

Pull Request - State: open - Opened by MichalHe 9 days ago

#482 - ci: Stop uploading to TestPyPI

Pull Request - State: closed - Opened by Adda0 12 days ago

#481 - feat(python): Generalize minimization to allow setting an algorithm

Pull Request - State: closed - Opened by Adda0 12 days ago

#480 - Automata learning algorithms

Pull Request - State: open - Opened by deaddlyyy 14 days ago - 2 comments

#479 - Does mata support composition of FST with DFAs?

Issue - State: open - Opened by ivnle 16 days ago - 1 comment

#478 - Determinization/inclusion using the boost library.

Pull Request - State: open - Opened by Igor-Lacko 26 days ago

#477 - Nft utility functions

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

#476 - Minimization

Pull Request - State: open - Opened by koniksedy 3 months ago

#474 - Support of the WASM build

Pull Request - State: closed - Opened by vhavlena 3 months ago - 1 comment

#473 - Print to mata format with symbol names on transitions

Pull Request - State: closed - Opened by Adda0 3 months ago - 1 comment

#472 - Replace `true` and `false` with `\true` and `\false` in mata files in the repository

Pull Request - State: closed - Opened by Adda0 3 months ago - 1 comment

#471 - fix(mataformat): Notify about features supported in the Mata library

Pull Request - State: closed - Opened by Adda0 3 months ago - 3 comments

#470 - Fix error message to use the expected parameter name

Pull Request - State: closed - Opened by Adda0 3 months ago

#468 - Tabakov-Vardi generator

Pull Request - State: closed - Opened by koniksedy 3 months ago - 3 comments

#467 - Bug fix: `get_used_symbols`

Pull Request - State: closed - Opened by koniksedy 3 months ago - 5 comments

#466 - New tests for regex range

Pull Request - State: closed - Opened by koniksedy 3 months ago

#465 - Implement nondeterministic finite transducers (NFTs)

Pull Request - State: closed - Opened by Adda0 3 months ago

#464 - Construct NFAs for regex matching inside text

Issue - State: open - Opened by Adda0 3 months ago
Labels: For:library, Module:nfa, Type:discussion

#463 - Subtraction of `ascii_shift_value` caused overflow.

Pull Request - State: closed - Opened by koniksedy 3 months ago - 3 comments

#462 - Overload of `print_to_mata` and `print_to_dot`

Pull Request - State: closed - Opened by koniksedy 3 months ago

#461 - Change default RE2 encoding to Latin1

Pull Request - State: closed - Opened by koniksedy 3 months ago - 1 comment

#460 - Add missing Python dependencies for Python binding

Pull Request - State: closed - Opened by Adda0 3 months ago

#459 - RE2Parser bug with regex begin line and end line markers

Pull Request - State: closed - Opened by Adda0 3 months ago - 8 comments

#458 - Python binding: "minimize" parameter in complement does not work

Issue - State: closed - Opened by adastepkova 3 months ago - 2 comments

#457 - Unexpected behavior of regex parser with `$` and `|`

Issue - State: open - Opened by adastepkova 3 months ago - 2 comments

#456 - Possible overflow in regex parser

Issue - State: closed - Opened by adastepkova 3 months ago - 2 comments

#455 - Replace deprecated `DataFrame.applymap()` with `Data Frame.map()`

Pull Request - State: closed - Opened by Adda0 3 months ago

#454 - Fix shebangs and command paths in pycobench

Pull Request - State: closed - Opened by Adda0 3 months ago

#453 - Update Catch2 to version 3

Pull Request - State: closed - Opened by Adda0 3 months ago

#452 - Typo in a performance comparison script.

Pull Request - State: closed - Opened by koniksedy 4 months ago

#451 - No more segfault during regex parsing

Pull Request - State: closed - Opened by koniksedy 4 months ago - 5 comments

#450 - Combining ^ with | in regex leads to unexpected behavior

Issue - State: closed - Opened by koniksedy 4 months ago - 1 comment

#449 - Parsing automata with no transitions

Pull Request - State: closed - Opened by koniksedy 4 months ago - 2 comments

#448 - Allow creating subfolders for integration tests sources

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

#447 - Update nfa-bench submodule

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

#446 - General BFS/DFS method parameterized by callbacks

Issue - State: open - Opened by Adda0 4 months ago
Labels: For:library, Type:discussion

#445 - Extending the `AFA-bits` Format for Formulae in General Form?

Issue - State: open - Opened by jn1z 4 months ago - 4 comments
Labels: For:library, Type:discussion

#444 - Extremely high memory use when mintermizing some files

Issue - State: open - Opened by jn1z 4 months ago - 5 comments

#443 - Parsing trivial .mata files can coredump

Issue - State: closed - Opened by jn1z 4 months ago - 3 comments

#442 - Fix counterexamples for inclusion

Pull Request - State: closed - Opened by jurajsic 4 months ago - 1 comment

#441 - Several .mata format files in automata-benchmark not successfully parsing

Issue - State: closed - Opened by jn1z 4 months ago - 3 comments
Labels: Type:bug

#440 - Incorrect counterexample in `is_included_antichains`

Issue - State: closed - Opened by jurajsic 4 months ago - 2 comments
Labels: For:library, Module:nfa, Type:bug

#437 - Segmentation fault when parsing regexes

Issue - State: open - Opened by adastepkova 5 months ago - 3 comments

#436 - Killed when parsing file with an empty automaton

Issue - State: closed - Opened by adastepkova 5 months ago - 1 comment

#435 - Fix: template

Pull Request - State: closed - Opened by samo538 5 months ago

#434 - Reduce: Simulation algorithm

Pull Request - State: open - Opened by samo538 6 months ago - 3 comments

#433 - Expand alphabets

Pull Request - State: closed - Opened by Adda0 6 months ago

#432 - Optimize `Nfa::get_word()`

Pull Request - State: closed - Opened by Adda0 6 months ago - 2 comments

#431 - Performance of `get_word()`

Issue - State: closed - Opened by jurajsic 6 months ago

#430 - README: publication update

Pull Request - State: closed - Opened by vhavlena 7 months ago - 3 comments

#429 - Add pop_back to StatePost

Pull Request - State: closed - Opened by jurajsic 7 months ago

#428 - Fix simulation

Pull Request - State: closed - Opened by jurajsic 7 months ago

#427 - Bug in noodlification, specifically in simulation reduction

Issue - State: closed - Opened by jurajsic 7 months ago - 1 comment

#426 - Copying alphabets, deleting symbols from alphabets.

Issue - State: closed - Opened by jurajsic 7 months ago - 3 comments

#425 - Transition: comparison operators

Pull Request - State: closed - Opened by vhavlena 7 months ago

#424 - Language difference

Pull Request - State: closed - Opened by Adda0 7 months ago - 1 comment

#423 - Flatness checking

Pull Request - State: closed - Opened by vhavlena 7 months ago

#422 - fix: Use pointers to key-value pair in unordered map

Pull Request - State: closed - Opened by Adda0 7 months ago

#421 - Rename functions to adhere to snake_case naming convention

Pull Request - State: closed - Opened by Adda0 7 months ago

#420 - Get word from complement lazy determinization

Pull Request - State: closed - Opened by Adda0 7 months ago - 1 comment

#419 - Get symbols to work with

Pull Request - State: closed - Opened by Adda0 7 months ago

#418 - Fix emplace back implementations

Pull Request - State: closed - Opened by Adda0 7 months ago - 1 comment

#417 - Fix Doxygen documentation generation

Issue - State: open - Opened by Adda0 8 months ago
Labels: For:devops, Type:required

#416 - Method for checking flatness

Issue - State: closed - Opened by vhavlena 8 months ago - 2 comments

#415 - Lazy evaluation of operations to get some accepted word

Issue - State: closed - Opened by jurajsic 8 months ago - 8 comments
Labels: For:library, Module:nfa, Type:suggestion, Priority:low

#414 - Use `master` branch for release versions with automatic tagging

Issue - State: open - Opened by Adda0 8 months ago - 6 comments
Labels: For:devops, Type:discussion

#413 - Get arbitrary word using DFS

Pull Request - State: closed - Opened by Adda0 8 months ago - 1 comment

#412 - Renamed union

Pull Request - State: closed - Opened by Adda0 8 months ago - 1 comment

#411 - Add function to return arbitrary accepting word

Issue - State: closed - Opened by jurajsic 8 months ago
Labels: For:library, Module:nfa, Type:suggestion

#410 - Separate complement using brzozowski minimization from classical complement

Pull Request - State: closed - Opened by Adda0 8 months ago - 2 comments

#409 - Expand contributing guidelines

Pull Request - State: closed - Opened by Adda0 8 months ago

#408 - [Python interface] Build fails with `ModuleNotFoundError: No module named 'cmake'`

Issue - State: open - Opened by Adda0 8 months ago
Labels: For:binding, For:devops

#407 - Add reduction using SAT and QBF solvers

Pull Request - State: open - Opened by notValord 9 months ago - 4 comments

#406 - Add residual reduction algorithm

Pull Request - State: closed - Opened by notValord 10 months ago - 10 comments

#405 - Fix transducer operations

Pull Request - State: closed - Opened by Adda0 10 months ago

#404 - Define initial contributing guidelines

Pull Request - State: closed - Opened by Adda0 10 months ago

#403 - Apply NFA to NFT

Pull Request - State: closed - Opened by Adda0 11 months ago - 1 comment

#402 - Allow moving Delta

Pull Request - State: closed - Opened by Adda0 11 months ago - 1 comment

#401 - Add publication reference for Mata paper VM

Pull Request - State: closed - Opened by Adda0 11 months ago

#400 - Add publications section

Pull Request - State: closed - Opened by Adda0 11 months ago

#399 - Partition and ExtendableSquareMatrix data structures

Pull Request - State: open - Opened by kocotom 11 months ago - 11 comments

#398 - Refactor string solving operations

Pull Request - State: closed - Opened by Adda0 11 months ago - 9 comments

#397 - Insert levels optimize number of inner states

Pull Request - State: closed - Opened by koniksedy 12 months ago - 1 comment

#396 - Inclusion jump mode

Pull Request - State: closed - Opened by koniksedy 12 months ago - 1 comment

#395 - Nft compose long jump

Pull Request - State: closed - Opened by koniksedy 12 months ago - 1 comment

#394 - Improve insert_word and insert_identity

Pull Request - State: closed - Opened by koniksedy 12 months ago - 2 comments

#393 - Bug fix for nft::insert_levels(). All tests pass.

Pull Request - State: closed - Opened by koniksedy 12 months ago - 1 comment

#392 - Dot format ascii

Pull Request - State: closed - Opened by koniksedy 12 months ago - 1 comment

#390 - Implement class `Levels` inheriting from `std::vector<Level>`

Pull Request - State: closed - Opened by Adda0 12 months ago - 4 comments

#389 - Nfa compose

Pull Request - State: closed - Opened by koniksedy 12 months ago

#388 - Project to specified levels

Pull Request - State: closed - Opened by Adda0 12 months ago

#387 - Different handling of jump transition in projection

Pull Request - State: closed - Opened by koniksedy 12 months ago