HPL implementation for HAROS

git-afsantos / haros

H(igh) A(ssurance) ROS - Static analysis of ROS application code.

MIT License

190 stars 37 forks source link

HPL implementation for HAROS #85

Closed git-afsantos closed 3 years ago

git-afsantos commented 5 years ago

Added the basic language parser and AST to HAROS. Also changed a few things here and there, to support the specification of HPL properties in YAML project files, along with node and configuration architecture specifications.