Andrea Gussoni dd772f5f5f Enhance findReachableNodes algorithm ...

Enhanced the `findReachableNodes` algorithm, with a new `StackSet`
parallel data structure which is used to quickly check if we are
encountering a node already on the visit stack.

Modified the `findReachableNodes` to include in the returned set of
nodes also nodes which are encountered on self loop paths and that
should consequently be included in this set.

2019-05-24 18:35:52 +02:00

..

revng-c

Enhance findReachableNodes algorithm

2019-05-24 18:35:52 +02:00

CMakeLists.txt

Reorganize the build system

2019-02-10 16:20:24 +01:00