eval:6d0a19c4a15803d7fae862cf67de2276b365dcdc commitshttps://gitlab.fi.muni.cz/fja/eval/-/commits/6d0a19c4a15803d7fae862cf67de2276b365dcdc2021-06-08T17:14:10+02:00https://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.euhttps://gitlab.fi.muni.cz/fja/eval/-/commit/96271653f53fbb919016538d2aa2e67adc255fbbfja_checker: Put more details about exceptions into log2021-04-02T00:11:42+02:00Vladimir Stillgit@vstill.euhttps://gitlab.fi.muni.cz/fja/eval/-/commit/c99829ee52870195eeeb825b9e826a123b36531dlib: Improve error messages for grammars2021-03-07T19:16:26+01:00Vladimir Stillgit@vstill.euhttps://gitlab.fi.muni.cz/fja/eval/-/commit/bce0026f2992a0b075906132fa055885070225c7evalweb: Add support for links to compare results2021-02-25T14:35:55+01:00Vladimir Stillgit@vstill.euhttps://gitlab.fi.muni.cz/fja/eval/-/commit/113c495fafe39c1dcd21a0c7fd8bf5cd95dc31b9lib: Add representation to hashes2021-02-24T20:45:00+01:00Vladimir Stillgit@vstill.euhttps://gitlab.fi.muni.cz/fja/eval/-/commit/5f1344633cd3abb6afbd3c245e7bdf789dbea11clib: Drop the bogus (and sometimes cycling) comment collection2021-02-24T20:44:40+01:00Vladimir Stillgit@vstill.euhttps://gitlab.fi.muni.cz/fja/eval/-/commit/8c8da2fb6708031c5be5fa9c00ad5e953fe8834dtest: Add tests for input with comments2021-02-24T20:44:00+01:00Vladimir Stillgit@vstill.euhttps://gitlab.fi.muni.cz/fja/eval/-/commit/a1e6468ec4d9c2f58373aea9e817f12ea8b63c1btest: More fixes of canonical automata tests2021-02-15T20:46:03+01:00Vladimir Stillgit@vstill.euhttps://gitlab.fi.muni.cz/fja/eval/-/commit/8fbb82187ec22fd393ea1462642cd72d2d96f3dclib: Fix conversion to canonic automaton2021-02-15T20:39:09+01:00Vladimir Stillgit@vstill.eu
In some cases, the states could be spuriously merged when converting to canonic
automaton. This is now fixed.https://gitlab.fi.muni.cz/fja/eval/-/commit/1398090409466a05cfe3c7bb18384a51a5add912test: Fix test for MIC2021-02-15T20:37:54+01:00Vladimir Stillgit@vstill.euhttps://gitlab.fi.muni.cz/fja/eval/-/commit/c606d662aa66ef816795d19118a1ec29303c329devalweb: More options and less hidden conversions in convert2021-02-15T20:00:07+01:00Vladimir Stillgit@vstill.euhttps://gitlab.fi.muni.cz/fja/eval/-/commit/f56fd4a75148147515e2aa8333f8d1f9340c01b7lib: Use natural numbers ≥ 1 for canononic names in DFA2021-02-15T19:48:55+01:00Vladimir Stillgit@vstill.euhttps://gitlab.fi.muni.cz/fja/eval/-/commit/2286e06cd7b869a3332ba85c0a8a70e66b2ca644evalweb: Allow working with canonical automata in convert2021-02-15T19:45:54+01:00Vladimir Stillgit@vstill.euhttps://gitlab.fi.muni.cz/fja/eval/-/commit/6fcd8620edae8addaf60ab2fa4183a13dbc78a8dlib: Add missing CAN to checker2021-02-15T19:45:42+01:00Vladimir Stillgit@vstill.euhttps://gitlab.fi.muni.cz/fja/eval/-/commit/c9e341bc4bc3692c115ca03bafd90393395ca740doc: Change canonical automaton syntax2021-02-15T19:16:23+01:00Vladimir Stillgit@vstill.euhttps://gitlab.fi.muni.cz/fja/eval/-/commit/8ba1370b28bd3dcc8b85924e285390fb4441c325evalweb: Improve error handling in compare2021-02-15T19:09:20+01:00Vladimir Stillgit@vstill.euhttps://gitlab.fi.muni.cz/fja/eval/-/commit/deee3a758902f0f9f7282d46897cd1c562aee11aevalweb: Fix error handling in convert2021-02-15T18:38:39+01:00Vladimir Stillgit@vstill.euhttps://gitlab.fi.muni.cz/fja/eval/-/commit/f629eae44acd44c36cb7ecd16bba5823ce2ef45eevalweb: Clean convert result2021-02-12T12:29:57+01:00Vladimir Stillgit@vstill.euhttps://gitlab.fi.muni.cz/fja/eval/-/commit/d615b929e55c032989cf6d94b16e0910592bf42devalweb: Polish the compare result page a bit more2021-02-08T23:11:03+01:00Vladimir Stillgit@vstill.euhttps://gitlab.fi.muni.cz/fja/eval/-/commit/fe0a33c2f70431d469bfec02942ade2ca4d385c2git: Ignore html files in doc2021-02-08T22:45:57+01:00Vladimir Stillgit@vstill.eu