4 Commits

Author	SHA1	Message	Date
Pietro Fezzardi	186b2d9a07	Rename isReturn method to isPartOfFinalResults	2019-03-06 09:04:58 +01:00
Pietro Fezzardi	4996a06517	MonotoneFramework: remove method extremalLabels ... This method was unused.	2019-03-06 09:04:58 +01:00
Alessandro Di Federico	f305541d5e	Introduce MonotoneFramework::handleEdge ... In a `MonotoneFramework` it is sometimes necessary to change the information propagated on a branch w.r.t. another branch. This commit introduces the `handleEdge` function that allows `MonotoneFramework` implementors to modify the `LatticeElement` produced by `transfer`.	2018-10-16 16:52:24 +02:00
Alessandro Di Federico	e80b05a48e	Move MonotoneFramework.h to libSupport ... `MonotoneFramework.h` has been moved into `include/revng/Support` so that it can be employed by components outside `libStackAnalysis`.	2018-10-16 16:25:29 +02:00