Commit Graph

  • 9e75066819 cex: style changes Akim Demaille 2020-06-19 08:01:21 +02:00
  • efb65daa36 c++: get rid of global_tokens_and_yystype Akim Demaille 2020-06-16 08:01:48 +02:00
  • e077bf1ebc cex: don't assume the terminal supports "•" Akim Demaille 2020-06-14 09:13:39 +02:00
  • c35e829a76 cex: also include in the report on --report=counterexamples Akim Demaille 2020-06-14 08:18:37 +02:00
  • d4f854e5b2 cex: also include the counterexamples in the report Akim Demaille 2020-06-11 08:24:30 +02:00
  • 35c0fe6789 cex: indent the diagnostics to highlight the structure Akim Demaille 2020-06-13 19:18:12 +02:00
  • 22f62414f9 cex: don't report the items Akim Demaille 2020-06-11 08:23:42 +02:00
  • 9206b15c4e cex: make sure traces go to stderr Akim Demaille 2020-06-11 07:37:37 +02:00
  • 5edac5e15a cex: add an argument to the reporting functions to specify the stream Akim Demaille 2020-06-11 07:20:09 +02:00
  • 1c3189734c style: more uses of const Akim Demaille 2020-06-13 19:32:58 +02:00
  • c662b23735 Merge 'maint' Akim Demaille 2020-06-15 21:16:04 +02:00
  • 627fecb19e maint: post-release administrivia Akim Demaille 2020-06-15 20:39:01 +02:00
  • 2a069f22c6 version 3.6.4 v3.6.4 Akim Demaille 2020-06-15 20:18:50 +02:00
  • 3f4ffea6f2 glr.cc: don't leak glr.c/glr.cc scaffolding to the user Akim Demaille 2020-06-12 07:28:05 +02:00
  • 251e1b137f reports: the column width differs from the byte count Akim Demaille 2020-06-13 11:09:53 +02:00
  • efbcadeca7 reports: don't escape the labels Akim Demaille 2020-06-13 16:03:53 +02:00
  • e4d33cf579 regen Akim Demaille 2020-06-13 10:47:12 +02:00
  • 5855da4722 parser: keep string aliases as the user wrote it Akim Demaille 2020-06-13 08:46:58 +02:00
  • 5d5e1df1dc tests: check reports with conflicts and UTF-8 Akim Demaille 2020-06-11 18:55:25 +02:00
  • cef13e11f5 style: factor common bits about string scanning Akim Demaille 2020-06-13 08:50:45 +02:00
  • b7fbfd050e style: introduce & use STRING_1GROW Akim Demaille 2020-06-13 08:41:47 +02:00
  • e088b4f90f style: reduce scopes Akim Demaille 2020-06-13 08:15:42 +02:00
  • c857ed4f72 style: prefer 'FOO ()' to 'FOO' for function-like macros Akim Demaille 2020-06-13 08:11:22 +02:00
  • 1998606a90 regen Akim Demaille 2020-06-11 19:11:18 +02:00
  • b0bb4cde2e cex: suggest -Wcounterexamples when there are unexpected conflicts Akim Demaille 2020-06-10 08:11:56 +02:00
  • d2acc4b401 cex: rename -Wcounterexample as -Wcounterexamples, and support -Wcex Akim Demaille 2020-06-10 07:35:47 +02:00
  • a53c6026cd api.header.include: document it, and fix its default value Akim Demaille 2020-06-09 07:08:11 +02:00
  • ae5edcc23b cex: color the counterexamples Akim Demaille 2020-05-23 19:13:01 +02:00
  • 296e2f90ab cex: enforce case for tokens/nonterminals Akim Demaille 2020-06-07 08:25:53 +02:00
  • 1ccb4be02b cex: reformat the s/r and r/r reports Akim Demaille 2020-06-07 07:32:59 +02:00
  • 421662ec88 style: fix syntax-check issues Akim Demaille 2020-06-07 09:14:43 +02:00
  • 39be113b1f all: show the rules in comments before the user actions Akim Demaille 2020-06-05 16:51:59 +02:00
  • 2101b0e210 CI: use GCC10 on ppc too Akim Demaille 2020-06-06 07:45:10 +02:00
  • b1327c56f7 examples: fix missing includes Akim Demaille 2020-06-06 07:22:53 +02:00
  • ae03b16785 warnings: fix -Wmissing-prototypes issues Akim Demaille 2020-06-03 08:26:23 +02:00
  • 7e16bd2cae Merge maint into HEAD Akim Demaille 2020-06-03 08:12:10 +02:00
  • 508ac09939 maint: post-release administrivia Akim Demaille 2020-06-03 07:52:30 +02:00
  • 0535d2a608 version 3.6.3 v3.6.3 Akim Demaille 2020-06-03 07:31:43 +02:00
  • 94f7606db6 build: check -Wstrict-aliasing Akim Demaille 2020-05-31 09:46:25 +02:00
  • de5be4a693 doc: using asan Akim Demaille 2020-05-31 11:14:16 +02:00
  • 03a6b439f6 style: fix includes Akim Demaille 2020-05-31 09:24:05 +02:00
  • 742910838e lists: fix various issues with the use of gnulib's list Akim Demaille 2020-05-31 09:22:39 +02:00
  • 52ce2a008b build: check -Wmissing-prototypes Akim Demaille 2020-05-31 12:56:02 +02:00
  • bb311cfbed gnulib: update Akim Demaille 2020-05-31 12:48:40 +02:00
  • 518dc6ca26 style: make item_index a truly different type from item_number Akim Demaille 2020-05-25 07:34:11 +02:00
  • 6a1a681fd2 style: decouple different uses of item_number Vincent Imbimbo 2020-05-24 11:09:49 -04:00
  • dd878d1851 bison: add command line option to map file prefixes Joshua Watt 2020-05-23 20:26:17 -05:00
  • 6ed813c122 tests: fix expectations Akim Demaille 2020-05-24 15:16:15 +02:00
  • 1ec93ca2a2 cex: clean the display of conflicted symbols Akim Demaille 2020-05-23 18:17:57 +02:00
  • 12f4091de4 tests: show logs Akim Demaille 2020-05-23 13:46:00 +02:00
  • 8ece778cb8 c++: fix printing of state number on streams Akim Demaille 2020-05-23 17:41:40 +02:00
  • f32ba07f94 c++: fix printing of state number on streams Akim Demaille 2020-05-23 17:41:40 +02:00
  • 50cd3f16de cex: fix pruning crash Vincent Imbimbo 2020-05-23 11:20:46 -04:00
  • 37da3c4b42 regen Akim Demaille 2020-05-23 14:35:17 +02:00
  • 79bae4d6bb kinds: use the symbol kinds where applicable Akim Demaille 2020-05-23 14:32:33 +02:00
  • 23f7554188 kinds: also define the possibly qualified symbol kinds Akim Demaille 2020-05-23 13:18:59 +02:00
  • 3ff248ebfe m4: simplify useless quotation Akim Demaille 2020-05-23 15:29:42 +02:00
  • 4e1a5aae96 m4: use m4_shift2 etc. Akim Demaille 2020-05-23 14:58:12 +02:00
  • 8e70880af1 tests: show logs Akim Demaille 2020-05-23 13:46:00 +02:00
  • 3fea8fade8 style: spell fixes Akim Demaille 2020-05-23 11:11:45 +02:00
  • e7aff57122 style: rename user_token_number as code Akim Demaille 2020-05-22 20:12:03 +02:00
  • 339d11badf Merge maint into master Akim Demaille 2020-05-22 20:35:13 +02:00
  • 99260caef9 cex: replace state-item data structures Vincent Imbimbo 2020-05-21 22:13:17 -04:00
  • c19af5cbb4 cex: fix bad reference counting Vincent Imbimbo 2020-05-21 22:13:16 -04:00
  • b54181ff9b cex: fix miscellaneous leaks Vincent Imbimbo 2020-05-21 22:13:15 -04:00
  • 86c45be582 cex: fix counterexample leak Vincent Imbimbo 2020-05-21 22:13:14 -04:00
  • b5e0351c3e cex: fix lssi leaks Vincent Imbimbo 2020-05-21 22:13:13 -04:00
  • 150b2318ed cex: fix parse state leaks Vincent Imbimbo 2020-05-21 22:13:12 -04:00
  • 35c4a8e65e cex: derivation reference counting Vincent Imbimbo 2020-05-21 22:13:11 -04:00
  • fc39ccab6b cex: style changes in parse-simulation Akim Demaille 2020-05-18 08:00:37 +02:00
  • 9a33fb9317 cex: style: prefer res for returned value Akim Demaille 2020-05-17 17:47:21 +02:00
  • 866bc6a49f cex: fix memory leaks when there are conflicts Akim Demaille 2020-05-17 17:49:52 +02:00
  • e8619330e8 cex: be sure to always reclaim memory put in hashes Akim Demaille 2020-05-17 17:22:29 +02:00
  • 193dc86965 cex: properly reclaim hash's allocated memory Akim Demaille 2020-05-17 16:41:51 +02:00
  • 51fa2ab0a2 cex: avoid gratuitous heap allocations Akim Demaille 2020-05-17 16:28:08 +02:00
  • 2d8c3edbf8 cex: fix leaks Vincent Imbimbo 2020-05-17 09:59:39 -04:00
  • 4590071287 style: use hash_xinsert Akim Demaille 2020-05-17 12:00:02 +02:00
  • ac3b6c18a5 cex: style changes in state-item Akim Demaille 2020-05-16 15:10:35 +02:00
  • f3ef847539 cex: stylistic changes Akim Demaille 2020-05-16 11:04:03 +02:00
  • 16f2353723 cex: avoid uninitialized variables Akim Demaille 2020-05-16 10:27:32 +02:00
  • da5317cc9d cex: isolate missing API from gl_list Akim Demaille 2020-05-16 10:41:06 +02:00
  • e0cb91a922 cex: tests: be robust to variations in time limit reports Akim Demaille 2020-05-17 09:57:12 +02:00
  • 482b370540 cex: fix stack overflow Vincent Imbimbo 2020-05-16 14:51:44 -04:00
  • 66283fb625 cex: fix crash from zombie result Vincent Imbimbo 2020-05-16 11:32:29 -04:00
  • 93c849ef0d cex: fixes, and enable tests Akim Demaille 2020-05-13 18:38:09 +02:00
  • 6279945003 cex: fix a crash Akim Demaille 2020-05-16 15:21:59 +02:00
  • dcb6c972a2 cex: add tests Vincent Imbimbo 2020-05-12 22:01:39 -04:00
  • af0441cfd2 cex: bind counterexample generation Vincent Imbimbo 2020-05-12 22:01:08 -04:00
  • bbb63b1ca9 cex: introduce counterexample search Vincent Imbimbo 2020-05-12 21:59:57 -04:00
  • ac54d19eba cex: introduce the parse simulator Vincent Imbimbo 2020-05-12 21:42:45 -04:00
  • 5807dd9279 cex: add support for state-item pair graph generation Vincent Imbimbo 2020-05-12 18:10:43 -04:00
  • 94bfdf3b4b cex: add gnulib dependencies Akim Demaille 2020-05-13 07:31:31 +02:00
  • f80890c4bb fix generated comments Akim Demaille 2020-05-21 17:23:21 +02:00
  • 1ebc2ac55c traces: provide a means to get short m4 traces Akim Demaille 2020-05-21 18:02:17 +02:00
  • 94952779b6 traces: show the full m4 invocation Akim Demaille 2020-05-21 17:38:17 +02:00
  • ed7d5c2b5b src: make path to m4 relocatable Thomas Petazzoni 2020-05-19 22:05:22 +02:00
  • 1ce02e13c3 CI: fix PPC recipe Akim Demaille 2020-05-17 11:01:03 +02:00
  • 8ef0b12eb7 Merge branch 'maint' Akim Demaille 2020-05-17 09:16:51 +02:00
  • e6d83116ae c: more fixes for _Noreturn Akim Demaille 2020-05-16 18:26:34 +02:00
  • 4d9fa28ba8 maint: post-release administrivia Akim Demaille 2020-05-17 08:55:47 +02:00