~ubuntu-branches/ubuntu/jaunty/adacontrol/jaunty

« back to all changes in this revision

Viewing changes to HISTORY

  • Committer: Bazaar Package Importer
  • Author(s): Ludovic Brenta
  • Date: 2006-08-24 08:44:11 UTC
  • Revision ID: james.westby@ubuntu.com-20060824084411-1r15uio1h75lqgpx
Tags: upstream-1.4r20
ImportĀ upstreamĀ versionĀ 1.4r20

Show diffs side-by-side

added added

removed removed

Lines of Context:
 
1
=============
 
2
== V1.4r20 ==
 
3
=============
 
4
 
 
5
Bug fix and speed improvement in rule Local_Hiding.
 
6
 
 
7
=============
 
8
== V1.4r18 ==
 
9
=============
 
10
 
 
11
General:
 
12
--------
 
13
Interactive mode.
 
14
 
 
15
option "-f -" to read Standard_Input in non-interactive mode
 
16
 
 
17
New commands: go, clear, quit, set, output, help, inhibit
 
18
New rule type: count
 
19
 
 
20
Support for attributes, and syntax "all '<attr>"
 
21
 
 
22
Rule files no_standard_entity.aru, no_system_entity.aru and no_standard_unit.aru
 
23
 
 
24
Small improvements, bug fixes...
 
25
 
 
26
New rules:
 
27
----------
 
28
Declarations
 
29
Exception_Propagation
 
30
Naming_Convention
 
31
Real_Operators
 
32
Representation_Clauses
 
33
Side_Effect_Parameters
 
34
Simplifiable_Expressions
 
35
Specification_Objects
 
36
Statements
 
37
When_Others_Null
 
38
 
 
39
Changes to existing rules:
 
40
--------------------------
 
41
Non_Raising_Non_Reporting_Exception_Handler changed to Silent_Exceptions
 
42
Attributes removed (Attributes are now processed by Entities)
 
43
 
 
44
Support for litteral expressions in Parameter_Aliasing
 
45
 
 
46
Framework:
 
47
----------
 
48
Added procedure Command + Finalize to all rules.
 
49
Packages Framework.Plugs, Framework.Specific_Plugs
 
50
New naming scheme for tests
 
51
Improvements to the parameter parsing procedures
 
52
Changed the processing of strings ("...") in the scanner.
 
53
 
 
54
============
 
55
== V1.3r2 ==
 
56
============
 
57
 
 
58
Changed the name from AdaRC to AdaControl to avoid conflicts with RainCode's tool.
 
59
 
 
60
============
 
61
== V1.3r1 ==
 
62
============
 
63
 
 
64
First public release (as AdaRC)