Issues

• NFT compose(FastNoJump) crashes when a synchronization-level state has a sibling without an EPSILON transition

  For:libraryModule:nfttype:required
  VeriFIT/mata#902 · Filter by author Adda0 opened on Oct 12, 2026

• Differential test for minimize(nfa, hopcroft) on raw NFAs, once #734 is fixed

  For:libraryModule:nfatype:suggestion
  VeriFIT/mata#901 · Filter by author Adda0 opened on Oct 12, 2026

• tests-integration follow-ups to #773: templates in the default build, reconfigure on every HEAD change, undocumented instrumentation switches

  For:devopstype:suggestion
  VeriFIT/mata#867 · Filter by author Adda0 opened on Oct 7, 2026

• CI: inputs.python-version and gcov: true have no effect

  For:devopstype:suggestion
  VeriFIT/mata#854 · Filter by author ondrik opened on Oct 5, 2026

• Python from_mata() silently uses only the first automaton of each file

  For:bindingtype:suggestion
  VeriFIT/mata#852 · Filter by author ondrik opened on Oct 5, 2026

• Nfa::make_complete() re-collects the used symbols and allocates a set difference for every state

  For:libraryModule:nfatype:optimization
  VeriFIT/mata#851 · Filter by author ondrik opened on Oct 5, 2026

• Nfa::get_words() enumerates paths instead of words and blows up on nondeterministic automata

  For:libraryModule:nfaModule:nfttype:optimization
  VeriFIT/mata#850 · Filter by author ondrik opened on Oct 5, 2026

• SAT/QBF reduction (#832): fixes and improvements from the code review

  For:libraryModule:nfatype:required
  VeriFIT/mata#849 · Filter by author ondrik opened on Oct 5, 2026

• Various OrdVector fixes and suggestions

  VeriFIT/mata#847 · Filter by author Adda0 opened on Oct 5, 2026

• NFT composition chains: on-demand trim, result metadata and certified reordering

  For:libraryModule:nfttype:optimization
  VeriFIT/mata#819 · Filter by author koniksedy opened on Sep 30, 2026

• NFT composition: validate the whole compose() request and expose which strategy ran

  For:libraryModule:nfttype:required
  VeriFIT/mata#818 · Filter by author koniksedy opened on Sep 30, 2026

• NFT composition: build each state's outgoing post in bulk and emit wildcard matches once

  For:libraryModule:nfttype:optimization
  VeriFIT/mata#817 · Filter by author koniksedy opened on Sep 30, 2026

• NFT composition: prune state pairs whose future synchronization labels cannot match

  For:libraryModule:nfttype:optimization
  VeriFIT/mata#816 · Filter by author koniksedy opened on Sep 30, 2026

• NFT composition: collapse generated epsilon rounds and duplicate paths during construction

  For:libraryModule:nfttype:optimization
  VeriFIT/mata#815 · Filter by author koniksedy opened on Sep 30, 2026

• compose_general: direct traversal instead of padded copies, product and project_out

  For:libraryModule:nfttype:optimization
  VeriFIT/mata#814 · Filter by author koniksedy opened on Sep 30, 2026

• NFT composition: intern waiting configurations and expand each one once

  For:libraryModule:nfttype:optimization
  VeriFIT/mata#813 · Filter by author koniksedy opened on Sep 30, 2026

• NFT composition: add an epsilon-filter state so each epsilon interleaving is built once

  For:libraryModule:nfttype:optimization
  VeriFIT/mata#812 · Filter by author koniksedy opened on Sep 30, 2026

• GraphIndex: one epoch-bound forward/reverse/symbol CSR shared across analyses

  For:libraryModule:nfatype:optimization
  VeriFIT/mata#811 · Filter by author koniksedy opened on Sep 30, 2026

• Union, concatenation and plumbing: Nfa&& overloads that reuse a dead operand's storage

  For:libraryModule:nfatype:optimization
  VeriFIT/mata#810 · Filter by author koniksedy opened on Sep 30, 2026

• nft::invert_levels: build one state per (state, head, tail) instead of copying every path

  For:libraryModule:nfttype:optimization
  VeriFIT/mata#809 · Filter by author koniksedy opened on Sep 30, 2026

• Residual reduction: indexed subset search, stamped coverage and one engine for with/after

  For:libraryModule:nfatype:optimization
  VeriFIT/mata#808 · Filter by author koniksedy opened on Sep 30, 2026

• NFT: index states by level and cache transition spans instead of rescanning per operation

  For:libraryModule:nfttype:optimization
  VeriFIT/mata#807 · Filter by author koniksedy opened on Sep 30, 2026

• Nft::post over tuple words: encode reading-head positions as one mixed-radix rank

  For:libraryModule:nfttype:optimization
  VeriFIT/mata#806 · Filter by author koniksedy opened on Sep 30, 2026

• Delta: O(1) empty() and transition count, epoch-cached structural properties

  For:libraryModule:nfatype:optimization
  VeriFIT/mata#805 · Filter by author koniksedy opened on Sep 30, 2026

• SymbolPost: keep a single target inline instead of a heap-allocated StateSet

  For:libraryModule:nfatype:optimization
  VeriFIT/mata#804 · Filter by author koniksedy opened on Sep 30, 2026