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

#464 - Construct NFAs for regex matching inside text

Issue - State: open - Opened by Adda0 about 22 hours ago
Labels: For:library, Module:nfa, Type:discussion

#463 - Subtraction of `ascii_shift_value` caused overflow.

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

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

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

#461 - Change default RE2 encoding to Latin1

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

#460 - Add missing Python dependencies for Python binding

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

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

Pull Request - State: closed - Opened by Adda0 4 days ago - 8 comments

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

Issue - State: open - Opened by adastepkova 12 days ago - 1 comment

#456 - Possible overflow in regex parser

Issue - State: closed - Opened by adastepkova 13 days ago - 2 comments

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

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

#454 - Fix shebangs and command paths in pycobench

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

#453 - Update Catch2 to version 3

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

#452 - Typo in a performance comparison script.

Pull Request - State: closed - Opened by koniksedy 18 days ago

#451 - No more segfault during regex parsing

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

#449 - Parsing automata with no transitions

Pull Request - State: closed - Opened by koniksedy 20 days ago - 2 comments

#448 - Allow creating subfolders for integration tests sources

Pull Request - State: closed - Opened by Adda0 21 days ago - 2 comments

#447 - Update nfa-bench submodule

Pull Request - State: closed - Opened by Adda0 21 days ago - 2 comments

#446 - General BFS/DFS method parameterized by callbacks

Issue - State: open - Opened by Adda0 25 days ago

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

Issue - State: open - Opened by jn1z 29 days ago - 3 comments

#444 - Extremely high memory use when mintermizing some files

Issue - State: open - Opened by jn1z 30 days ago - 4 comments

#443 - Parsing trivial .mata files can coredump

Issue - State: closed - Opened by jn1z about 1 month ago - 3 comments

#442 - Fix counterexamples for inclusion

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

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

Issue - State: open - Opened by jn1z about 1 month ago - 2 comments
Labels: Type:bug

#440 - Incorrect counterexample in `is_included_antichains`

Issue - State: closed - Opened by jurajsic about 1 month ago - 2 comments
Labels: For:library, Module:nfa, Type:bug

#439 - Add counterexample to the output of NFA language equivalence and inclusion tests

Issue - State: open - Opened by ondrik about 2 months ago - 2 comments

#437 - Segmentation fault when parsing regexes

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

#436 - Killed when parsing file with an empty automaton

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

#435 - Fix: template

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

#434 - Reduce: Simulation algorithm

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

#433 - Expand alphabets

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

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

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

#431 - Performance of `get_word()`

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

#430 - README: publication update

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

#429 - Add pop_back to StatePost

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

#428 - Fix simulation

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

#427 - Bug in noodlification, specifically in simulation reduction

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

#426 - Copying alphabets, deleting symbols from alphabets.

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

#425 - Transition: comparison operators

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

#424 - Language difference

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

#423 - Flatness checking

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

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

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

#421 - Rename functions to adhere to snake_case naming convention

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

#420 - Get word from complement lazy determinization

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

#419 - Get symbols to work with

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

#418 - Fix emplace back implementations

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

#417 - Fix Doxygen documentation generation

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

#416 - Method for checking flatness

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

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

Issue - State: closed - Opened by jurajsic 5 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 5 months ago - 6 comments
Labels: For:devops, Type:discussion

#413 - Get arbitrary word using DFS

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

#412 - Renamed union

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

#411 - Add function to return arbitrary accepting word

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

#409 - Expand contributing guidelines

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

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

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

#407 - Add reduction using SAT and QBF solvers

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

#406 - Add residual reduction algorithm

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

#405 - Fix transducer operations

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

#404 - Define initial contributing guidelines

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

#403 - Apply NFA to NFT

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

#402 - Allow moving Delta

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

#401 - Add publication reference for Mata paper VM

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

#400 - Add publications section

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

#399 - Partition and ExtendableSquareMatrix data structures

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

#398 - Refactor string solving operations

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

#397 - Insert levels optimize number of inner states

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

#396 - Inclusion jump mode

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

#395 - Nft compose long jump

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

#394 - Improve insert_word and insert_identity

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

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

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

#392 - Dot format ascii

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

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

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

#389 - Nfa compose

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

#388 - Project to specified levels

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

#387 - Different handling of jump transition in projection

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

#386 - Nft projection

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

#385 - Warn about not handling epsilons

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

#384 - Remove unused import

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

#383 - Remove unused import

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

#382 - Add state with level

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

#381 - Reluctant replace NFT

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

#380 - Fix low level functions

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

#379 - Nft inclusion

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

#378 - Error in `get_symbol_map()`, python binding

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

#377 - Method get_symbols() does not return all symbols

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

#376 - Readme Update

Pull Request - State: open - Opened by vhavlena 10 months ago - 3 comments

#375 - Added function that gets all words of an automaton

Pull Request - State: closed - Opened by jurajsic 11 months ago - 2 comments

#374 - Refactoring of SCC-based Algorithms

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

#373 - Allocation of a large matrix takes a lot of time

Issue - State: closed - Opened by kilohsakul about 1 year ago - 1 comment

#372 - Improve visualization example

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

#371 - Change licence to MIT

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

#370 - Jupyter notebook for visualization

Pull Request - State: closed - Opened by vhavlena about 1 year ago - 6 comments

#369 - In place union and concatenation in Python binding

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

#368 - Update nfa-bench

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

#367 - Do I deserve to be a contributor?

Pull Request - State: closed - Opened by vhavlena about 1 year ago - 3 comments

#366 - Inclusion optimization

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

#365 - Distances in inclusion

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