pipeline -> write specs -> sim smart/from specs #50

Closed leofried closed 1 year ago