Code

Tabakov-Vardi generator#468

Code

Merged

Adda0 merged 9 commits intodevelVeriFIT/mata:develfrom TVVeriFIT/mata:TVCopy head branch name to clipboardNov 25, 2024

+207

Commits

Commits on Nov 20, 2024

• Tabakov-Vardi generator

  koniksedy

  committed
  878ad0a

  Copy full SHA for 878ad0a

• big test

  koniksedy

  committed
  3c1a8d2

  Copy full SHA for 3c1a8d2

• renaming

  koniksedy

  committed
  cec6307

  Copy full SHA for cec6307

Commits on Nov 21, 2024

• Update include/mata/nfa/builder.hh

  Show description for 08033f8
  

  koniksedy

  and

  Adda0

  authored
  08033f8

  Copy full SHA for 08033f8

Commits on Nov 24, 2024

• renaming + new unique state/transition generator

  koniksedy

  committed
  a0e1bac

  Copy full SHA for a0e1bac

• fin_state_density range changed to [0;1]

  koniksedy

  committed
  6f591e6

  Copy full SHA for 6f591e6

Commits on Nov 25, 2024

• paper

  koniksedy

  committed
  35ba825

  Copy full SHA for 35ba825

• float -> double + off-by-one potential error fix

  koniksedy

  committed
  0e69ac0

  Copy full SHA for 0e69ac0

• comment

  koniksedy

  committed
  49fc153

  Copy full SHA for 49fc153