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)
