Add Mopsa checks JSON output for dashboard#1838

Merged

sim642 merged 48 commits intogoblint:masterfrom

Robotechnic:checks

Dec 12, 2025

Commits on Jun 26, 2025

Merge branch 'master' of https://github.com/goblint/analyzer
Robotechnic
committed
added a check module to get a custom output for the dashboard
Robotechnic
committed

Commits on Jun 27, 2025

exposed the root_with_current function for timing purposes
Robotechnic
committed

Commits on Jun 30, 2025

Commits on Jul 1, 2025

fixed invalid success checks
Robotechnic
committed

Commits on Jul 9, 2025

fixed overflow detection
Robotechnic
committed

Commits on Jul 19, 2025

fixed an anoying message with ranges hash in checks
Robotechnic
committed

Commits on Jul 25, 2025

Commits on Jul 29, 2025

Commits on Jul 30, 2025

Commits on Jul 31, 2025

Commits on Aug 1, 2025

Merge branch 'master' of https://github.com/goblint/analyzer into checks
Robotechnic
committed

Commits on Oct 14, 2025

Merge branch 'master' of https://github.com/goblint/analyzer into checks
Robotechnic
committed

Commits on Oct 20, 2025

quoted the paper from which the check.ml file is inspired
Robotechnic
committed

Commits on Dec 3, 2025

Commits on Dec 9, 2025