Clafer Tools get new and improved integration with Sublime Text 2/3 (release 0.3.9), providing the following features:
- Syntax highlighting of keywords, operators, comments, and integer and string literals
- including the behavioral Clafer extension
- Compilation
<CTRL>+b
- Instance generation (with simple scope inference) using
- Alloy-based instance generator
<CTRL>+i, g, a
- Choco-based instance generator
<CTRL>+i, g, c
- Z3 SMT-based instance generator
<CTRL>+i, g, s
- Alloy-based instance generator
- Clafer binaries are now in a separate folder
Packages/Clafer-Bin
, so that they are not removed with every update of the Clafer Tools Sublime package.
No comments:
Post a Comment
Note: Only a member of this blog may post a comment.