Skip to content
Snippets Groups Projects
  1. Apr 16, 2022
  2. Mar 06, 2022
  3. Feb 23, 2022
  4. Feb 09, 2022
  5. Feb 07, 2022
  6. Jan 26, 2022
  7. Jan 10, 2022
  8. Jan 02, 2022
  9. Dec 03, 2021
  10. Nov 26, 2021
  11. Nov 23, 2021
  12. Oct 15, 2021
  13. Jul 03, 2021
  14. May 11, 2021
  15. Mar 08, 2021
  16. Jan 30, 2021
  17. Jan 02, 2021
    • Jan Trávníček's avatar
      algo: new random (non)deterministic FA generator · 03aace38
      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
  18. Aug 06, 2020
  19. Aug 03, 2020
    • 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
  20. Mar 17, 2020
  21. Nov 09, 2019
  22. Sep 16, 2019
  23. Jun 17, 2019
Loading