Commits · 23794bafbd84da0dd719ddd1c25163d07644ddf3 · Tereza Schwarzová / telatko

Mar 20, 2023
- 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
- Merge branch 'master' of gitlab.fi.muni.cz:xschwar3/telatko · b56256ab
  Jan Strejček authored Oct 14, 2022
  
  b56256ab
- polishing of 3.1 · a94d13d9
  Jan Strejček authored Oct 14, 2022
  
  a94d13d9
- typo fix · 02406e73
  Tereza authored Oct 14, 2022
  
  02406e73
- polishing the paper before FOSSACS 2023 submission · 05730e4d
  Jan Strejček authored Oct 14, 2022
  
  05730e4d
Oct 06, 2022
- min tweak in the description · dfa024aa
  Tereza authored Oct 06, 2022
  
  dfa024aa
Sep 13, 2022
- min tweak · 31270baf
  Tereza authored Sep 13, 2022
  
  31270baf
- Merge branch 'Abstract-rejecting-edges' into 'master' · 3caa9ed2
  Tereza Schwarzová authored Sep 13, 2022
```
Abstract rejecting edges

See merge request !3
```
  3caa9ed2
- Abstract rejecting edges · 4354d4a7
  Tereza Schwarzová authored Sep 13, 2022
  
  4354d4a7
Aug 23, 2022
- Merge branch 'master' of gitlab.fi.muni.cz:xschwar3/telatko · d58761dd
  Jan Strejček authored Aug 23, 2022
  
  d58761dd
- concur rebuttle data · 54595fd6
  Tereza authored Aug 23, 2022
  
  54595fd6
- min tweak of comments · f8fc0dae
  Tereza authored Aug 23, 2022
  
  f8fc0dae
Aug 22, 2022
- Merge branch 'master' of gitlab.fi.muni.cz:xschwar3/telatko · 3320f9b5
  Jan Strejček authored Aug 22, 2022
  
  3320f9b5
- transformation to LNCS style · 34260050
  Jan Strejček authored Aug 22, 2022
  
  34260050
Jun 09, 2022
- rebuttal.txt: our responses to reviews · d4b62ea7
  Juraj Major authored Jun 09, 2022
  
  d4b62ea7