Akim Demaille
d7f7fcd9c7
dot: also use a dot in the output
* src/print-graph.c (print_core): Use a dot instead of a point.
* doc/figs/example-reduce.gv, doc/figs/example-reduce.txt,
* doc/figs/example-shift.gv, doc/figs/example-shift.txt,
* doc/figs/example.gv: Update.
* tests/output.at, tests/report.at: Adjust.
2020-07-03 06:51:57 +02:00
..
2019-02-21 06:46:07 +01:00
2020-06-16 08:14:42 +02:00
2020-06-16 07:58:40 +02:00
2020-01-10 19:16:23 +01:00
2020-06-29 06:45:44 +02:00
2020-06-16 08:14:42 +02:00
2020-06-23 06:56:04 +02:00
2020-06-23 06:56:04 +02:00
2020-01-10 19:16:23 +01:00
2020-06-23 06:56:04 +02:00
2020-06-16 07:30:46 +02:00
2020-06-10 09:51:39 +02:00
2020-04-28 07:54:07 +02:00
2020-06-27 10:06:00 +02:00
2020-06-28 09:49:00 +02:00
2020-05-02 09:27:16 +02:00
2020-01-10 19:16:23 +01:00
2020-06-16 07:30:46 +02:00
2020-05-22 07:52:27 +02:00
2020-05-21 20:14:59 +02:00
2020-02-15 08:28:40 +01:00
2020-07-03 06:51:57 +02:00
2020-01-10 19:16:23 +01:00
2020-06-10 09:51:39 +02:00
2020-06-13 16:56:40 +02:00
2020-07-03 06:51:57 +02:00
2020-04-13 16:49:54 +02:00
2020-06-27 11:39:32 +02:00
2020-04-12 13:56:44 +02:00
2020-01-10 19:16:23 +01:00
2020-05-22 07:52:27 +02:00
2019-11-03 10:32:22 +01:00
2020-03-04 08:24:36 +01:00
2020-05-23 08:43:58 +02:00