FM'26 Tutorial#2012

Merged

michael-schwarz merged 19 commits into

May 21, 2026

Commits on May 20, 2026

Simplified Interface

michael-schwarz
authored and
sim642
committed
Provide interface to register simplified analysis

michael-schwarz
authored and
sim642
committed
Progress on analysis

authored and
sim642
committed
Progress

michael-schwarz
authored and
sim642
committed
Move devcontainer setup into Dockerfile for prebuilding
sim642
committed
Inline make dev into devcontainer
sim642
committed
Remove unused opens in assert analysis
sim642
committed
Remove unused interval_to_bool in IntervalSetDomain
sim642
committed
Remove unused opens from SimplifiedAnalysis
sim642
committed
Use prebuilt ghcr.io/goblint/analyzer-devcontainer:fm26-tutorial image for devcontainer
sim642
committed
Notes on TODOs

michael-schwarz
authored and
sim642
committed
Progress

michael-schwarz
authored and
sim642
committed
Complete tutorial

michael-schwarz
authored and
sim642
committed
Fixes in Dockerfile and devcontainer

arkocal
authored and
sim642
committed
fm-tutorial: Some improvements to the devcontainer

arkocal
authored and
sim642
committed
fm-tutorial: Handle existing _opam better

arkocal
authored and
sim642
committed
Install test dependencies in devcontainer
sim642
committed
Revert "Use prebuilt ghcr.io/goblint/analyzer-devcontainer:fm26-tutorial image for devcontainer"
sim642
committed
Merge branch 'master' into fm26-tutorial
sim642
committed