search

git-afsantos / haros

H(igh) A(ssurance) ROS - Static analysis of ROS application code.
MIT License
191 stars 37 forks source link

Removed HPL from HAROS repository #108

Closed git-afsantos closed 3 years ago

git-afsantos commented 3 years ago

Using the appropriate external libraries instead.