Commit Graph

3 Commits

Author SHA1 Message Date
Miha Kralj c23fbbd99f fix(frama): rewire Python export to use H/L arrays instead of single source 2026-03-02 15:56:12 -08:00
Miha Kralj fa77882be7 refactor: remove unused JMA power parameter from entire stack 2026-03-01 22:14:30 -08:00
Miha Kralj 83e9511261 python wrapper 2026-02-28 14:14:35 -08:00