Activity for Jean-Pierre Rosen
-
Jean-Pierre Rosen committed [70707d]
Set version to 1.23b4
-
Simplifiable_expressions: fix case of not simple expression in range
-
Ptree: update header
-
Actual_Parameters: check calls to predefined operators
-
Actual_Parameters: check calls to predefined operators
-
Full_Name_Image: Fix name of predefined operators
-
Instantiations: "all =" as last parameter
-
Set version to 1.23b3
-
Forgotten update to adactl.gpr
-
Error "use" clause used for primitive operations
-
AdaControl is right, the use clause can be replaced by a "use all type" clause, as documented in the user's guide: "“primitive”: a use clause is given, but the only elements within its scope that do not use a qualified name are primitive operations (including operators, enumeration literals, subprograms...). The message starts with “Primitive:”"
-
Error "use" clause used for primitive operations
-
Add Protection to components
-
Update protection in tracer
-
Tracer: fix headers
-
CSV: Various usability improvements
-
CSV: Various usability improvements
-
Update protection to latest version
-
Add Tracer component
-
CSV: Various usability improvements
-
Thick_Queries: add function Path_Selection_Discriminants
-
Thick_Queries.Is_Known_To_Be_Constrained: Fix for components
-
Set version to 1.23b2
-
Simplifiable_Statements/For_in_for_for_of: fix false positives
-
Thick_Queries.Corresponding_Derivation_Description: fix case of qualified attribute
-
Doc + cosmetics
-
Improve (slightly) syntax error message for numbers
-
Simplifiable_Statements: only diagnose for_in_for_for_of if variables certain to be same
-
Set version to 1.23b1
-
Linear_Queue: add Last function
-
Add CSV component
-
Cosmetics: improve trace
-
Thick_Queries: static evaluator uses modular arithmetic for modular types
-
Static evaluator: added missing operators "mod" "rem" "abs"
-
Thick_Queries: add Debug_Img for lists of Extended_Biggest_In
-
Add ## rule off to avoid message from AdaControl
-
Thick_Queries: add Is_Known_To_Be_Constrained
-
Improve computation of bounds of string literals and positional array aggregates
-
Thick_Queries: fix min/max for operators mod, rem, abs
-
More fixes for ranges evaluation of "abs" and modular types
-
Thick queries: improve some error messages
-
Cosmetics
-
Known_Exceptions: Add tests exercising modular arithmetic
-
Rule usage: missing handling of formal packages
-
Cosmetics
-
Set version to 1.22r16
-
Improve tracking of discriminants
-
Fix HISTORY for release
-
Set version to 1.22r16b
-
Set version to 1.22r16c
-
For political reasons, it would be better and more effective if this remark did NOT appear to originate from me. You may not wish to register to Twitter (which I understand!), but anybody can post to c.l.a with Google groups, for example.
-
Thick_Querie.Discrete_Constraining_Bounds: make bounds dynamic if (sub)type has predicates
-
Thick_Queries.Discrete_Constraining_Bounds: fix for anonymous types
-
Thick_Queries.Is_Access_Subtype: special case fix
-
Thick_Queries: add Is_Null_Excluding_Subtype
-
Thick_Queries.Are_Equivalent_Expressions: ignore conversion/qualifications, allow aggregates
-
Kludge to work around A4G bugs related to limited with
-
Cosmetics, comments
-
Known_Exceptions: add Zero_Divide subrule
-
Known_Exceptions: add subrule assignment
-
Set version to 1.22b14
-
Object_Tracker: fix assignment as a post-procedure
-
Known_Exceptions/Assignments: check initial value
-
pragmas rule: add "not" modifier
-
Expressions/mixed_expressions: control expr of the form -A mod B
-
Allow "=" for "in" generic parameters
-
Small improvement to doc
-
Update NASA rules to 2014 version
-
Simplifiable statements: new tests with aggregate equivalence
-
Cosmetics
-
Fix user guide for release
-
Fix warning in Ptree
-
Doc cosmetics: replace @i and @b with @emph and @strong
-
Add .clang* to .gitignore
-
fix format headers models for csv
-
Known_exceptions: don't attempt to analyze identifiers from context clauses
-
Update doc for new installation procedures
-
Instantiations: add rule variable Type_Matches_Subtype
-
Set version to 1.22r15
-
Fix after changes to Thick_Queries.Equivalent_Expressions
-
Improve doc for versions of Gnat and gnathub
-
Cosmetics
-
I fully agree, but please post to c.l.a or @adacontrol_prog to get to a wider audience!
-
ASIS Community dependency.
-
Thick_Queries.Are_Equivalent_Expressions: missing transmission of RM_Static
-
Thick_Queries.Are_Equivalent_Expressions: fix for renamings
-
Thick_Queries/Static evaluator: fix for expression functions
-
Thick_Querie.Discrete_Constraining_Bounds: make bounds dynamic if (sub)type has predicates
-
Set version to 1.22b13
-
Set version to 1.22b13
-
Assignments/Possible_Target_Name: generalized and fixed
-
Assignments/Possible_Target_Name: add length parameter
-
Cosmetics, fix to doc
-
Object_Tracker tests: add case of subtype with predicates
-
Improve object_tracker tests
-
Simplifiable_statements: improve message
-
Thick_Queries.Discrete_Constraining_Bounds: missed the case of implicit dereference of indexed_component
-
Is_True_Expression: fix case of selected component
-
Thick_Queries.Are_Equivalent_Expressions:
-
Thick_Queries.Static_Expression_Value_Image: Handle boundary cases of Wide_Wide_Character like Wide_Character
1 >