CHANGELOG.md 1.34 KB
Newer Older
Sebastian Biewer's avatar
Sebastian Biewer committed
1
2
# Change Log for PseuCo to CCS Compiler

3
4
5
6
7
8
## 0.8.12 - 2021-01-11

### Fixed

- In the `when` guard of the array index out of bounds check the size of the array was represented as a string. E.g., the condition was `when (index>="5"||index<0)` instead of `when (index>=5||index<0)`.

Sebastian Biewer's avatar
Sebastian Biewer committed
9
10
11
12
13
14
15
## 0.8.11 - 2021-01-26

### Added

- Support for `assert` (beta).

## 0.8.10 - 2020-06-09
Sebastian Biewer's avatar
Sebastian Biewer committed
16
17
18
19
20

### Fixed

- Send expressions with unbuffered channels could not be used as RHS expression of assignments. The container holding the sent value was not protected during transition to the followup process.

Sebastian Biewer's avatar
Sebastian Biewer committed
21
## 0.8.9 - 2019-05-31
Sebastian Biewer's avatar
Sebastian Biewer committed
22
23
24
25
26

### Fixed

- Struct and Monitor constructors executed initialization operations concurrently to the agent constructing the object

Sebastian Biewer's avatar
Sebastian Biewer committed
27
## 0.8.8 - 2019-05-16
28
29
30
31
32
33

### Changed

- Reduced internal interleavings caused by sharing free "pointers" among array constructors of different capacities
- Reduced internal interleavings caused by sharing free "Pointers" among buffered channel constructors of different capacities

Sebastian Biewer's avatar
Sebastian Biewer committed
34
## 0.8.7 - 2019-05-15
Sebastian Biewer's avatar
Sebastian Biewer committed
35
36
37
38

### Added

- This change log file
Sebastian Biewer's avatar
Sebastian Biewer committed
39
- New build mode "dev-build", which is compatible with using "npm link" in packages requiring this package
Sebastian Biewer's avatar
Sebastian Biewer committed
40
41
42

### Fixed

Sebastian Biewer's avatar
Sebastian Biewer committed
43
- Error message when package is installed within another package
Sebastian Biewer's avatar
Sebastian Biewer committed
44

Sebastian Biewer's avatar
Sebastian Biewer committed
45
46
47
48
49
50
51
52
53
54
## 0.8.6 - 2019-05-15

### Added

- Test cases (not passing yet)

### Fixed

- Arrays of structs could not be initialised