Skip to content
Find file Blame History Permalink
  • Alexandre Duret-Lutz's avatar
    twagraph: improve copy of kripke_graph · 013c879b
    Alexandre Duret-Lutz authored 
    Fix #505, Reported by Edmond Irani Liu.

* spot/twa/twagraph.cc (copy): Deal with kripke_graph in a better way.
* spot/twaalgos/hoa.cc: Do not force the use of named-states since
when the input is a kripke_graph.
* tests/python/kripke.py: Adjust test cases.
* NEWS: Mention the change.
* THANKS: Add Edmund.
    013c879b
To find the state of this project's repository at the time of any of these versions, check out the tags.