hlpsl-autocomplete, snippets

This is a extension for auto-complete feature for HLPSL language from AVISPA and provide some snippets for more productivity

IMPORTANT

This extension is a fork from this repo: link and we add some other things for users who needs to write HLPSL codes

Snippets

write this snippets to have some pre-defined snippets for HLPSL programming.

• role: for defining role
• session: for defining a role similar to session
• env: for defining a role similar to environment
• goal: for defining goals for your AVISPA project

1.0.2

initial release

1.0.3

fix some bugs in snippets