3 Commits

Include renames

Author	SHA1	Message	Date
peter	b578571fb7	dfa too complex tests: ensure variables are alive all the time	2014-09-21 14:05:50 +02:00
peter	8bca4a68df	dfa: combine merge by equality and type into a generic relation-based merge ... this improves dfa performance and fixes cases when a single global != relation would prevent states from merging	2013-12-18 10:42:48 +01:00
peter	2486e9e229	dfa: merge several states to account for variables with several possible values	2013-09-22 09:58:42 +02:00