epfl-lara / inox

Solver for higher-order functional programs, used by Stainless
Apache License 2.0
88 stars 20 forks source link

Use a map of incoming and outgoing edges to avoid repeated traversal #200

Closed mario-bucev closed 1 year ago

mario-bucev commented 1 year ago

This should result in improved performances for DependencyGraph#dependencies which is often requested.