Commits · de594fb43e2406cc2e3641912f1941bc191ec208 · Tereza Schwarzová / telatko

Jun 03, 2023
- 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
- Root directory reorganization. · f352f79f
  Tereza authored Mar 21, 2023
  
  f352f79f
- deleted artefacts from git repo · e102aff5
  Tereza authored Mar 21, 2023
  
  e102aff5
- remove unnecesary files · 3056faa1
  Tereza authored Mar 21, 2023
  
  3056faa1
- artefacts jupyter notebook · 512830ae
  Tereza authored Mar 21, 2023
  
  512830ae
- Artefacts folder for sat23 submition · 76219b9a
  Tereza authored Mar 21, 2023
  
  76219b9a
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