Commits · 3b3161f9bbbc87e806961f5da5cab3fd99bb08cf · Tereza Schwarzová / telatko

Jun 04, 2023
- quantile plot adjustment · 3b3161f9
  Tereza authored Jun 04, 2023
  
  3b3161f9
- moving tables and figures in Section 6 · 2f759cd2
  Jan Strejček authored Jun 04, 2023
  
  2f759cd2
Jun 03, 2023
- Updated delag data in paper. · 7f2e17e2
  Tereza authored Jun 03, 2023
  
  7f2e17e2
- data delag · 23a3cb70
  Tereza authored Jun 03, 2023
  
  23a3cb70
- new numbers (exept for patterns-delag) · 66c9dad9
  Tereza authored Jun 03, 2023
  
  66c9dad9
- merge solving · 83f62c13
  Tereza authored Jun 03, 2023
  
  83f62c13
- minor changes · 145a249c
  Tereza authored Jun 03, 2023
  
  145a249c
- Merge branch 'master' of https://gitlab.fi.muni.cz/xschwar3/telatko · d07a91db
  Tereza authored Jun 03, 2023
  
  d07a91db
- Current experiments - except delag · b8708643
  Tereza authored Jun 03, 2023
  
  b8708643
- polishing Tables 1 and 2 with Terka · 5891ff22
  Jan Strejček authored Jun 03, 2023
  
  5891ff22
- Exp fix · f1076eef
  Tereza authored Jun 03, 2023
  
  f1076eef
- Merge branch 'master' of https://gitlab.fi.muni.cz/xschwar3/telatko · 8afd26b2
  Tereza authored Jun 03, 2023
  
  8afd26b2
- Experiments ben with fixed L2 · 145dd9a8
  Tereza authored Jun 03, 2023
  
  145dd9a8
- typos & orcid · de594fb4
  Juraj Major authored Jun 03, 2023
  
  de594fb4
- suggestion of a new layout of Table 2 · cff2203e
  Jan Strejček authored Jun 03, 2023
  
  cff2203e
Jun 02, 2023
- Adjusted L2 · a61f9b6c
  Tereza authored Jun 02, 2023
  
  a61f9b6c
- polishing in Table 1 · ac3fd9bb
  Jan Strejček authored Jun 02, 2023
  
  ac3fd9bb
- first part of section 6 updated · e03b174e
  Jan Strejček authored Jun 02, 2023
  
  e03b174e
- ltl2tgba stats · 1c9a80e0
  Tereza authored Jun 02, 2023
  
  1c9a80e0
- ltl2tgba stats prepared · d4d9beae
  Tereza authored Jun 02, 2023
  
  d4d9beae
- ben statistics · 591b32e7
  Tereza authored Jun 02, 2023
  
  591b32e7
Jun 01, 2023
- Prepared statistics generation. · 665cd295
  Tereza authored Jun 01, 2023
  
  665cd295
- problem telatko file · 4d2224a1
  Tereza authored Jun 01, 2023
  
  4d2224a1
- else branch in old rec formula · a2208731
  Tereza authored Jun 01, 2023
  
  a2208731
- Experiments ben · 8c94183f
  Tereza authored Jun 01, 2023
  
  8c94183f
- paper polished (except experiments) · fa69d02a
  Jan Strejček authored Jun 01, 2023
  
  fa69d02a
- progress mainly in Section 3 of main.tex · 005e2946
  Jan Strejček authored Jun 01, 2023
  
  005e2946
May 31, 2023
- update · 675f5f2f
  Tereza authored May 31, 2023
  
  675f5f2f
- reset · 4355a5c2
  Tereza authored May 31, 2023
  
  4355a5c2
May 30, 2023
- progress in final version · 1607cba4
  Jan Strejček authored May 30, 2023
  
  1607cba4
- modifications made together with Duri · 3aad27b7
  Jan Strejček authored May 30, 2023
  
  3aad27b7
- SAT 2023: small enhancements · 9b4c7278
  Juraj Major authored May 30, 2023
  
  9b4c7278
May 26, 2023
- Merge branch 'master' of gitlab.fi.muni.cz:xschwar3/telatko · c6a170df
  Jan Strejček authored May 26, 2023
  
  c6a170df
- author agreement (printed and signed) added · 01458956
  Jan Strejček authored May 26, 2023
  
  01458956
May 22, 2023
- Added limboole solver (again). · ba93666e
  Tereza authored May 22, 2023
  
  ba93666e
- LIPIcs-v2021: update to 1.1.3 · a6dfbbd3
  Juraj Major authored May 22, 2023
  
  a6dfbbd3
- mc.bib typo · 5f17659b
  Juraj Major authored May 22, 2023
  
  5f17659b
May 21, 2023
- SAT23 final: enhancements & typos · baa0a806
  Juraj Major authored May 21, 2023
  
  baa0a806
Mar 21, 2023
- Temporary statistics files. · cb101d3b
  Tereza authored Mar 21, 2023
  
  cb101d3b
- Autopep8 cleanup. · 85e68d5c
  Tereza authored Mar 21, 2023
  
  85e68d5c

Admin message