Commits · 1490fd84cfa36cc0d802523bb07ee7a94c16b98f · fja / eval

06 Apr, 2020 16 commits
- CI: Install pytest · 1490fd84
  Vladimír Štill authored Apr 06, 2020
  
  1490fd84
- CI: Add unittests, run typecheck only manually for now · bdbb5766
  Vladimír Štill authored Apr 06, 2020
  
  bdbb5766
- Update gitignore · 51019c58
  Vladimír Štill authored Apr 06, 2020
  
  51019c58
- test: Add some basic tests for CFG · 93d731b2
  Vladimír Štill authored Apr 06, 2020
  
  93d731b2
- Wrap the library in a package · 620bcbaa
  Vladimír Štill authored Apr 06, 2020
  
  620bcbaa
- CFL: Rework word generation · 740d5989
  Vladimír Štill authored Apr 06, 2020
  
  740d5989
- CFL: Implement cached version of CYK for batch processing · de4bc741
  Vladimír Štill authored Apr 05, 2020
  
  de4bc741
- CFL: Implement the random-sampling-based comparison · 76284e76
  Vladimír Štill authored Apr 05, 2020
  
  76284e76
- CFL: A simple big speed optimization for random generation · df1a78ab
  Vladimír Štill authored Apr 04, 2020
  
  df1a78ab
- CFL: A new, uniform random generator · 473edc7b
  Vladimír Štill authored Apr 04, 2020
  
  473edc7b
- CFL: Improve the random generator heuristics · 600b4f19
  Vladimír Štill authored Apr 03, 2020
  
  600b4f19
- CFL: Basic version of the random generator · 33140e20
  Vladimír Štill authored Mar 28, 2020
  
  33140e20
- CFL: An unfinished random generation support · 047662ef
  Vladimír Štill authored Mar 27, 2020
  
  047662ef
- CFL: Implement first part of grammar comparison · 436af282
  Vladimír Štill authored Mar 25, 2020
  
  436af282
- CFL: Use Terminal and Nonterminal from common in cfl · 5c8882ec
  Vladimír Štill authored Mar 25, 2020
  
  5c8882ec
- CFL: Implement Context-Free Grammars (including CYK) · bd1b9bc0
  Vladimír Štill authored Mar 23, 2020
```
Based on the old CFG evaluator from KSI
```
  bd1b9bc0
31 Mar, 2020 2 commits
- strange emptyset bug · dcfaaaeb
  Kateřina Sloupová authored Mar 31, 2020
  
  dcfaaaeb
- EFA removed, DFA and NFA divided, fja_checker prepared for regex related homework · e71ba9bd
  Kateřina Sloupová authored Mar 31, 2020
  
  e71ba9bd
29 Mar, 2020 1 commit
- renaming, reg.py middle module added · bbf32586
  Kateřina Sloupová authored Mar 29, 2020
  
  bbf32586
27 Mar, 2020 1 commit
- added support of empty sets to regular expressions · 757ac88b
  Kateřina Sloupová authored Mar 27, 2020
  
  757ac88b
25 Mar, 2020 1 commit
- added regular expressions - parser and transformation to EFA · 8d08ef21
  Kateřina Sloupová authored Mar 25, 2020
  
  8d08ef21
17 Mar, 2020 1 commit
- tweaks according to a code review · ef4e5e17
  Kateřina Sloupová authored Mar 17, 2020
  
  ef4e5e17
13 Mar, 2020 3 commits
- reports all types of mistakes at once · cd0fb1f1
  Kateřina Sloupová authored Mar 13, 2020
  
  cd0fb1f1
- more fixes in DFA minimization and emptiness check · cdcda863
  Kateřina Sloupová authored Mar 13, 2020
  
  cdcda863
- fixes in DFA minimization and canonization · 3710e7f4
  Kateřina Sloupová authored Mar 13, 2020
  
  3710e7f4
12 Mar, 2020 1 commit
- ddd conversion script for qdefx question files · cf7390c3
  Vladimír Štill authored Mar 12, 2020
  
  cf7390c3
11 Mar, 2020 1 commit
- init could be empty plus first exception messages in fja_checker · c802d0ab
  Kateřina Sloupová authored Mar 11, 2020
  
  c802d0ab
09 Mar, 2020 1 commit
- fja_checker fix (task type recognition) · eebcc1bc
  Kateřina Sloupová authored Mar 09, 2020
  
  eebcc1bc
05 Mar, 2020 2 commits
- add NFA parser · 0e509fd4
  Kateřina Sloupová authored Mar 05, 2020
  
  0e509fd4
- add fja_checker for hsExprTest · 41b36c4f
  Kateřina Sloupová authored Mar 05, 2020
  
  41b36c4f
04 Mar, 2020 1 commit
- it ANTLRs and parses (DFA) · 59bf694e
  Kateřina Sloupová authored Mar 04, 2020
  
  59bf694e
02 Mar, 2020 2 commits
- Delete objects.py · 7868636c
  Kateřina Sloupová authored Mar 02, 2020
  
  7868636c
- DFA equivalence and emptiness; NFA can epsilon · ed41bb02
  Kateřina Sloupová authored Mar 02, 2020
  
  ed41bb02
28 Feb, 2020 1 commit
- split regular grammars and finite automata · e7408f3b
  Kateřina Sloupová authored Feb 28, 2020
  
  e7408f3b
27 Feb, 2020 1 commit
- this should finally typecheck · 9932bacd
  Kateřina Sloupová authored Feb 27, 2020
  
  9932bacd
24 Feb, 2020 1 commit
- some typing fixes, no more empty automata · 1ff54cfa
  Kateřina Sloupová authored Feb 24, 2020
  
  1ff54cfa
06 Feb, 2020 1 commit
- transformations DFA -> REG, REG -> NFA, nfa_to_str, emptiness · d0b41a0f
  Kateřina Sloupová authored Feb 06, 2020
  
  d0b41a0f
04 Feb, 2020 2 commits
- slightly polished demo · 84d04cee
  Kateřina Sloupová authored Feb 04, 2020
  
  84d04cee
- added link to wiki · 2f375562
  Kateřina Sloupová authored Feb 04, 2020
  
  2f375562
31 Jan, 2020 1 commit
- minimize, canonize · 0e597551
  Kateřina Sloupová authored Jan 31, 2020
  
  0e597551