@@ -6,67 +6,69 @@ The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/),
6
6
7
7
## Unreleased
8
8
9
+ ## 0.6.4
10
+
9
11
- Add effective contract type to invariant violation messages.
10
12
11
- ## [ 0.6.3] - 2022-03-13
13
+ ## 0.6.3
12
14
13
15
### Fixed
14
16
15
17
- improved hygiene around ` self ` parameters
16
18
- fix contract messages containing ` {} ` emitting warnings as they are interpreted as format strings
17
19
18
- ## [ 0.6.2] - 2021-07-21
20
+ ## 0.6.2
19
21
20
22
### Changed
21
23
22
24
- better handling of mutable borrows and lifetime relationships for functions with contracts
23
25
24
- ## [ 0.6.1] - 2021-07-13
26
+ ## 0.6.1
25
27
26
28
### Added
27
29
28
30
- support for ` impl Trait ` return types
29
31
30
- ## [ 0.6.0] - 2020-09-05
32
+ ## 0.6.0
31
33
32
34
### Changed
33
35
34
36
- ` pre ` is now ` requires `
35
37
- ` post ` is now ` ensures `
36
38
37
- ## [ 0.5.2] - 2020-09-05
39
+ ## 0.5.2
38
40
39
41
### Fixed
40
42
41
43
- Unused braces in function body generated code are removed
42
44
43
- ## [ 0.5.1] - 2020-08-06
45
+ ## 0.5.1
44
46
45
47
### Changed
46
48
47
49
- Trait methods now handle attributes better.
48
50
49
- ## [ 0.5.0] - 2020-08-06
51
+ ## 0.5.0
50
52
51
53
### Changed
52
54
53
55
- Implication operator is now ` -> ` .
54
56
55
- ## [ 0.4.0] - 2020-05-01
57
+ ## 0.4.0
56
58
57
59
### Added
58
60
59
61
- Added support for MIRAI assertions
60
62
- Added implication operator
61
63
62
- ## [ 0.3.0] - 2019-07-20
64
+ ## 0.3.0
63
65
64
66
### Added
65
67
66
68
- Pseudo-function ` old(expr) ` which in a post-condition evaluates the expression before function execution.
67
69
- Automatic generation of documentation containing all contracts.
68
70
69
- ## [ 0.2.2] - 2019-07-17
71
+ ## 0.2.2
70
72
71
73
### Fixed
72
74
@@ -76,19 +78,19 @@ The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/),
76
78
77
79
- internal handling of contracts is now done in a single proc-macro pass instead of one for each contract.
78
80
79
- ## [ 0.2.1] - 2019-06-07
81
+ ## 0.2.1
80
82
81
83
### Fixed
82
84
83
85
- Functions/methods with explicit return statements no longer skip ` post ` conditions
84
86
85
- ## [ 0.2.0] - 2014-04-12
87
+ ## 0.2.0
86
88
87
89
### Added
88
90
89
91
- ` contract_trait ` attribute to make all implementors of a trait respect contracts.
90
92
91
- ## [ 0.1.1] - 2019-04-08
93
+ ## 0.1.1
92
94
93
95
### Added
94
96
@@ -97,7 +99,7 @@ The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/),
97
99
- ` override_debug ` only checks contracts in debug configurations.
98
100
- ` override_log ` only prints using the ` log ` -crate interface.
99
101
100
- ## [ 0.1.0] - 2019-04-06
102
+ ## 0.1.0
101
103
102
104
### Added
103
105
0 commit comments