feat: add offline launch migration verifier - #1075

Draft

jaagut wants to merge 9 commits into

mainfrom

feature/launch-equivalence-verifier

Commits on Jul 8, 2026

git subrepo clone https://github.com/dfki-ric/better_launch.git src/lib/better_launch
Flova
committed
2ccdbeb
Migrate ROS2 launch files to better_launch

Flova
and
claude
committed
4b353bf

Commits on Jul 9, 2026

Merge main
Cornelius Krupp
committed
c769171
Various fixes, sim now works.
Cornelius Krupp
committed
b6cb795

Commits on Sep 11, 2026

chore: merge main into better_launch branch
jaagut
committed
9ef567b
chore: format better_launch launch files
jaagut
committed
b51da39

Commits on Sep 12, 2026

feat: add offline launch equivalence verifier
jaagut
committed
544f8b4
fix: abort launch verification when workers fail
jaagut
committed
35dcdec

Commits on Sep 17, 2026

feat: resume interrupted launch equivalence comparisons
jaagut
committed
3b7649e