Cryptol VScode plugin

A Visual Studio Code plugin for Cryptol

Features

Cryptol language tools

• syntax highlighting for Cryptol and SAW
• Run in cryptol command (ctrl-shift-c)
• Run selection in Cryptol command (ctrl-shift-e)
• Get type in Cryptol command (ctrl-shift-t)

Requirements

• Running the cryptol repl requires that cryptol be on your system path

Known Issues

Release Notes

New features

• added snippet support

  SAW	Cryptol
  if	if
  list comprehension (lc)	list comprehension (lc)
  crucible_pre/post cond (cp)
  crucible_execute_func (cef)
  crucible_points_to (cpt)
  crucible_return (cr)
  saw spec template (spec/saw-spec)