- Apr 04, 2017
-
-
Jan Trávníček authored
-
Jan Trávníček authored
-
- Apr 03, 2017
-
-
Jan Trávníček authored
-
Jan Trávníček authored
-
- Mar 30, 2017
-
-
Jan Trávníček authored
-
Jan Trávníček authored
-
Jan Trávníček authored
-
Jan Trávníček authored
-
Jan Trávníček authored
-
Jan Trávníček authored
-
Jan Trávníček authored
-
- Mar 26, 2017
-
-
Jan Trávníček authored
-
Jan Trávníček authored
-
Jan Trávníček authored
-
Jan Trávníček authored
-
Jan Trávníček authored
-
- Mar 21, 2017
-
-
Jan Trávníček authored
-
Jan Trávníček authored
-
Jan Trávníček authored
-
- Mar 20, 2017
-
-
Jan Trávníček authored
-
Jan Trávníček authored
-
Tomáš Pecka authored
fix README.md links fixed broken link to fork and gitlab page in readme file See merge request !27
-
Vaclav Blazej authored
-
- Mar 17, 2017
-
-
Jan Trávníček authored
-
- Mar 16, 2017
-
-
Jan Trávníček authored
-
Jan Trávníček authored
-
- Mar 14, 2017
-
-
Jan Trávníček authored
-
Jan Trávníček authored
-
- Mar 13, 2017
-
-
Jan Trávníček authored
-
- Mar 12, 2017
-
-
Jan Trávníček authored
-
Jan Trávníček authored
-
- Mar 10, 2017
-
-
Jan Trávníček authored
-
Jan Trávníček authored
-
Jan Trávníček authored
-
Jan Trávníček authored
-
- Mar 08, 2017
-
-
Jan Trávníček authored
-
- Mar 07, 2017
-
-
Jan Trávníček authored
Set up GitLab CI This merge request is now ready. Build with gcc and clang works, all tests pass except tests.aconversion.sh (see #83). The last complete build is [pipelines/917](https://gitlab.fit.cvut.cz/travnja3/automata-library/pipelines/917). Jobs may sometimes fail due to not enough space on disk, I’m gonna fix this problem soon. See merge request !25
-
Jan Trávníček authored
-
Jakub Jirůtka authored
-
Jakub Jirůtka authored
-