1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
|
2025-03-07
* Version bump (4.3). (#604)
2025-01-07
* Version bump (4.2). (#577)
* Remove uses of Copilot.Core.Expr.UExpr.uExprType. (#565)
* Allow using same trigger name in multiple declarations. (#296)
* Bump upper version constraint on filepath. (#570)
2024-11-07
* Version bump (4.1). (#561)
* Standardize changelog format. (#550)
2024-09-07
* Version bump (4.0). (#532)
* Add support for array updates. (#36)
2024-07-07
* Version bump (3.20). (#522)
* Add support for struct field updates. (#520)
2024-05-07
* Version bump (3.19.1). (#512)
2024-03-07
* Version bump (3.19). (#504)
2024-01-07
* Version bump (3.18.1). (#493)
2024-01-07
* Version bump (3.18). (#487)
* Change return type of main generated for tests. (#468)
* Print constants in tests using portable suffixes. (#471)
* Pass output arrays as arguments to trigger argument functions. (#431)
* Compliance with MISRA C 2023 / MISRA C 2012. (#472)
2023-11-07
* Version bump (3.17). (#466)
* Replace uses of deprecated functions. (#457)
2023-09-07
* Version bump (3.16.1). (#455)
* Clean code. (#453)
2023-07-07
* Version bump (3.16). (#448)
* Introduce testing infrastructure. (#413)
2023-05-07
* Version bump (3.15). (#438)
2023-03-07
* Version bump (3.14). (#422)
2023-01-07
* Version bump (3.13). (#406)
* Declare local array variables in generated guards as pointers. (#401)
* Use pointer to pass output array as argument to generators. (#386)
2022-11-07
* Version bump (3.12). (#389)
* Removed deprecated flag from cabal file. (#380)
* Generate type declarations in separate header file. (#373)
2022-09-07
* Version bump (3.11). (#376)
* Update to support language-c99-0.2.0. (#371)
* Fix error handling buffers in generated code for 'step'. (#314)
2022-07-07
* Version bump (3.10). (#356)
* Remove unnecessary dependencies from Cabal package. (#323)
* Remove duplicated compiler option. (#328)
* Pass structs by reference, not value, in handlers. (#305)
* Relax version bounds of dependencies. (#335)
* Update repo info in cabal file. (#333)
2022-05-06
* Version bump (3.9). (#320)
* Compliance with style guide (partial). (#316)
* Translate math operations taking type into account. (#263)
* Fix issue with delays of streams of structs or arrays. (#276)
* Fix issue in C99 implementation of signum. (#278)
2022-03-07
* Version bump (3.8). (#298)
* Hide internal modules deprecated in Copilot 3.5. (#289)
* Mark package as uncurated to avoid modification. (#288)
2022-01-07
* Version bump (3.7). (#287)
* Guard against empty specs. (#274)
* Make typetypes respect dependency order. (#275)
2021-11-07
* Version bump (3.6). (#264)
* Introduce new ops atan2, ceiling, floor. (#246)
* Allow customizing output directory. (#255)
* Fix outdated/broken links. (#252)
2021-08-19
* Version bump (3.5). (#247)
* Update travis domain in README. (#222)
* Remove second element of pair FunEnv. (#170)
* Allow customizing name of step function. (#64)
* Update official maintainer. (#236)
* Deprecate internal modules. (#237, #242)
* Update source repo location. (#241)
* Fix out-of-bounds array access. (#238)
* Add I. Perez to author list. (#243)
2021-07-07
* Version bump (3.4). (#231)
* Remove broken test. (#232)
2021-05-07
* Version bump (3.3). (#217)
* Fix URL in bug-reports field in cabal file. (#215)
* Remove unaccessible code. (#169)
2021-03-07
* Version bump (3.2.1). (#167)
* Completed the documentation. (#171)
2020-12-06
* Version bump (3.2). (#65)
* Implemented arrays in test driver. (#176)
* Fixed nested array initialisation bug. (#173)
* Fixed length of buffer allocation for n-dimensional arrays. (#174)
* Fixed printing of long ints in test suite. (#177)
* Fixed printing of unsigned ints in test suite. (#177)
* Fixed '-Wsequence-point' warnings from GCC. (#179)
* Split Property.hs. (#180)
* Removed 'Test' from module paths. (#181)
* Made compiletest take compiler options as an argument. (#182)
* Fixed problem with property and empty string in driver CSV. (#183)
* Added comma to output of driver to match the interpreter. (#184)
* Implemented basic quickcheck based testing. (#185)
2020-03-30
* Version bump (3.1.2). (#187)
* Fixed bug where stream buffers are updated too soon. (#188)
* Updated description of cabal package. (#192)
2019-12-23
* Version bump (3.1.1). (#191)
* Fixed bug with constant structs and arrays. (#200)
2019-11-22
* Version bump (3.1). (#46)
* Remove ExternFun. (#207)
* Fix bug in code generation for local expression. (#198)
* Implement code generation for labels (trivially). (#199)
|
