File tree Expand file tree Collapse file tree 1 file changed +3
-2
lines changed
Expand file tree Collapse file tree 1 file changed +3
-2
lines changed Original file line number Diff line number Diff line change @@ -10,9 +10,10 @@ All notable changes to this project will be docmented in this file.
1010
1111### Changed
1212
13- - Finished implementation of rdcss;
13+ - Upgraded [Array interface](test/arrays/array.rav) from an interface to a module.
14+ - Finished implementation of [rdcss](test/ext_prophecy/rdcss.rav)
1415- Added expr_ext_rewrite_types, stmt_ext_rewrite_types to ExtAPI.
15- - Added parser support for auCommit resources; enable 'helping'
16+ - Added parser support for auCommit resources; enable 'helping'.
1617- Expanded definition of "word-sized" types to more flexible types such as algebraic sums of base types.
1718- Overhauled extensions to follow namespace-style convention.
1819- Added support for helping by allowing auPred resources to refer to another proc; overhauling parser, type-checking and rewriting.
You can’t perform that action at this time.
0 commit comments