Skip to content

correct initialization and TStreamer packing for bmn tasks; proof support

Konstantin Gertsenberger requested to merge init_packing_proof into dev

correct initialization and TStreamer packing for bmn tasks from Aleksey Myasnikov (SPBU); proof support added

Merge request reports