1. 08 Mar, 2021 2 commits
  2. 30 Jan, 2021 1 commit
  3. 02 Jan, 2021 1 commit
    • Ing. Jan Trávníček's avatar
      algo: new random (non)deterministic FA generator · 03aace38
      Ing. Jan Trávníček authored
      the generator is parametrized with number of states, initial states, and final
      states; additionally duplicate, redundant, unreachable states are generated
      
      transition function is filled in transition partitions:
      {state, unreachable, redundant} vs {state, unreachable, redundant}
      03aace38
  4. 06 Aug, 2020 1 commit
  5. 03 Aug, 2020 1 commit
    • Tomáš Pecka's avatar
      cmake: Redesign CMakeLists.txt: Remove generators · c107bf77
      Tomáš Pecka authored
      Remove CMakeLists.txt generator scripts from build phase. Replaced with
      CMake's GLOB that can re-run every time the build is invoked. We can
      also drop the Python dependency now.
      
      Removed header installs which will be redesigned in future commits.
      c107bf77
  6. 17 Mar, 2020 1 commit
  7. 09 Nov, 2019 1 commit
  8. 16 Sep, 2019 1 commit
  9. 17 Jun, 2019 23 commits
  10. 06 Jun, 2019 1 commit
  11. 04 Jun, 2019 2 commits
  12. 03 Jun, 2019 1 commit
  13. 02 Jun, 2019 1 commit
  14. 30 May, 2019 1 commit
  15. 29 May, 2019 2 commits