Skip to content

Changes

#9 (Dec 21, 2022, 4:24:17 AM)

  1. Add SM2py command. — Alberto Debiasi / detail
  2. Remove unused acceleo deps. — Alberto Debiasi / detail
  3. Handle context in nuxmv/xsap operations. — Alberto Debiasi / detail