forked from tomahawkins/atom
-
Notifications
You must be signed in to change notification settings - Fork 0
/
RELEASE-NOTES
121 lines (84 loc) · 4.04 KB
/
RELEASE-NOTES
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
atom 1.0.9 03/11/2011
- Better hardware clock support, for ensuring exact real-time behavior of the
phases.
- Implemented a map structure for sharing between Atom expressions to improve
the performance of the compiler (see UeMap.hs).
atom 1.0.7 09/25/2010
- Support for using a HW clock to control the duration of phases.
atom 1.0.6 09/20/2010
- Support for math.h expressions
atom 1.0.5 09/20/2010
- Deriving Enum for Type
atom 1.0.4 05/23/2010
- Added 'exactPhase'. (Lee Pike)
atom 1.0.3 04/19/2010
- Reduced line length in C code generation.
atom 1.0.2 04/13/2010
- Fixed linear bug.
atom 1.0.1 03/17/2010
- Fixed debounce bug.
- Fixed Unit -I bug, change state name to test name.
atom 1.0.0 02/13/2010
- Set C99 types (stdbool.h, stdint.h). Removed cType from code configuration.
- Removed (void) argument in generated functions.
- Moved variables and arrays into a single hierarchical structure to provide direct access to Atom state variables from C code.
- Pulled var' and friends (bool', word8', int64', etc.) out of the Atom monad.
- Pulled Unit.random out of the Atom monad.
- Unit.runTests returns exit codes 1 for YELLOW light and 2 for RED LIGHT.
- Added cStateName code configuration for naming state structure. Defaults to "state".
- Generates header file to declare primary function and state structure.
atom 0.1.4 12/16/2009
- Added 'call' function.
- Bug fix to float and double variable initialization.
- Moved Language.Atom.Verification to new project: afv.
atom 0.1.3 12/03/2009
- Added linear lookup (Common).
- Assertions and coverage points are checked between the execution of every rule, not just once per cycle.
- Removed cCover code configuration. Assertions and coverage are enabled by cAssert.
atom 0.1.2 11/25/2009
- Added div0_ and mod0_ functions, that instrument runtime checks for divide-by-zero (Lee Pike).
- Added a phase function that specifies the earliest phase into a period a rule should execute (Lee Pike).
- New scheduling algorithm to balance when rules fire across the period.
- Added support for Bits.rotate.
- Added check for empty design.
atom 0.1.1 09/29/2009
- Added ULL C constant annotations for rule scheduling.
- Created new Schedule type.
- compile returns schedule and coverage information.
- reportSchedule function to report scheduling information.
- Replaced global 64-bit clock used in scheduling with local clocks.
- Created unit testing framework.
- Added startTimerIf.
- Added exernal arrays (array').
- Replaced global memory arrays with individual variables.
atom 0.1.0 07/31/2009
- Quieted compilation messages.
- Added config to disable rule coverage instrumentation.
- Added assert and cover statements.
- Added imply to expressions.
- Removed "int" for standard C types.
- Added L, UL, LL, and ULL C constant annotations for 32 and 64 bit integral types.
atom 0.0.5 06/03/2009
- Fixed GHC seg fault issue related to Prelude.negate.
- C config types for float and double casts (John Van Enk).
- Improvements to docs, atom.cabal, and suggestions from hlint (Brian Lewis).
atom 0.0.4 05/19/2009
- Made local variables static in generated C.
- Added checking for duplicate probe names.
- Added hierarchical expression count report.
- Removed dot graph for rule-variable relationships.
- Added support for arrays. See array, (!), and (!.).
WARNING: No checks for index out of bounds or overlapping assignments.
atom 0.0.3 05/05/2009
- Set build-depends: process >= 1.0.1.1 for readProcess
- Traded e<n> variable names for __<n> in generated C code.
- Made Atom a monad. Removed use of Control.Monad.State.
- Added Config type to configure C code generation.
atom 0.0.2 04/26/2009
- Disabled Yices bounded model checking. Removed search depth compile argument.
- Removed include, preCode, and postCode compile arguments.
- Added external variable declations (bool', word32', etc). Removed Cust expressions.
- Generates dot file to display rule-variable relationships.
- Added hooks for rule execution coverage.
atom 0.0.1 04/22/2009
- Initial cabal release.