search

NeuralNetworkVerification / Marabou

Other
239 stars 86 forks source link

bump version v1.0.0 -> v2.0.0 #797

Closed wu-haoze closed 2 months ago

MatthewDaggitt commented 2 months ago

It might be good to write down the release procedure in the developer docs for the future?

wu-haoze commented 2 months ago

It might be good to write down the release procedure in the developer docs for the future?

Will do after getting the procedure to work.