[PATCH 0/7] Fixing all cex leaks

[Vincent Imbimbo]

Hey Akim,
I think I got all of them. I ended up implementing some of the stuff we 
discussed to fix these.
The state-item graph edges are now kept in the structs. I also added typedefs / 
API for derivation_list and parse_state_list.

Vincent Imbimbo (7):
  cex: dervation reference counting
  cex: fix parse state leaks
  cex: fix lssi leaks
  cex: fix counterexample leak
  cex: fix miscellaneous leaks
  cex: fix bad reference counting
  cex: replace state-item data structures

 src/conflicts.c        |   1 +
 src/counterexample.c   | 150 +++++++++++++-------------
 src/derivation.c       |  71 +++++++++++--
 src/derivation.h       |  26 +++--
 src/lssi.c             |  28 ++---
 src/parse-simulation.c | 234 +++++++++++++++++++++++------------------
 src/parse-simulation.h |  14 +--
 src/state-item.c       |  67 ++++++------
 src/state-item.h       |  21 ++--
 9 files changed, 350 insertions(+), 262 deletions(-)

-- 
2.20.1 (Apple Git-117)