Skip to content
Snippets Groups Projects
  1. Aug 26, 2017
  2. Aug 25, 2017
  3. Aug 24, 2017
  4. Aug 23, 2017
  5. Aug 22, 2017
  6. Aug 21, 2017
  7. Aug 20, 2017
  8. Aug 19, 2017
    • Tomáš Pecka's avatar
      Merge branch 'master' of gitlab.fit.cvut.cz:algorithms-library-toolkit/automata-library · 9c4b6da7
      Tomáš Pecka authored
      * 'master' of gitlab.fit.cvut.cz:algorithms-library-toolkit/automata-library:
        move type independent code to cpp file
        delete not needed imports
        remove not needed class specialisation
        prepare getAbstraction for qualifiers support
      9c4b6da7
    • Tomáš Pecka's avatar
      Merge branch 'glushkovRTE' · be896d2e
      Tomáš Pecka authored
      * glushkovRTE:
        GlushkovRTE: reorganize
        GlushkovRTE: Split Follow and SubstMap compute. Fix generating transitions.
        GlushkovRTE: Simplify debug output
        RTE: Fix parsing of Alphabet Symbol
        GlushkovRTE: Fix examples, tests for GlRTEv3
        GlushkovRTE: Algo V3
        GlushkovRTE: aconversions interface
        GlushkovRTE: Attempt #3
        GlushkovFollow: using template, cleanup
      be896d2e
Loading