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

#437 - Segmentation fault when parsing regexes

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

#435 - Fix: template

Pull Request - State: open - Opened by samo538 27 days ago

#434 - Reduce: Simulation algorithm

Pull Request - State: open - Opened by samo538 about 1 month ago - 2 comments

#433 - Expand alphabets

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

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

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

#431 - Performance of `get_word()`

Issue - State: closed - Opened by jurajsic about 2 months ago

#430 - README: publication update

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

#429 - Add pop_back to StatePost

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

#428 - Fix simulation

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

#427 - Bug in noodlification, specifically in simulation reduction

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

#426 - Copying alphabets, deleting symbols from alphabets.

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

#425 - Transition: comparison operators

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

#424 - Language difference

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

#423 - Flatness checking

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

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

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

#421 - Rename functions to adhere to snake_case naming convention

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

#420 - Get word from complement lazy determinization

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

#419 - Get symbols to work with

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

#418 - Fix emplace back implementations

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

#417 - Fix Doxygen documentation generation

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

#416 - Method for checking flatness

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

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

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

#413 - Get arbitrary word using DFS

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

#412 - Renamed union

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

#411 - Add function to return arbitrary accepting word

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

#409 - Expand contributing guidelines

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

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

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

#407 - Add reduction using SAT and QBF solvers

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

#406 - Add residual reduction algorithm

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

#405 - Fix transducer operations

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

#404 - Define initial contributing guidelines

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

#403 - Apply NFA to NFT

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

#402 - Allow moving Delta

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

#401 - Add publication reference for Mata paper VM

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

#400 - Add publications section

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

#399 - Partition and ExtendableSquareMatrix data structures

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

#398 - Refactor string solving operations

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

#397 - Insert levels optimize number of inner states

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

#396 - Inclusion jump mode

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

#395 - Nft compose long jump

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

#394 - Improve insert_word and insert_identity

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

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

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

#392 - Dot format ascii

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

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

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

#389 - Nfa compose

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

#388 - Project to specified levels

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

#387 - Different handling of jump transition in projection

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

#386 - Nft projection

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

#385 - Warn about not handling epsilons

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

#384 - Remove unused import

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

#383 - Remove unused import

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

#382 - Add state with level

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

#381 - Reluctant replace NFT

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

#380 - Fix low level functions

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

#379 - Nft inclusion

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

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

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

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

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

#376 - Readme Update

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

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

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

#374 - Refactoring of SCC-based Algorithms

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

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

Issue - State: closed - Opened by kilohsakul 11 months ago - 1 comment

#372 - Improve visualization example

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

#371 - Change licence to MIT

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

#370 - Jupyter notebook for visualization

Pull Request - State: closed - Opened by vhavlena 12 months ago - 6 comments

#369 - In place union and concatenation in Python binding

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

#368 - Update nfa-bench

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

#367 - Do I deserve to be a contributor?

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

#366 - Inclusion optimization

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

#365 - Distances in inclusion

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

#364 - Optimization of antichain inclusion

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

#363 - Revert inclusion regression

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

#362 - Simplify build commands with modern cmake options

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

#361 - Optimize sync iterator

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

#360 - Better unify_targets using sync. it.

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

#359 - Reserve place for tokens in `infix_to_postfix()`

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

#358 - Update nfa-bench submodule

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

#357 - Resolve discussions from previous PRs

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

#356 - raw prototype of new parser

Pull Request - State: open - Opened by martinhruska 12 months ago

#355 - Refactoring mintermization to MintermizationDomain

Pull Request - State: open - Opened by martinhruska about 1 year ago - 2 comments

#354 - Behold, ultimate solution for the union naming problem!

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

#353 - Simplifying get_useful_states with move iterator

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

#352 - In-place Union

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

#351 - Fix of the performance bug in get_useful_states

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

#349 - Self-concatenating for in-place concatenation

Issue - State: closed - Opened by jurajsic about 1 year ago - 4 comments
Labels: For:library, Module:nfa, Type:bug, Priority:normal

#348 - Concat fix

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

#347 - Concat problem

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

#346 - Refactor parser

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

#345 - Revert "Rewrite opening files to fix compilation errors"

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

#344 - Intersection speedup and refactor

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

#343 - Intersection

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

#342 - Debordelize complement

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

#341 - Dispatch in tests?

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

#340 - `num_of_states()` is both in nfa and delta

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

#339 - Installing mata copies everything in include directories

Issue - State: open - Opened by jurajsic about 1 year ago
Labels: Priority:low