Commits · 01458956f7825be3ffb40a29f35c8cc4482a04e1 · Tereza Schwarzová / telatko

May 26, 2023
- author agreement (printed and signed) added · 01458956
  Jan Strejček authored May 26, 2023
  
  01458956
Mar 20, 2023
- last update for SAT 2023 submission! · 5f4f4701
  Jan Strejček authored Mar 20, 2023
  
  5f4f4701
- Merge branch 'master' of gitlab.fi.muni.cz:xschwar3/telatko · 4ebe584d
  Jan Strejček authored Mar 20, 2023
  
  4ebe584d
- polished third optimization · accdbede
  Jan Strejček authored Mar 20, 2023
  
  accdbede
- kill the orphan · d2dbba97
  Juraj Major authored Mar 20, 2023
  
  d2dbba97
- Merge branch 'master' of gitlab.fi.muni.cz:xschwar3/telatko · 7a90c278
  Juraj Major authored Mar 20, 2023
  
  7a90c278
- Figure 3: axis labels · a37b1728
  Juraj Major authored Mar 20, 2023
  
  a37b1728
- Merge branch 'master' of gitlab.fi.muni.cz:xschwar3/telatko · e9d2e9ad
  Jan Strejček authored Mar 20, 2023
  
  e9d2e9ad
- changes in Fig.3 · ad6cddd0
  Jan Strejček authored Mar 20, 2023
  
  ad6cddd0
- typos · 8c24f373
  Juraj Major authored Mar 20, 2023
  
  8c24f373
- minor typo · f419744e
  Tereza authored Mar 20, 2023
  
  f419744e
- Merge branch 'master' of gitlab.fi.muni.cz:xschwar3/telatko · 6701d1df
  Jan Strejček authored Mar 20, 2023
  
  6701d1df
- changes in text of experiments · 86bc7ff0
  Jan Strejček authored Mar 20, 2023
  
  86bc7ff0
- Table 1: add numbers · c4795cb7
  Juraj Major authored Mar 20, 2023
  
  c4795cb7
- changes in experiments (text) · 23794baf
  Jan Strejček authored Mar 20, 2023
  
  23794baf
- typo · 64979a92
  Juraj Major authored Mar 20, 2023
  
  64979a92
- Merge branch 'master' of gitlab.fi.muni.cz:xschwar3/telatko · 6107dfa8
  Jan Strejček authored Mar 20, 2023
  
  6107dfa8
- complexity analysis added (and a bit more) · 5e732f13
  Jan Strejček authored Mar 20, 2023
  
  5e732f13
Mar 19, 2023
- s/TELA automaton/TELA/ · 584c8816
  Juraj Major authored Mar 19, 2023
  
  584c8816
Mar 18, 2023
- statistics SAT23 · 5c078b13
  Tereza authored Mar 18, 2023
  
  5c078b13
- Merge branch 'master' of https://gitlab.fi.muni.cz/xschwar3/telatko · 11e91bc3
  Tereza authored Mar 18, 2023
  
  11e91bc3
- sat23 - new statistics · c7efd6d5
  Tereza authored Mar 18, 2023
  
  c7efd6d5
- verze pro prvni submission na sat 2023 · 43922274
  Jan Strejček authored Mar 18, 2023
  
  43922274
Mar 17, 2023
- Merge branch 'master' of gitlab.fi.muni.cz:xschwar3/telatko · 7223cbba
  Jan Strejček authored Mar 17, 2023
  
  7223cbba
- upravy v textu clanku · 94384af4
  Jan Strejček authored Mar 17, 2023
  
  94384af4
Mar 16, 2023
- Comment equivalence check. · 3ab5235b
  Tereza authored Mar 16, 2023
  
  3ab5235b
Mar 14, 2023
- Merge branch 'master' of https://gitlab.fi.muni.cz/xschwar3/telatko · a7b3071a
  Tereza authored Mar 14, 2023
  
  a7b3071a
- Quantile plot shifted by one. · 151352a2
  Tereza authored Mar 14, 2023
  
  151352a2
Mar 10, 2023
- few more fixes · 0a2b47cf
  Jan Strejček authored Mar 10, 2023
  
  0a2b47cf
- few more changes to the paper · be80f6ee
  Jan Strejček authored Mar 10, 2023
  
  be80f6ee
Mar 09, 2023
- Upravy na zaklade Martinovych pripominek (part I) · 2b6a12cd
  Jan Strejček authored Mar 09, 2023
  
  2b6a12cd
- fixes to the transformation to LIPIcs · a24b2126
  Jan Strejček authored Mar 09, 2023
  
  a24b2126
Mar 08, 2023
- main in LIPICS style · a648c5b9
  Jan Strejček authored Mar 08, 2023
  
  a648c5b9
Feb 19, 2023
- CLEANUP · 9aff9cc6
  Tereza authored Feb 19, 2023
  
  9aff9cc6
- Added 'print settings' functionality. · 7b5589a2
  Tereza authored Feb 19, 2023
  
  7b5589a2
- old formula recursively · e5fca6a8
  Tereza authored Feb 19, 2023
  
  e5fca6a8
- min tweak · 9daf22df
  Tereza authored Feb 19, 2023
  
  9daf22df
Oct 20, 2022
- added settings description, semi SCC-mode · 812c2922
  Tereza authored Oct 20, 2022
  
  812c2922
Oct 14, 2022
- minor typo · 7f87e59a
  Tereza authored Oct 14, 2022
  
  7f87e59a
- fixed typo + TODO (kdyby snad nahodou) · a8b9d961
  Jan Strejček authored Oct 14, 2022
  
  a8b9d961