VeriFIT/mata

Issues

• Method get_symbols() does not return all symbols

  #377 opened 10 months ago by adastepkova
  2

• Error in `get_symbol_map()`, python binding

  #378 opened 10 months ago by adastepkova
  1

• Update Readme

  #319 opened a year ago by jurajsic
  0

• Allocation of a large matrix takes a lot of time

  #373 opened a year ago by kilohsakul
  1

• Self-concatenating for in-place concatenation

  #349 opened a year ago by jurajsic
  4

• strange assertion fail in integration-tests/utils.cc when parsing

  #350 opened a year ago by kilohsakul
  0

• `num_of_states()` is both in nfa and delta

  #340 opened a year ago by jurajsic
  8

• Debordelize complement

  #342 opened a year ago by kilohsakul
  1

• Dispatch in tests?

  #341 opened a year ago by kilohsakul
  1

• Installing mata copies everything in include directories

  #339 opened a year ago by jurajsic
  0

• Use `python3` and `pip3` instead of `python` and `pip`

  #338 opened a year ago by p4l1ly
  3

• Mata's memory usage

  #335 opened a year ago by Adda0
  0

• Wrapper classes StatePost, and for initial and final states sets?

  #325 opened a year ago by Adda0
  7

• Use new delta iterators in intersection, determinization, antichain, computing of useful states

  #333 opened a year ago by kilohsakul
  0

• Refactor trim, extract function for state removal

  #332 opened a year ago by kilohsakul
  0

• Correct emplace_back for all containers

  #331 opened a year ago by kilohsakul
  0

• Measure variants of binary search and union in OrdVector

  #321 opened a year ago by kilohsakul
  0

• Create performance tests for parsing

  #327 opened a year ago by Adda0
  0

• Perf-test get_used_symbols and its variants

  #324 opened a year ago by Adda0
  0

• Codecov computes base coverage for incorrect commit

  #323 opened a year ago by Adda0
  0

• Fix examples to use header files from project root, not the system installed ones

  #311 opened a year ago by Adda0
  0

• Should mata be always built as a static library?

  #318 opened a year ago by jurajsic
  0

• Update Catch2 to version 3 with built-in main

  #317 opened a year ago by Adda0
  0

• Rename `SynchronizedIterator` to `SynchronizedAdvancer`

  #314 opened a year ago by Adda0
  4

• Create a naming convention for iterator variables

  #313 opened a year ago by Adda0
  0

• Bug in mintermising automata in tests-performance

  #302 opened a year ago by kilohsakul
  3

• Rename all custom iterators to adhere to `PascalCase` naming convention for classes?

  #312 opened a year ago by Adda0
  0

• OuNion OrdVectoru merge inplace

  #296 opened a year ago by kilohsakul
  0

• Issue with checkouting base ref in GitHub action

  #304 opened a year ago by tfiedor
  0

• Some automata seem to spawn satan

  #300 opened a year ago by tfiedor
  1

• Bug in parsing?

  #288 opened a year ago by vhavlena
  0

• General post

  #293 opened a year ago by kilohsakul
  0

• Optimize the removal of epsilon symbols from an automaton

  #240 opened 2 years ago by Adda0
  1

• Rename `construct()` functions

  #291 opened a year ago by Adda0
  0

• Bug in `Mata::Nfa::reduce`

  #269 opened a year ago by vhavlena
  1

• Migrate from setuptools/distutils + setup.py to something new.

  #286 opened a year ago by tfiedor
  0

• Functions for handling combinations of StateSet and SparseSet

  #285 opened a year ago by jurajsic
  0

• StateSet (OrdVector) methods cleanup

  #284 opened a year ago by jurajsic
  0

• Proposal: Add codacy integration

  #278 opened a year ago by tfiedor
  3

• Perform Summer Cleaning

  #272 opened a year ago by tfiedor
  0

• Speed-up the building of the binding.

  #264 opened a year ago by tfiedor
  4

• Bug in parsing or mata output

  #259 opened a year ago by vhavlena
  3

• Optimization of determinization+complementation

  #258 opened 2 years ago by vhavlena
  0

• Simplify `NumberPredicate`

  #237 opened 2 years ago by Adda0
  1

• Move function definitions from header files to source files when possible

  #236 opened 2 years ago by Adda0
  3

• Remove iterator over automaton

  #238 opened 2 years ago by Adda0
  0

• Get Mata version at runtime

  #243 opened 2 years ago by Adda0
  0

• Add guide on how to work with and maintain Python binding

  #242 opened 2 years ago by Adda0
  5

• Divide Python binding into modules

  #241 opened 2 years ago by Adda0
  1

• Implement classical automata operations

  #239 opened 2 years ago by Adda0
  0