AFAIK cacao supports annotations. I asked twisti about this some time back. Debugging (JMVTI) and split verification is what it lacks. However I am working on the latter for my diploma thesis :)
Copyright © 2018, Eklektix, Inc.
Comments and public postings are copyrighted by their creators.
Linux is a registered trademark of Linus Torvalds