Commits · d615b929e55c032989cf6d94b16e0910592bf42d · fja / eval · GitLab

Feb 08, 2021
- evalweb: Polish the compare result page a bit more · d615b929
  Vladimír Štill authored Feb 08, 2021
  
  d615b929
- git: Ignore html files in doc · fe0a33c2
  Vladimír Štill authored Feb 08, 2021
  
  fe0a33c2
- evalweb: Various visual tweaks · bd6ab21b
  Vladimír Štill authored Feb 08, 2021
  
  bd6ab21b
- doc: Polish userref · 5e60d51b
  Vladimír Štill authored Feb 08, 2021
  
  5e60d51b
- doc: Drop the inline style from userref · 6274170a
  Vladimír Štill authored Feb 08, 2021
  
  6274170a
- evalweb: Reflow the templates · 932fde28
  Vladimír Štill authored Feb 08, 2021
  
  932fde28
- evalweb: Reflow style · 985ce4a9
  Vladimír Štill authored Feb 08, 2021
  
  985ce4a9
- git: Ignore pdf files · 8962fc4f
  Vladimír Štill authored Feb 08, 2021
  
  8962fc4f
- README: Update dependencies · 0ac49dd1
  Vladimír Štill authored Feb 08, 2021
  
  0ac49dd1
- evalweb: Render userref in the style of the rest of the web · 7d2f6f5e
  Vladimír Štill authored Feb 08, 2021
  
  7d2f6f5e
- doc: Don't include generated html, include makefile instead · 4f0049e9
  Vladimír Štill authored Feb 08, 2021
  
  4f0049e9
Jan 06, 2021
- evalweb: Add a bunch of type annotations & fix some types · 3c5f9db7
  Vladimír Štill authored Jan 06, 2021
  
  3c5f9db7
- lib: Export IsEquivalentResult from reg · 3724d735
  Vladimír Štill authored Jan 06, 2021
  
  3724d735
- evalweb: Flake · aa50acdc
  Vladimír Štill authored Jan 06, 2021
  
  aa50acdc
- evalweb: Better title · a443f5e7
  Vladimír Štill authored Jan 06, 2021
  
  a443f5e7
- evalweb: Prefix pages with reg · d7324a1b
  Vladimír Štill authored Jan 06, 2021
  
  d7324a1b
- Add templates for systemd unit+socket · f4da814b
  Vladimír Štill authored Jan 06, 2021
  
  f4da814b
- Add a README · bb49da64
  Vladimír Štill authored Jan 06, 2021
  
  bb49da64
- Add LICENSE · 6c61e106
  Vladimír Štill authored Jan 06, 2021
  
  6c61e106
Jul 20, 2020
- thesis submitted: fixes in CFG parsing, update of user reference, website tweaks and cleanup · 47886040
  Kateřina Sloupová authored Jul 20, 2020
  
  47886040
Jul 19, 2020
- add canonization and cleanup · 8197cb07
  Kateřina Sloupová authored Jul 19, 2020
  
  8197cb07
- add about web text · 00ac104d
  Kateřina Sloupová authored Jul 19, 2020
  
  00ac104d
- add support for any value in quotation marks and tweak any values in comments · 2fb0d5b0
  Kateřina Sloupová authored Jul 19, 2020
  
  2fb0d5b0
Jul 15, 2020
- add .png files for feedback · aa6c3784
  Kateřina Sloupová authored Jul 15, 2020
  
  aa6c3784
- conversion of tasks: add removing of -N · 5030af0d
  Kateřina Sloupová authored Jul 15, 2020
  
  5030af0d
- few comments, tweaks, cleanup · 9ed4371e
  Kateřina Sloupová authored Jul 15, 2020
  
  9ed4371e
- add support for commentary parsing to grammars and parser · 9dcd6d8e
  Kateřina Sloupová authored Jul 15, 2020
  
  9dcd6d8e
- web feedback: pictures and more language descriptions and tweaks · 3e7393c3
  Kateřina Sloupová authored Jul 15, 2020
  
  3e7393c3
Jul 11, 2020
- web evaluation fix · 70056451
  Kateřina Sloupová authored Jul 11, 2020
  
  70056451
- web tweaks for parsing error and empty input · aaa587be
  Kateřina Sloupová authored Jul 11, 2020
  
  aaa587be
Jul 10, 2020
- comments and cleanup · 0f5aad35
  Kateřina Sloupová authored Jul 10, 2020
  
  0f5aad35
Jul 08, 2020
- delete unnecessary imports · b8cdb4a5
  Kateřina Sloupová authored Jul 08, 2020
  
  b8cdb4a5
- fix textareas in html · 22ba6ba7
  Kateřina Sloupová authored Jul 08, 2020
  
  22ba6ba7
- add support for images in feedback · 45064bc4
  Kateřina Sloupová authored Jul 08, 2020
  
  45064bc4
Jul 06, 2020
- delete readme · a86fef06
  Kateřina Sloupová authored Jul 06, 2020
  
  a86fef06
- grammar and regex evaluation tweaks · e61e2849
  Kateřina Sloupová authored Jul 06, 2020
  
  e61e2849
- add examples of chosen tasks · 6202b25d
  Kateřina Sloupová authored Jul 06, 2020
  
  6202b25d
- add support for more detailed feedback on web · 9a7200e2
  Kateřina Sloupová authored Jul 06, 2020
  
  9a7200e2
Jul 04, 2020
- typing tweaks · cb1746ce
  Kateřina Sloupová authored Jul 04, 2020
  
  cb1746ce
Jul 03, 2020
- few states and nonterminals names fix · 0e80271b
  Kateřina Sloupová authored Jul 03, 2020
  
  0e80271b