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
#438 - Regex parsing: parsing `[^something]` results in an unexpected automaton
Issue -
State: closed - Opened by adastepkova 25 days ago
- 1 comment
#437 - Segmentation fault when parsing regexes
Issue -
State: open - Opened by adastepkova 25 days ago
- 1 comment
#436 - Killed when parsing file with an empty automaton
Issue -
State: open - Opened by adastepkova 25 days ago
#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
#391 - Implement NFT operations for solving string constraints `replace(_re)()` and `replace(_re)_all()`
Pull Request -
State: closed - Opened by Adda0 7 months ago
- 2 comments
#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
#350 - strange assertion fail in integration-tests/utils.cc when parsing
Issue -
State: open - Opened by kilohsakul about 1 year ago
#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