Commits · bce0026f2992a0b075906132fa055885070225c7 · fja / eval

25 Feb, 2021 1 commit
- evalweb: Add support for links to compare results · bce0026f
  Vladimír Štill authored Feb 25, 2021
  
  bce0026f
24 Feb, 2021 3 commits
- lib: Add representation to hashes · 113c495f
  Vladimír Štill authored Feb 24, 2021
  
  113c495f
- lib: Drop the bogus (and sometimes cycling) comment collection · 5f134463
  Vladimír Štill authored Feb 24, 2021
  
  5f134463
- test: Add tests for input with comments · 8c8da2fb
  Vladimír Štill authored Feb 24, 2021
  
  8c8da2fb
15 Feb, 2021 10 commits
- test: More fixes of canonical automata tests · a1e6468e
  Vladimír Štill authored Feb 15, 2021
  
  a1e6468e
- lib: Fix conversion to canonic automaton · 8fbb8218
  Vladimír Štill authored Feb 15, 2021
```
In some cases, the states could be spuriously merged when converting to canonic
automaton. This is now fixed.
```
  8fbb8218
- test: Fix test for MIC · 13980904
  Vladimír Štill authored Feb 15, 2021
  
  13980904
- evalweb: More options and less hidden conversions in convert · c606d662
  Vladimír Štill authored Feb 15, 2021
  
  c606d662
- lib: Use natural numbers ≥ 1 for canononic names in DFA · f56fd4a7
  Vladimír Štill authored Feb 15, 2021
  
  f56fd4a7
- evalweb: Allow working with canonical automata in convert · 2286e06c
  Vladimír Štill authored Feb 15, 2021
  
  2286e06c
- lib: Add missing CAN to checker · 6fcd8620
  Vladimír Štill authored Feb 15, 2021
  
  6fcd8620
- doc: Change canonical automaton syntax · c9e341bc
  Vladimír Štill authored Feb 15, 2021
  
  c9e341bc
- evalweb: Improve error handling in compare · 8ba1370b
  Vladimír Štill authored Feb 15, 2021
  
  8ba1370b
- evalweb: Fix error handling in convert · deee3a75
  Vladimír Štill authored Feb 15, 2021
  
  deee3a75
12 Feb, 2021 1 commit
- evalweb: Clean convert result · f629eae4
  Vladimír Štill authored Feb 12, 2021
  
  f629eae4
08 Feb, 2021 11 commits
- 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
06 Jan, 2021 8 commits
- 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
20 Jul, 2020 1 commit
- thesis submitted: fixes in CFG parsing, update of user reference, website tweaks and cleanup · 47886040
  Kateřina Sloupová authored Jul 20, 2020
  
  47886040
19 Jul, 2020 3 commits
- 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
15 Jul, 2020 2 commits
- 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