Commits · 675f5f2f4409983553cab742a7c745586ab03ec3 · Tereza Schwarzová / telatko

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
- 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