eval:db6b461fe287f14d53dc3d2169754338c1d5f51a commitshttps://gitlab.fi.muni.cz/fja/eval/-/commits/db6b461fe287f14d53dc3d2169754338c1d5f51a2021-06-10T10:55:31+02:00https://gitlab.fi.muni.cz/fja/eval/-/commit/db6b461fe287f14d53dc3d2169754338c1d5f51amake: Update with dedicated RegG parser2021-06-10T10:55:31+02:00Vladimir Stillgit@vstill.euhttps://gitlab.fi.muni.cz/fja/eval/-/commit/ca62738253f2d867d3d8e0a50019c8e4b00fd477lib: Add missing parsers, #92021-06-10T10:55:17+02:00Vladimir Stillgit@vstill.euhttps://gitlab.fi.muni.cz/fja/eval/-/commit/e1e7942d976d2622358ab62910911611afeea60flib: Split-off regular grammar parser2021-06-10T10:43:03+02:00Vladimir Stillgit@vstill.eu
in preparation for ANTLR-based valiadators, <a href="/fja/eval/-/issues/9" data-reference-type="issue" data-original="#9" data-link="false" data-link-reference="false" data-project="9706" data-issue="5049" data-project-path="fja/eval" data-iid="9" data-issue-type="issue" data-container="body" data-placement="top" title="create validators for questionaries from the ANTLR parsers" class="gfm gfm-issue">#9</a>https://gitlab.fi.muni.cz/fja/eval/-/commit/125cfec7634b121a26fe5dd5aabb6f938327c6f7make: Add missing dependency2021-06-09T22:16:26+02:00Vladimir Stillgit@vstill.euhttps://gitlab.fi.muni.cz/fja/eval/-/commit/a1b80779480e46cf59d6e4950b88913a2ae876c7lib: Deduplicate & simplify parser (main for FA)2021-06-09T22:15:59+02:00Vladimir Stillgit@vstill.euhttps://gitlab.fi.muni.cz/fja/eval/-/commit/61decabf6d772be108f8aefa154b7b19086e3ddelib: Polishing parser2021-06-09T11:55:07+02:00Vladimir Stillgit@vstill.euhttps://gitlab.fi.muni.cz/fja/eval/-/commit/44bd0954aebe7619e1373e1cd59b1e0f8e960748test: Adapt to changes in lib2021-06-09T11:00:14+02:00Vladimir Stillgit@vstill.euhttps://gitlab.fi.muni.cz/fja/eval/-/commit/2b2f69351e3024ea935b28bbb82ed7ac5d979548checker: Adapt to changes in lib2021-06-09T11:00:04+02:00Vladimir Stillgit@vstill.euhttps://gitlab.fi.muni.cz/fja/eval/-/commit/3b77ae67d697f874ed99f569ec75eedc567cde57evalweb: Adapt to changes in lib2021-06-09T10:59:49+02:00Vladimir Stillgit@vstill.euhttps://gitlab.fi.muni.cz/fja/eval/-/commit/e356771659d1dc63c21a6ac6ab25beebeedd11fdmake: Adapt to moves in lib2021-06-09T10:59:27+02:00Vladimir Stillgit@vstill.euhttps://gitlab.fi.muni.cz/fja/eval/-/commit/895f21c8bf99340ab897d6d0351a0907843a526elib: Drop class Parser, shorten names2021-06-09T10:58:41+02:00Vladimir Stillgit@vstill.euhttps://gitlab.fi.muni.cz/fja/eval/-/commit/4780d4ce33c7cd9b673d20926ed5f04a11649179test: Tweak style in checker2021-06-09T10:27:45+02:00Vladimir Stillgit@vstill.euhttps://gitlab.fi.muni.cz/fja/eval/-/commit/0265e6dc96581230ad332981162cbc1a99cf3995lib: Update parser to handle init/final as state names2021-06-08T18:05:16+02:00Vladimir Stillgit@vstill.euhttps://gitlab.fi.muni.cz/fja/eval/-/commit/a9b22c1e1e31b842c2b9a7b9d82e031d0a8d4895lib: Add missing __repr__ to common2021-06-08T18:04:13+02:00Vladimir Stillgit@vstill.euhttps://gitlab.fi.muni.cz/fja/eval/-/commit/999afa328b7fa733810947871d52311460e5151dtest: Drop .parser from imports2021-06-08T17:26:58+02:00Vladimir Stillgit@vstill.euhttps://gitlab.fi.muni.cz/fja/eval/-/commit/52ec170b487ab2b9d109b77822b678e254214b10fja_checker: Drop .parser from imports2021-06-08T17:26:45+02:00Vladimir Stillgit@vstill.euhttps://gitlab.fi.muni.cz/fja/eval/-/commit/3d73847f4a5059a24bcc1ffdf360d5d62f240373evalweb: Drop .parser from imports2021-06-08T17:26:16+02:00Vladimir Stillgit@vstill.euhttps://gitlab.fi.muni.cz/fja/eval/-/commit/1feddd15b7ec8890d5b43708a59fe7abc357e346lib: Drop .parser for the parser imports2021-06-08T17:25:46+02:00Vladimir Stillgit@vstill.euhttps://gitlab.fi.muni.cz/fja/eval/-/commit/fa0c432bf89493032227faaf109c07202a9969edlib: Regenerate all grammars2021-06-08T17:14:43+02:00Vladimir Stillgit@vstill.euhttps://gitlab.fi.muni.cz/fja/eval/-/commit/6d0a19c4a15803d7fae862cf67de2276b365dcdcmake: Move grammar generation to makefile2021-06-08T17:14:10+02:00Vladimir Stillgit@vstill.euhttps://gitlab.fi.muni.cz/fja/eval/-/commit/5e02dab8bc95bc9c5f581e29da918c92c0a26947lib: Regenerate {N,D}FA parsers2021-06-01T21:58:14+02:00Vladimir Stillgit@vstill.euhttps://gitlab.fi.muni.cz/fja/eval/-/commit/8a7298f23c7354e13da55274a27950e1c451f92clib: Add '-' to DFA states, make NFA and DFA consistent2021-06-01T21:56:59+02:00Vladimir Stillgit@vstill.euhttps://gitlab.fi.muni.cz/fja/eval/-/commit/5849914b16e6b5872619512effc367771bb49c43lib: Hopefully drop all excess quotes in parser2021-04-21T11:26:06+02:00Vladimir Stillgit@vstill.euhttps://gitlab.fi.muni.cz/fja/eval/-/commit/24edb89c17dbd598445c41ef28e3310c2a206708doc: Fix formatting in userref2021-04-21T11:21:46+02:00Vladimir Stillgit@vstill.euhttps://gitlab.fi.muni.cz/fja/eval/-/commit/7359f160a31e0313d514efad36e0bfe35ccb15e4lib: Strip quotes from quoted terminals in CFG2021-04-21T11:16:47+02:00Vladimir Stillgit@vstill.euhttps://gitlab.fi.muni.cz/fja/eval/-/commit/1d0394753223c14b8bfd1febd0b5c3739d0e6149doc: Tweak userref, add newly allowed symbols2021-04-13T17:57:03+02:00Vladimir Stillgit@vstill.euhttps://gitlab.fi.muni.cz/fja/eval/-/commit/75446557c28ae03c86817f637dfa6a271d672e23lib: Produce partial counterexamples, but be faster2021-04-13T17:47:41+02:00Vladimir Stillgit@vstill.euhttps://gitlab.fi.muni.cz/fja/eval/-/commit/b877176dadab32a09d1fe026dd599be6dff74a6blib: Add slots to CFG data structures2021-04-13T17:10:25+02:00Vladimir Stillgit@vstill.euhttps://gitlab.fi.muni.cz/fja/eval/-/commit/c9d312dfdac177367c107356171ab67a058d7b9blib: Drop the version check from CFGParser2021-04-13T16:47:01+02:00Vladimir Stillgit@vstill.euhttps://gitlab.fi.muni.cz/fja/eval/-/commit/c7daeb28ee4112ce0ac8d974afb41e5fb3418742lib: Drop the version check from CFGLexer2021-04-13T16:46:01+02:00Vladimir Stillgit@vstill.euhttps://gitlab.fi.muni.cz/fja/eval/-/commit/b95c9b8929f950ed7d43dd38f1792518ea8b5fe0lib: Extend alphabet of terminals for grammars with '-', '~', and '='2021-04-13T16:41:42+02:00Vladimir Stillgit@vstill.euhttps://gitlab.fi.muni.cz/fja/eval/-/commit/12be346b019ae14eb041d76cf61dd42ed3acb2bdchecker: Less spaces in html rendering2021-04-03T20:55:59+02:00Vladimir Stillgit@vstill.euhttps://gitlab.fi.muni.cz/fja/eval/-/commit/b5f7e2971dcb8eb103502dba76af0d5cf92492b3test: Test both html and text flavour of checker2021-04-03T20:49:59+02:00Vladimir Stillgit@vstill.euhttps://gitlab.fi.muni.cz/fja/eval/-/commit/81728fc1af834bcdd9882d40334d62725e1b10cechecker: Allow rendering parts of the output also with html formatting2021-04-03T20:49:34+02:00Vladimir Stillgit@vstill.euhttps://gitlab.fi.muni.cz/fja/eval/-/commit/e43db9f261c461c735a1716a40fb444004e96014test: More canonization tests2021-04-03T14:50:35+02:00Vladimir Stillgit@vstill.euhttps://gitlab.fi.muni.cz/fja/eval/-/commit/c4aad1acf5bba579b9a7a5fbb1987d5dfbb9d0e5dfa: Fix is_canonical2021-04-03T14:50:22+02:00Vladimir Stillgit@vstill.euhttps://gitlab.fi.muni.cz/fja/eval/-/commit/df5aa4c369f25a4e7450a9be63f2451bfa56efc4test: Add test for is_canonical2021-04-03T14:15:12+02:00Vladimir Stillgit@vstill.euhttps://gitlab.fi.muni.cz/fja/eval/-/commit/4b9069b3a92d32ff942f3a5f4c35029116cd9d78test: Add tests for canonisation with unreachable states2021-04-03T14:06:21+02:00Vladimir Stillgit@vstill.euhttps://gitlab.fi.muni.cz/fja/eval/-/commit/a60be41bebaf07229b2cba2d10715fca2db84e17dfa: Report a more reasonable error if an automaton cannot be canonised2021-04-02T22:14:04+02:00Vladimir Stillgit@vstill.euhttps://gitlab.fi.muni.cz/fja/eval/-/commit/d008f68203812867d9254018b77e0c98ccbb4b11checker: Don't canonise too eagerly2021-04-02T22:13:49+02:00Vladimir Stillgit@vstill.eu