Code

Intersection speedup and refactor#344

Code

Merged

tfiedor merged 26 commits intodevelVeriFIT/mata:develfrom intersection_fasterVeriFIT/mata:intersection_fasterCopy head branch name to clipboardSep 28, 2023

+277-180

Commits

Commits on Sep 25, 2023

• fucking works

  kilohsakul

  committed
  06b53a8

• tests pass

  kilohsakul

  committed
  72daba8

• done, but sigsegv

  kilohsakul

  committed
  6880f4f

• almost done, and tests pass with matrix as well as with limits!!!

  kilohsakul

  committed
  d5c7ce3

• done, olé!

  kilohsakul

  committed
  1ffc102

• disable the assert in parsing to run the test (cox inter in test integreation)

  kilohsakul

  committed
  574e0bb

• is_lang_empty via get_useful_states (much faster)

  kilohsakul

  committed
  bfae9a7

Commits on Sep 26, 2023

• before removing ranges to optimize product storage

  kilohsakul

  committed
  d2881a2

• removed ranges optimization and did some little things asked for in reviews

  kilohsakul

  committed
  2ceecb1

• renamed some things

  kilohsakul

  committed
  b1a9d72

• fix binding

  kilohsakul

  committed
  5a46057

• adding the reverse product to lhs/rhs map as vectors,

  Show description for 49d5d75
  kilohsakul

  committed
  49d5d75

Commits on Sep 28, 2023

• Update src/nfa/intersection.cc

  Show description for 0f01d7c
  

  kilohsakul

  and

  tfiedor

  authored
  0f01d7c

• Update src/nfa/intersection.cc

  Show description for 31fa23c
  

  kilohsakul

  and

  tfiedor

  authored
  31fa23c

• Update include/mata/nfa/algorithms.hh

  Show description for 10f110f
  

  kilohsakul

  and

  tfiedor

  authored
  10f110f

• tf's review

  kilohsakul

  committed
  a375fd1

• tf's review

  kilohsakul

  committed
  03e911d

• Update src/nfa/delta.cc

  Show description for 8959594
  

  kilohsakul

  and

  Adda0

  authored
  8959594

• Also optimized language emptiness check a bit (get_useful_states terminates after finding first final state).

  kilohsakul

  committed
  2960deb

• Update src/nfa/intersection.cc

  Show description for 4d54953
  

  kilohsakul

  and

  Adda0

  authored
  4d54953

• some smalll things?

  kilohsakul

  committed
  12fc2d6

• Merge remote-tracking branch 'origin/intersection_faster' into intersection_faster

  kilohsakul

  committed
  993be81

• some smalll things?

  kilohsakul

  committed
  261c4b7

• some smalll things?

  kilohsakul

  committed
  7c43663

• comment

  kilohsakul

  committed
  8025de5

• comment

  kilohsakul

  committed
  8614495