Commits · 7359f160a31e0313d514efad36e0bfe35ccb15e4 · fja / eval · GitLab

21 Apr, 2021 1 commit
- lib: Strip quotes from quoted terminals in CFG · 7359f160
  Vladimír Štill authored Apr 21, 2021
  
  7359f160
13 Apr, 2021 6 commits
- doc: Tweak userref, add newly allowed symbols · 1d039475
  Vladimír Štill authored Apr 13, 2021
  
  1d039475
- lib: Produce partial counterexamples, but be faster · 75446557
  Vladimír Štill authored Apr 13, 2021
  
  75446557
- lib: Add slots to CFG data structures · b877176d
  Vladimír Štill authored Apr 13, 2021
  
  b877176d
- lib: Drop the version check from CFGParser · c9d312df
  Vladimír Štill authored Apr 13, 2021
  
  c9d312df
- lib: Drop the version check from CFGLexer · c7daeb28
  Vladimír Štill authored Apr 13, 2021
  
  c7daeb28
- lib: Extend alphabet of terminals for grammars with '-', '~', and '=' · b95c9b89
  Vladimír Štill authored Apr 13, 2021
  
  b95c9b89
03 Apr, 2021 7 commits
- checker: Less spaces in html rendering · 12be346b
  Vladimír Štill authored Apr 03, 2021
  
  12be346b
- test: Test both html and text flavour of checker · b5f7e297
  Vladimír Štill authored Apr 03, 2021
  
  b5f7e297
- checker: Allow rendering parts of the output also with html formatting · 81728fc1
  Vladimír Štill authored Apr 03, 2021
  
  81728fc1
- test: More canonization tests · e43db9f2
  Vladimír Štill authored Apr 03, 2021
  
  e43db9f2
- dfa: Fix is_canonical · c4aad1ac
  Vladimír Štill authored Apr 03, 2021
  
  c4aad1ac
- test: Add test for is_canonical · df5aa4c3
  Vladimír Štill authored Apr 03, 2021
  
  df5aa4c3
- test: Add tests for canonisation with unreachable states · 4b9069b3
  Vladimír Štill authored Apr 03, 2021
  
  4b9069b3
02 Apr, 2021 3 commits
- dfa: Report a more reasonable error if an automaton cannot be canonised · a60be41b
  Vladimír Štill authored Apr 02, 2021
  
  a60be41b
- checker: Don't canonise too eagerly · d008f682
  Vladimír Štill authored Apr 02, 2021
  
  d008f682
- fja_checker: Put more details about exceptions into log · 96271653
  Vladimír Štill authored Apr 02, 2021
  
  96271653
07 Mar, 2021 1 commit
- lib: Improve error messages for grammars · c99829ee
  Vladimír Štill authored Mar 07, 2021
  
  c99829ee
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 7 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