admin/revng-revng
1
0
Fork 0
mirror of https://github.com/revng/revng synced 2026-06-21 14:07:57 +00:00
Code Issues Packages Projects Releases Wiki Activity
7,705 Commits 215 Branches 0 Tags
next-develop
Commit Graph

3 Commits

Author SHA1 Message Date
Andrea Gussoni d2db8d4cfa ControlFlowEdgesGraph: improve at method 
Improve the `at` method by giving it a coherent semantics with a
standard `at` map method semantics.
 2023-10-09 10:33:48 +02:00
Alessandro Di Federico 22b3da2a02 Remove {DataFlow,ControlFlowEdges}Graph::Base 2023-07-26 10:16:25 +02:00
Alessandro Di Federico a65ccc3413 Introduce ValueMaterializer 
`ValueMaterializer` is a rewrite of what was called `AdvancedValueInfo`
which follows the same principles.

The main benefits over the old version is:

* We materialize the data-flow graph and the CFG of the relevant part of
  root. This makes debugging significantly easier.
* We drop the old MonotoneFramework infrastructure in favor of
  getMaximalFixedPoint.
* We significantly reduce the amount of queries we make to
  AdvancedValueInfo.
 2023-06-30 13:39:22 +02:00