spot/spot/graph
Alexandre Duret-Lutz 06b1ecb50b work around spurious GCC 13 warnings
* spot/graph/graph.hh (new_univ_dests): Add an overload taking
a temporary vector.
* spot/twa/twagraph.cc (defrag_states): Use it.
* tests/core/parity.cc: Remove some temporary variables.
2023-07-26 16:19:23 +02:00
..
graph.hh work around spurious GCC 13 warnings 2023-07-26 16:19:23 +02:00
Makefile.am include config.h in all *.cc files 2018-02-21 17:59:09 +01:00
ngraph.hh graph: replace the existing "alternating" interface 2016-12-27 12:36:38 +01:00