Skip to content

Releases: ProVerif/vscode-proverif-language-service

v1.8.14

31 Jan 14:51

Choose a tag to compare

Bump dependencies

v1.8.13

05 Aug 09:13

Choose a tag to compare

Fix crash on empty option structures in reduc.

v1.8.12

22 Jul 12:57

Choose a tag to compare

Updated dependencies.

v1.8.11

15 Jun 12:07

Choose a tag to compare

Update dependencies.

v1.8.10

18 May 13:45

Choose a tag to compare

Support more permissible grammar around dots and semicolons.

v1.8.9

01 May 10:18

Choose a tag to compare

Fix crash in *.pvl files with incomplete destructors.

v1.8.8

09 Apr 14:42

Choose a tag to compare

Introduce .test.pv files with syntax coloring (experimental, subject to radical changes or removal).
In .pv.log files, improve syntax coloring of lemmas, axioms and restrictions.
In .pv.log files, improve syntax coloring of counters.

v1.8.7

27 Feb 08:01

Choose a tag to compare

In .pv.log files, improve syntax coloring of equalities.
In .pv.log files, improve detection of error results.

v1.8.6

17 Feb 10:53

Choose a tag to compare

In .pv.log, fix navigation to attack trace step.

v1.8.5

04 Feb 12:11

Choose a tag to compare

Improve variable scoping, notably of lemma parameters.