README.md

July 31, 2016 ยท View on GitHub

#Promela language support in Atom Build Status

Feature

  • keyword: run, atomic, byte, do-od, if-fi and active

Reference

based on language-c