Commit Graph

  • 815a76f558 cex: don't issue an empty line between counterexamples Akim Demaille 2020-07-19 19:46:41 +02:00
  • ea138cd1f1 cex: use usual routines for diagnostics about S/R conflicts Akim Demaille 2020-07-19 19:34:34 +02:00
  • 9922f1f877 cex: use usual routines for diagnostics about R/R conflicts Akim Demaille 2020-07-19 18:00:51 +02:00
  • 1438b79e80 diagnostics: use hyperlinks to point to the only documentation Akim Demaille 2020-07-19 08:30:46 +02:00
  • 01f3e2969b doc: add anchors for warnings Akim Demaille 2020-07-19 17:24:30 +02:00
  • 744da03955 glyphs: fix types Akim Demaille 2020-07-19 16:05:15 +02:00
  • b28d67b6b0 maint: post-release administrivia Akim Demaille 2020-07-19 09:45:36 +02:00
  • cf890692f1 version 3.6.92 v3.6.92 Akim Demaille 2020-07-19 09:24:57 +02:00
  • 6932023f4d style: avoid strncpy Akim Demaille 2020-07-19 09:00:41 +02:00
  • fff17fe8fe cex: display derivations as trees Akim Demaille 2020-07-14 08:16:16 +02:00
  • 5544615a59 cex: use the glyphs Akim Demaille 2020-07-15 07:43:49 +02:00
  • 346ba14f15 cex: factor the handling of graphical symbols Akim Demaille 2020-07-15 07:24:48 +02:00
  • 4d18195ebc cex: style changes Akim Demaille 2020-07-15 06:40:35 +02:00
  • dd3e7b3895 cex: simplify tests Akim Demaille 2020-07-14 11:29:26 +02:00
  • 64a3b6546a cex: more colors Akim Demaille 2020-07-15 06:31:55 +02:00
  • bad07a7f66 style: comments changes Akim Demaille 2020-07-14 14:21:52 +02:00
  • 88bd814bf1 doc: update GLR sections Akim Demaille 2020-07-14 06:56:15 +02:00
  • 4f9ae5de07 cex: display shifts before reductions Akim Demaille 2020-07-12 18:53:30 +02:00
  • 78f72a4516 style: s/lookahead_tokens/lookaheads/g Akim Demaille 2020-07-12 15:16:51 +02:00
  • c04693d651 cex: factor memory allocation Akim Demaille 2020-07-12 15:13:08 +02:00
  • 12191911ba cex: use state_item_number consistently Akim Demaille 2020-07-12 15:01:24 +02:00
  • d7f27477f4 cex: more consistent memory allocation/copy Akim Demaille 2020-07-12 14:46:45 +02:00
  • 5bad15d7ea cex: minor renaming Akim Demaille 2020-07-12 14:40:26 +02:00
  • cd099edf2d cex: use better type names Akim Demaille 2020-07-12 14:18:49 +02:00
  • 1e12219775 cex: minor style changes Akim Demaille 2020-07-12 13:13:22 +02:00
  • d8c2af56c1 tests: beware of version numbers from git describe Akim Demaille 2020-07-12 13:12:03 +02:00
  • cc11bb037c tests: fix expectations Akim Demaille 2020-07-14 06:47:40 +02:00
  • 121dd98508 doc: makeinfo wants @arrow{}, not @arrow Akim Demaille 2020-07-12 08:15:44 +02:00
  • 2eddbd0ac4 gnulib: update Akim Demaille 2020-07-11 19:09:41 +02:00
  • ee86ea8839 cex: prefer → to ::= Akim Demaille 2020-07-11 18:25:49 +02:00
  • a2ad33dca6 style: cex: prefer the array notation Akim Demaille 2020-07-11 17:59:30 +02:00
  • 5b2b7b1ffb style: cex: remove variables that don't make it simpler to read Akim Demaille 2020-07-11 17:25:37 +02:00
  • dc72b3566d bistromathic: demonstrate caret-diagnostics Akim Demaille 2020-07-11 14:30:15 +02:00
  • c47e1174d4 bistromathic: do not display parse errors on completion Akim Demaille 2020-07-11 13:48:43 +02:00
  • 093eeb27e9 bistromathic: don't stupidly reset the location for each token Akim Demaille 2020-07-11 14:00:10 +02:00
  • dab23c4a21 bistromathic: promote yytoken_kind_t Akim Demaille 2020-07-11 13:51:57 +02:00
  • 38a169bec1 html: capitalize titles Akim Demaille 2020-07-11 12:34:47 +02:00
  • dc77d6500f html: don't define several times the same anchors Akim Demaille 2020-07-11 11:10:58 +02:00
  • 8262c7dc22 html: simplify Akim Demaille 2020-07-11 11:18:41 +02:00
  • 44f28d10ee reports: let html reports catch up with --report and --graph Akim Demaille 2020-07-11 10:24:26 +02:00
  • 44ad466a32 reports: let xml reports catch up with --report and --graph Akim Demaille 2020-07-11 08:41:37 +02:00
  • a839f4c461 reports: update html ouput Akim Demaille 2020-07-11 09:14:55 +02:00
  • 9a51c6a128 tests: check html Akim Demaille 2020-07-11 09:25:34 +02:00
  • 2608b0cf12 style: factor complex expressions Akim Demaille 2020-07-11 08:28:34 +02:00
  • aa766d1560 maint: make it easier to update expectations Akim Demaille 2020-07-11 08:50:06 +02:00
  • a7ed13b25f maint: post-release administrivia Akim Demaille 2020-07-09 21:33:24 +02:00
  • 2d90916067 version 3.6.91 v3.6.91 Akim Demaille 2020-07-09 21:10:23 +02:00
  • 91e5a23ff2 news: update Akim Demaille 2020-07-04 17:02:15 +02:00
  • d4ae66c371 gnulib: update Akim Demaille 2020-07-09 20:19:02 +02:00
  • 70fb574717 examples: add license headers Akim Demaille 2020-07-07 08:14:07 +02:00
  • 0820f16ca8 style: update comments Akim Demaille 2020-07-05 08:34:39 +02:00
  • 49f1e5f428 style: update comments in the skeletons Akim Demaille 2020-07-05 09:14:17 +02:00
  • 238692ad77 doc: more details about symbols in m4 Akim Demaille 2020-06-20 09:09:26 +02:00
  • 5f95583da7 regen Akim Demaille 2020-07-05 08:01:23 +02:00
  • 964fb2aa6f examples: include the generated header Akim Demaille 2020-07-05 07:21:07 +02:00
  • 7c0d36b760 maint: post-release administrivia Akim Demaille 2020-07-04 12:37:45 +02:00
  • b4d18c7fc6 version 3.6.90 v3.6.90 Akim Demaille 2020-07-04 12:14:28 +02:00
  • 3e6e51cf5c news: update Akim Demaille 2020-07-04 12:12:33 +02:00
  • d309bd9f9f package: fix syntax-check errors Akim Demaille 2020-07-04 12:10:15 +02:00
  • 203f7230ec gnulib: update Akim Demaille 2020-07-04 11:43:41 +02:00
  • 156e548341 cex: give more details about -Wcex and -rcex Akim Demaille 2020-07-02 08:19:58 +02:00
  • 526ef45f30 news: update Akim Demaille 2020-07-03 06:52:29 +02:00
  • d7f7fcd9c7 dot: also use a dot in the output Akim Demaille 2020-07-03 06:36:50 +02:00
  • 0fd542c3e0 doc: improve a sentence Akim Demaille 2020-07-02 07:00:24 +02:00
  • 413908e5a4 news: formatting changes Akim Demaille 2020-07-01 07:05:48 +02:00
  • 84ef175287 news, todo: update Akim Demaille 2020-06-29 06:54:01 +02:00
  • 5234c8390f doc: clarify that the pcontext interface is *.c only Akim Demaille 2020-06-30 19:35:45 +02:00
  • 21f7690570 doc: use color in the cex examples Akim Demaille 2020-06-30 20:15:54 +02:00
  • edb39c29a2 doc: repair the references to the Bibliography Akim Demaille 2020-06-30 07:40:29 +02:00
  • 1247d94ba6 doc: cex documentation Vincent Imbimbo 2020-06-28 15:30:17 -04:00
  • ed9a821caa doc: update Doxygen template file Akim Demaille 2020-06-30 07:12:56 +02:00
  • 330552ea49 yacc.c: push: don't clear the parser state when accepting/rejecting Akim Demaille 2020-06-28 16:09:13 +02:00
  • 7c609859ee bistromathic: don't display undefined locations Akim Demaille 2020-06-28 15:52:05 +02:00
  • ed10c308fa yacc.c: simplify initialization of push parsers Akim Demaille 2020-06-28 15:08:15 +02:00
  • b91566edd1 regen Akim Demaille 2020-06-28 14:25:15 +02:00
  • 29520abb3b yacc.c: declare and initialize and the same time Akim Demaille 2020-06-28 14:21:28 +02:00
  • 2491de1eef yacc.c: style changes in push mode Akim Demaille 2020-06-28 11:06:56 +02:00
  • ec207d1bb2 yacc.c: simplify yypull_parse Akim Demaille 2020-06-28 10:48:33 +02:00
  • 688b3404a2 doc: tidy the text files Akim Demaille 2020-06-29 07:34:42 +02:00
  • cd6ef1e7d7 bench: simplify the rand target Akim Demaille 2020-06-29 07:43:15 +02:00
  • 2b518d621f bench: make it easy to edit the generated files Akim Demaille 2020-06-29 07:34:04 +02:00
  • 1ae4f1d329 tests: don't use $VERBOSE Akim Demaille 2020-06-29 06:44:42 +02:00
  • 160df55c56 doc: overhaul of the readmes Akim Demaille 2020-06-28 14:35:55 +02:00
  • e0b0a67b86 java: rename package as api.package Akim Demaille 2020-06-28 09:49:00 +02:00
  • 0e5cbd38b2 style: shift/reduce, not shift-reduce Akim Demaille 2020-06-28 08:33:24 +02:00
  • feb0bb0a59 style: rename endtoken as eoftoken Akim Demaille 2020-06-27 17:30:27 +02:00
  • d796e11f8f news: fixes Akim Demaille 2020-06-27 17:03:28 +02:00
  • 0895858d8e style: use 'nonterminal' consistently Akim Demaille 2020-06-27 11:12:48 +02:00
  • 4efb2f7bd2 doc: parse.assert in C++ requires RTTI Akim Demaille 2020-06-27 10:31:59 +02:00
  • eeafc706e8 c++: by default, use const std::string for file names Akim Demaille 2020-06-27 09:43:14 +02:00
  • cf6d8d0631 ielr: fix crash on memory management Akim Demaille 2020-06-26 07:33:51 +02:00
  • 8f44164443 style: factor the access to a rule from its items Akim Demaille 2020-06-25 18:35:27 +02:00
  • 1001f48416 style: clean up nullable Akim Demaille 2020-06-25 19:19:42 +02:00
  • 3be228f64c style: clean up ielr Akim Demaille 2020-06-25 07:34:37 +02:00
  • 670c7e7a75 don't use strlen to compute visual width Akim Demaille 2020-06-23 08:27:26 +02:00
  • c4b1a2b68f doc: use dot/'•' rather than point/'.' Akim Demaille 2020-06-23 07:21:52 +02:00
  • b65bd16e45 cex: display all the S/R conflicts, not just one per (state, rule) Akim Demaille 2020-06-16 08:37:28 +02:00
  • 0f120354b6 cex: don't display twice unifying examples if there is no color Akim Demaille 2020-06-19 07:06:24 +02:00
  • 69e3b405d9 cex: fix reporting of null nonterminals Vincent Imbimbo 2020-06-21 16:20:45 -04:00
  • 3dd8f2305a cex: use the bullet in HTML Akim Demaille 2020-06-21 09:00:44 +02:00