Mentions légales du service

Skip to content

Prepare for new LRijkstra

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

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 purely cosmetic changes before).

Merge request reports