Commit Graph

5 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 ce4416d388 fix(python): critical bug fixes across Python wrapper 2026-03-01 21:35:19 -08:00
Miha Kralj 768123d056 minor 2026-02-28 16:05:11 -08:00
Miha Kralj 83e9511261 python wrapper 2026-02-28 14:14:35 -08:00