search

git-afsantos / haros

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

misc improvements and fixes #37

Closed ipa-mirb closed 4 years ago

ipa-mirb commented 5 years ago

this PR depends on this one for bonsai: https://github.com/git-afsantos/bonsai/pull/11

git-afsantos commented 5 years ago

@ipa-mirb not sure if you received a notification for the comments above.