Code

Get all one symbol words from NFA#301

Code

Merged

Adda0 merged 8 commits intodevelVeriFIT/mata:develfrom one_symbol_wordsVeriFIT/mata:one_symbol_wordsCopy head branch name to clipboardSep 20, 2023

+59

Commits

Commits on Sep 18, 2023

• implemented function that gets all one symbol words from nfa

  jurajsic

  committed
  ef9690c

  Copy full SHA for ef9690c

• update to newest mata

  jurajsic

  committed
  3f6d7db

  Copy full SHA for 3f6d7db

Commits on Sep 19, 2023

• Small clarification

  Show description for ae735eb
  

  jurajsic

  and

  Adda0

  authored
  ae735eb

  Copy full SHA for ae735eb

• renamed move to symbol post

  jurajsic

  committed
  ab12dd3

  Copy full SHA for ab12dd3

• rename function

  jurajsic

  committed
  dc53e3b

  Copy full SHA for dc53e3b

• fix tests

  jurajsic

  committed
  3674529

  Copy full SHA for 3674529

Commits on Sep 20, 2023

• optimization

  jurajsic

  committed
  b4bf3ab

  Copy full SHA for b4bf3ab

• fix lower_bound can return end()

  jurajsic

  committed
  3380500

  Copy full SHA for 3380500