CHANGELOG.md 1.84 KB
Newer Older
Nadim Kobeissi's avatar
Nadim Kobeissi committed
1
<!---
Nadim Kobeissi's avatar
Nadim Kobeissi committed
2
# SPDX-FileCopyrightText: © 2019-2021 Nadim Kobeissi <nadim@symbolic.software>
Nadim Kobeissi's avatar
Nadim Kobeissi committed
3
4
5
6
7
# SPDX-License-Identifier: CC-BY-SA-4.0
-->

# Change Log

Nadim Kobeissi's avatar
Nadim Kobeissi committed
8
9
10
11
## 1.0.9

- Add support for `equivalence` queries.

12
## 1.0.8
Nadim Kobeissi's avatar
Nadim Kobeissi committed
13

14
15
- Fix a typo.

Nadim Kobeissi's avatar
Nadim Kobeissi committed
16
## 1.0.7
Nadim Kobeissi's avatar
Nadim Kobeissi committed
17

Nadim Kobeissi's avatar
Nadim Kobeissi committed
18
19
- Add support for the new `BLIND` and `UNBLIND` primitives.

20
## 1.0.6
Nadim Kobeissi's avatar
Nadim Kobeissi committed
21

22
23
- Fix diagrams being hard to read with certain VSCode themes.

24
## 1.0.5
Nadim Kobeissi's avatar
Nadim Kobeissi committed
25

26
27
- Diagrams now display properly in Visual Studio Code editors using dark themes.

28
## 1.0.4
Nadim Kobeissi's avatar
Nadim Kobeissi committed
29

30
31
- Correctly handle errors when user attempts to analyze or visualize an invalid model (due to syntax errors or similar).

32
## 1.0.3
Nadim Kobeissi's avatar
Nadim Kobeissi committed
33

34
35
- Fixed a typo.

36
## 1.0.2
Nadim Kobeissi's avatar
Nadim Kobeissi committed
37

38
39
40
- Fix a bug that prevented diagram visualizations for working on Windows.
- Removed a message that incessantly kept popping up asking the user to set `verifpal.path`.

41
## 1.0.1
Nadim Kobeissi's avatar
Nadim Kobeissi committed
42

43
44
45
- Move beyond deprecated VSCode extension APIs.
- Improve documentation.

Nadim Kobeissi's avatar
Nadim Kobeissi committed
46
## 1.0.0
Nadim Kobeissi's avatar
Nadim Kobeissi committed
47

Nadim Kobeissi's avatar
Nadim Kobeissi committed
48
49
50
51
52
53
- Add live analysis support (requires Verifpal 0.13.0 or higher).
- Add formatting support (requires Verifpal 0.13.0 or higher).
- Add hover information support (requires Verifpal 0.13.0 or higher).
- Add value peeking (requires Verifpal 0.13.0 or higher).
- Add diagram generation support (requires Verifpal 0.13.0 or higher).

Nadim Kobeissi's avatar
Nadim Kobeissi committed
54
## 0.0.12
Nadim Kobeissi's avatar
Nadim Kobeissi committed
55

Nadim Kobeissi's avatar
Nadim Kobeissi committed
56
57
58
- Add `freshness` and `unlinkability` query keywords.

## 0.0.11
Nadim Kobeissi's avatar
Nadim Kobeissi committed
59

Nadim Kobeissi's avatar
Nadim Kobeissi committed
60
61
62
- `SPLIT` keyword incorrectly added as `JOIN`.

## 0.0.10
Nadim Kobeissi's avatar
Nadim Kobeissi committed
63

Nadim Kobeissi's avatar
Nadim Kobeissi committed
64
65
66
- Add `CONCAT` and `JOIN` keywords.

## 0.0.9
Nadim Kobeissi's avatar
Nadim Kobeissi committed
67

Nadim Kobeissi's avatar
Nadim Kobeissi committed
68
69
70
- Add `RINGSIGN` and `RINGSIGNVERIF` keywords.

## 0.0.8
Nadim Kobeissi's avatar
Nadim Kobeissi committed
71

Nadim Kobeissi's avatar
Nadim Kobeissi committed
72
73
74
- Add `leaks` declaration keyword.

## 0.0.7
Nadim Kobeissi's avatar
Nadim Kobeissi committed
75

Nadim Kobeissi's avatar
Nadim Kobeissi committed
76
77
78
- Add `phase` block keyword.

## 0.0.6
Nadim Kobeissi's avatar
Nadim Kobeissi committed
79

Nadim Kobeissi's avatar
Nadim Kobeissi committed
80
81
82
- Added `PW_HASH` and `password` keywords.

## 0.0.5
Nadim Kobeissi's avatar
Nadim Kobeissi committed
83

Nadim Kobeissi's avatar
Nadim Kobeissi committed
84
85
86
- Added `SHAMIR_SPLIT` and `SHAMIR_JOIN` keywords.

## 0.0.4
Nadim Kobeissi's avatar
Nadim Kobeissi committed
87

Nadim Kobeissi's avatar
Nadim Kobeissi committed
88
89
90
- Added `PKE_ENC` and `PKE_DEC` keywords.

## 0.0.3
Nadim Kobeissi's avatar
Nadim Kobeissi committed
91

Nadim Kobeissi's avatar
Nadim Kobeissi committed
92
93
94
- Added `nil` and `_` keywords.

## 0.0.2
Nadim Kobeissi's avatar
Nadim Kobeissi committed
95

Nadim Kobeissi's avatar
Nadim Kobeissi committed
96
97
98
- Updated syntax highlighting to match the renaming of `HMACVERIF` to `ASSERT` and `HMAC` to `MAC`.

## 0.0.1
Nadim Kobeissi's avatar
Nadim Kobeissi committed
99

Nadim Kobeissi's avatar
Nadim Kobeissi committed
100
- Initial release.