Mentions légales du service

Skip to content

Prepare for new LRijkstra

BOUR Frederic requested to merge fbour/menhir:clean-ijkstra-preparation into faster-reachability

A few independent patches that add routines or code adjustments to prepare for the introduction of the main algorithm. None of these patches should change Menhir behavior. (The intent is to ease reviewing by pushing independent, general purpose changes before).

Merge request reports