| /dports/misc/cxx_atomics_pic/gcc-11.2.0/gcc/ada/ |
| H A D | ChangeLog-2013 | 1298 to expansion)
2018 Restore to pop the scope.
2020 to pop the scope.
2944 current scope. Update the scope traversal and error reporting.
4542 loop expansion.
4777 pre- and post-conditions.
4783 check for pre- and post- conditions.
4801 for pre- and post-conditions.
5166 predicates, add predicate call to post-call actions.
6128 when doing their expansion.
[all …]
|
| H A D | ChangeLog-2016 | 688 scope.
2237 aspects when generating C code since pre/post conditions are
2993 * lib-xref-spark_specific.adb (Add_SPARK_Scope): add task type scope.
2994 (Detect_And_Add_SPARK_Scope): detect and add task type scope.
3070 during expansion.
4051 expansion of Attribute_Machine and Attribute_Model for AAMP.
4272 a function call is an expansion of a reference to attribute
4485 Disable expansion when generating C code.
4772 * exp_ch6.adb (Expand_Actuals): If post-statements are present
5292 done during regular expansion).
[all …]
|
| /dports/lang/gcc10/gcc-10.3.0/gcc/ada/ |
| H A D | ChangeLog-2013 | 1298 to expansion)
2018 Restore to pop the scope.
2020 to pop the scope.
2944 current scope. Update the scope traversal and error reporting.
4542 loop expansion.
4777 pre- and post-conditions.
4783 check for pre- and post- conditions.
4801 for pre- and post-conditions.
5166 predicates, add predicate call to post-call actions.
6128 when doing their expansion.
[all …]
|
| H A D | ChangeLog-2016 | 688 scope.
2237 aspects when generating C code since pre/post conditions are
2993 * lib-xref-spark_specific.adb (Add_SPARK_Scope): add task type scope.
2994 (Detect_And_Add_SPARK_Scope): detect and add task type scope.
3070 during expansion.
4051 expansion of Attribute_Machine and Attribute_Model for AAMP.
4272 a function call is an expansion of a reference to attribute
4485 Disable expansion when generating C code.
4772 * exp_ch6.adb (Expand_Actuals): If post-statements are present
5292 done during regular expansion).
[all …]
|
| /dports/lang/gcc8/gcc-8.5.0/gcc/ada/ |
| H A D | ChangeLog-2013 | 1298 to expansion)
2018 Restore to pop the scope.
2020 to pop the scope.
2944 current scope. Update the scope traversal and error reporting.
4542 loop expansion.
4777 pre- and post-conditions.
4783 check for pre- and post- conditions.
4801 for pre- and post-conditions.
5166 predicates, add predicate call to post-call actions.
6128 when doing their expansion.
[all …]
|
| H A D | ChangeLog-2016 | 688 scope.
2237 aspects when generating C code since pre/post conditions are
2993 * lib-xref-spark_specific.adb (Add_SPARK_Scope): add task type scope.
2994 (Detect_And_Add_SPARK_Scope): detect and add task type scope.
3070 during expansion.
4051 expansion of Attribute_Machine and Attribute_Model for AAMP.
4272 a function call is an expansion of a reference to attribute
4485 Disable expansion when generating C code.
4772 * exp_ch6.adb (Expand_Actuals): If post-statements are present
5292 done during regular expansion).
[all …]
|
| /dports/devel/riscv64-none-elf-gcc/gcc-8.4.0/gcc/ada/ |
| H A D | ChangeLog-2013 | 1298 to expansion)
2018 Restore to pop the scope.
2020 to pop the scope.
2944 current scope. Update the scope traversal and error reporting.
4542 loop expansion.
4777 pre- and post-conditions.
4783 check for pre- and post- conditions.
4801 for pre- and post-conditions.
5166 predicates, add predicate call to post-call actions.
6128 when doing their expansion.
[all …]
|
| H A D | ChangeLog-2016 | 688 scope.
2237 aspects when generating C code since pre/post conditions are
2993 * lib-xref-spark_specific.adb (Add_SPARK_Scope): add task type scope.
2994 (Detect_And_Add_SPARK_Scope): detect and add task type scope.
3070 during expansion.
4051 expansion of Attribute_Machine and Attribute_Model for AAMP.
4272 a function call is an expansion of a reference to attribute
4485 Disable expansion when generating C code.
4772 * exp_ch6.adb (Expand_Actuals): If post-statements are present
5292 done during regular expansion).
[all …]
|
| /dports/lang/gcc11/gcc-11.2.0/gcc/ada/ |
| H A D | ChangeLog-2013 | 1298 to expansion)
2018 Restore to pop the scope.
2020 to pop the scope.
2944 current scope. Update the scope traversal and error reporting.
4542 loop expansion.
4777 pre- and post-conditions.
4783 check for pre- and post- conditions.
4801 for pre- and post-conditions.
5166 predicates, add predicate call to post-call actions.
6128 when doing their expansion.
[all …]
|
| H A D | ChangeLog-2016 | 688 scope.
2237 aspects when generating C code since pre/post conditions are
2993 * lib-xref-spark_specific.adb (Add_SPARK_Scope): add task type scope.
2994 (Detect_And_Add_SPARK_Scope): detect and add task type scope.
3070 during expansion.
4051 expansion of Attribute_Machine and Attribute_Model for AAMP.
4272 a function call is an expansion of a reference to attribute
4485 Disable expansion when generating C code.
4772 * exp_ch6.adb (Expand_Actuals): If post-statements are present
5292 done during regular expansion).
[all …]
|
| /dports/lang/gcc9/gcc-9.4.0/gcc/ada/ |
| H A D | ChangeLog-2013 | 1298 to expansion)
2018 Restore to pop the scope.
2020 to pop the scope.
2944 current scope. Update the scope traversal and error reporting.
4542 loop expansion.
4777 pre- and post-conditions.
4783 check for pre- and post- conditions.
4801 for pre- and post-conditions.
5166 predicates, add predicate call to post-call actions.
6128 when doing their expansion.
[all …]
|
| /dports/lang/gcc9-aux/gcc-9.1.0/gcc/ada/ |
| H A D | ChangeLog-2013 | 1298 to expansion)
2018 Restore to pop the scope.
2020 to pop the scope.
2944 current scope. Update the scope traversal and error reporting.
4542 loop expansion.
4777 pre- and post-conditions.
4783 check for pre- and post- conditions.
4801 for pre- and post-conditions.
5166 predicates, add predicate call to post-call actions.
6128 when doing their expansion.
[all …]
|
| /dports/lang/gcc9-devel/gcc-9-20211007/gcc/ada/ |
| H A D | ChangeLog-2013 | 1298 to expansion)
2018 Restore to pop the scope.
2020 to pop the scope.
2944 current scope. Update the scope traversal and error reporting.
4542 loop expansion.
4777 pre- and post-conditions.
4783 check for pre- and post- conditions.
4801 for pre- and post-conditions.
5166 predicates, add predicate call to post-call actions.
6128 when doing their expansion.
[all …]
|
| /dports/lang/gcc6-aux/gcc-6-20180516/gcc/ada/ |
| H A D | ChangeLog-2013 | 1298 to expansion)
2018 Restore to pop the scope.
2020 to pop the scope.
2944 current scope. Update the scope traversal and error reporting.
4542 loop expansion.
4777 pre- and post-conditions.
4783 check for pre- and post- conditions.
4801 for pre- and post-conditions.
5166 predicates, add predicate call to post-call actions.
6128 when doing their expansion.
[all …]
|
| /dports/shells/zsh/zsh-5.8.1/ |
| H A D | ChangeLog | 1311 * unposted: Completion/Zsh/Command/_zftp: Use 'post' pattern
6137 the current scope.
6797 needs to be at the outer scope.
8518 added ex post facto as a marker).
9882 empty in local scope
9906 changed scope
10617 * 35374: Test/D07multibyte.ztst: add tab expansion test with
11639 many hidden problems; pull out some post-execution
13214 commits post release.
13583 continue and break in function scope.
[all …]
|
| /dports/devel/remake/remake-4.3+dbg-1.5/doc/ |
| H A D | make.info-2 | 1082 It's very important that you recognize the limited scope in which
1841 GNU Guile and the Scheme language and its features is beyond the scope
1940 expansion rules. The result of the expansion is converted into a
2178 symbol exists in the global scope. Something like this is enough:
2859 is using EFL, we will gladly add them.
3820 "post-installation" commands.
3897 execute the pre-installation and post-installation commands.
3906 POST_INSTALL=post-install \
3912 $0 ~ /^(normal-install|post-install)[ \t]*$/ {on = 0}
4131 expansion of the THEN-PART otherwise substitute the expansion of
[all …]
|
| /dports/devel/gmake/make-4.3/doc/ |
| H A D | make.info-2 | 1082 It's very important that you recognize the limited scope in which
1841 GNU Guile and the Scheme language and its features is beyond the scope
1940 expansion rules. The result of the expansion is converted into a
2178 symbol exists in the global scope. Something like this is enough:
2859 is using EFL, we will gladly add them.
3820 "post-installation" commands.
3897 execute the pre-installation and post-installation commands.
3906 POST_INSTALL=post-install \
3912 $0 ~ /^(normal-install|post-install)[ \t]*$/ {on = 0}
4131 expansion of the THEN-PART otherwise substitute the expansion of
[all …]
|
| /dports/devel/aarch64-none-elf-gcc/gcc-8.4.0/gcc/ada/ |
| H A D | ChangeLog-2016 | 688 scope.
2237 aspects when generating C code since pre/post conditions are
2993 * lib-xref-spark_specific.adb (Add_SPARK_Scope): add task type scope.
2994 (Detect_And_Add_SPARK_Scope): detect and add task type scope.
3070 during expansion.
4051 expansion of Attribute_Machine and Attribute_Model for AAMP.
4272 a function call is an expansion of a reference to attribute
4485 Disable expansion when generating C code.
4772 * exp_ch6.adb (Expand_Actuals): If post-statements are present
5292 done during regular expansion).
[all …]
|
| /dports/devel/arm-none-eabi-gcc/gcc-8.4.0/gcc/ada/ |
| H A D | ChangeLog-2016 | 688 scope.
2237 aspects when generating C code since pre/post conditions are
2993 * lib-xref-spark_specific.adb (Add_SPARK_Scope): add task type scope.
2994 (Detect_And_Add_SPARK_Scope): detect and add task type scope.
3070 during expansion.
4051 expansion of Attribute_Machine and Attribute_Model for AAMP.
4272 a function call is an expansion of a reference to attribute
4485 Disable expansion when generating C code.
4772 * exp_ch6.adb (Expand_Actuals): If post-statements are present
5292 done during regular expansion).
[all …]
|
| /dports/devel/avr-gcc/gcc-10.2.0/gcc/ada/ |
| H A D | ChangeLog-2016 | 688 scope.
2237 aspects when generating C code since pre/post conditions are
2993 * lib-xref-spark_specific.adb (Add_SPARK_Scope): add task type scope.
2994 (Detect_And_Add_SPARK_Scope): detect and add task type scope.
3070 during expansion.
4051 expansion of Attribute_Machine and Attribute_Model for AAMP.
4272 a function call is an expansion of a reference to attribute
4485 Disable expansion when generating C code.
4772 * exp_ch6.adb (Expand_Actuals): If post-statements are present
5292 done during regular expansion).
[all …]
|
| /dports/lang/gcc11-devel/gcc-11-20211009/gcc/ada/ |
| H A D | ChangeLog-2016 | 688 scope.
2237 aspects when generating C code since pre/post conditions are
2993 * lib-xref-spark_specific.adb (Add_SPARK_Scope): add task type scope.
2994 (Detect_And_Add_SPARK_Scope): detect and add task type scope.
3070 during expansion.
4051 expansion of Attribute_Machine and Attribute_Model for AAMP.
4272 a function call is an expansion of a reference to attribute
4485 Disable expansion when generating C code.
4772 * exp_ch6.adb (Expand_Actuals): If post-statements are present
5292 done during regular expansion).
[all …]
|
| /dports/lang/gcc10-devel/gcc-10-20211008/gcc/ada/ |
| H A D | ChangeLog-2016 | 688 scope.
2237 aspects when generating C code since pre/post conditions are
2993 * lib-xref-spark_specific.adb (Add_SPARK_Scope): add task type scope.
2994 (Detect_And_Add_SPARK_Scope): detect and add task type scope.
3070 during expansion.
4051 expansion of Attribute_Machine and Attribute_Model for AAMP.
4272 a function call is an expansion of a reference to attribute
4485 Disable expansion when generating C code.
4772 * exp_ch6.adb (Expand_Actuals): If post-statements are present
5292 done during regular expansion).
[all …]
|
| /dports/lang/gcc12-devel/gcc-12-20211205/gcc/ada/ |
| H A D | ChangeLog-2016 | 688 scope.
2237 aspects when generating C code since pre/post conditions are
2993 * lib-xref-spark_specific.adb (Add_SPARK_Scope): add task type scope.
2994 (Detect_And_Add_SPARK_Scope): detect and add task type scope.
3070 during expansion.
4051 expansion of Attribute_Machine and Attribute_Model for AAMP.
4272 a function call is an expansion of a reference to attribute
4485 Disable expansion when generating C code.
4772 * exp_ch6.adb (Expand_Actuals): If post-statements are present
5292 done during regular expansion).
[all …]
|
| /dports/devel/riscv32-unknown-elf-gcc/gcc-8.4.0/gcc/ada/ |
| H A D | ChangeLog-2016 | 688 scope.
2237 aspects when generating C code since pre/post conditions are
2993 * lib-xref-spark_specific.adb (Add_SPARK_Scope): add task type scope.
2994 (Detect_And_Add_SPARK_Scope): detect and add task type scope.
3070 during expansion.
4051 expansion of Attribute_Machine and Attribute_Model for AAMP.
4272 a function call is an expansion of a reference to attribute
4485 Disable expansion when generating C code.
4772 * exp_ch6.adb (Expand_Actuals): If post-statements are present
5292 done during regular expansion).
[all …]
|
| /dports/devel/riscv64-gcc/gcc-8.3.0/gcc/ada/ |
| H A D | ChangeLog-2016 | 688 scope.
2237 aspects when generating C code since pre/post conditions are
2993 * lib-xref-spark_specific.adb (Add_SPARK_Scope): add task type scope.
2994 (Detect_And_Add_SPARK_Scope): detect and add task type scope.
3070 during expansion.
4051 expansion of Attribute_Machine and Attribute_Model for AAMP.
4272 a function call is an expansion of a reference to attribute
4485 Disable expansion when generating C code.
4772 * exp_ch6.adb (Expand_Actuals): If post-statements are present
5292 done during regular expansion).
[all …]
|