5 Commits

Author	SHA1	Message	Date
Paul Eggert	b4582f1918	Update URLs to prefer https: to http: ... Also, fix a few http: URLs that were no longer working.	2021-01-29 13:48:43 -08:00
Akim Demaille	d7e8aaa271	package: bump copyrights to 2021 ... Run 'make update-copyright'.	2021-01-16 16:11:17 +01:00
Akim Demaille	cd099edf2d	cex: use better type names ... There are too many gl_list_t in there, it's hard to understand what is going on. Introduce and use more precise types. I sure can be wrong in some places, it's hard to tell without proper tool support. * src/counterexample.c, src/lssi.c, src/lssi.h, src/parse-simulation.c, * src/parse-simulation.h, src/state-item.c, src/state-item.h (si_bfs_node_list, search_state_list, ssb_list, lssi_list) (state_item_list): New.	2020-07-14 06:48:48 +02:00
Akim Demaille	3fea8fade8	style: spell fixes ... * Makefile.am (codespell): New. * doc/bison.texi: Fixes. Use @option for options. * src/lssi.c, src/lssi.h, src/parse-simulation.h, src/state-item.c: Fix spellos.	2020-05-23 11:19:27 +02:00
Vincent Imbimbo	5807dd9279	cex: add support for state-item pair graph generation ... * src/lssi.h, src/lssi.c, src/state-item.h, src/state-item.c: New.	2020-05-22 07:52:27 +02:00