s-falke/llvm2kittel — pull request #11 by jeroenk (2014-04-20 21:05:29+00:00)
Title: Use Klee's reference counting for garbage collection of IntTRSs

IntTRSs are DAGs. Hence, we can apply reference counting garbage collection to them without any problems. Of course, this does create a little overhead both for the counting and for free'ing.

My apologies for the size of the patch. I refrained from making any functional changes, except in Constraint, where in the case of some of the methods a reference is returned instead of a new identical object being created.