Johan Forsberg pushed to project branch main at Johan Forsberg / Boogie

Johan Forsberg
2026-02-08T14:43:58Z

Johan Forsberg (e913c38e) at 08 Feb 14:43

Various optimizations, minor fixes and improvements

... and 17 more commits