Add syntax highlighting to ACSL (ANSI/ISO C Specification language) language in C comments starting with /*@
This package does not actually implement ACSL's full grammar, only simple keywords and punctuation to help syntax highlighting.
- Add snipets
- Add settings to ease indent
As I am not working on the project anymore, if anyone want, do not hesitate to fork the project and work on your own.