| /dports/devel/aws-c-common/aws-c-common-0.6.15/verification/cbmc/proofs/aws_ring_buffer_release/ |
| H A D | aws_ring_buffer_release_harness.c | 46 …assert(IMPLIES(is_front_valid_state(&ring_buf_old), is_empty_state(&ring_buf) || is_middle_valid_s… in aws_ring_buffer_release_harness()
49 … is_empty_state(&ring_buf) || is_middle_valid_state(&ring_buf) || is_ends_valid_state(&ring_buf))); in aws_ring_buffer_release_harness()
52 … is_empty_state(&ring_buf) || is_middle_valid_state(&ring_buf) || is_ends_valid_state(&ring_buf))); in aws_ring_buffer_release_harness()
|
| /dports/finance/prestashop/prestashop/src/PrestaShopBundle/Resources/views/Admin/Common/Grid/Blocks/Table/ |
| H A D | empty_row.html.twig | 27 …<td colspan="{{ grid.columns|length }}" {% if grid.attributes.is_empty_state %}class="border-0"{% …
28 {% if grid.attributes.is_empty_state %}
|
| H A D | headers_row.html.twig | 26 <tr class="column-headers {% if grid.attributes.is_empty_state %}d-none{% endif %}">
|
| H A D | filters_row.html.twig | 26 <tr class="column-filters{% if grid.attributes.is_empty_state %} d-none{% endif %}">
|
| /dports/devel/aws-c-common/aws-c-common-0.6.15/verification/cbmc/include/proof_helpers/ |
| H A D | ring_buffer_abstract_states.h | 11 bool is_empty_state(struct aws_ring_buffer *ring_buf) { in is_empty_state() function
|
| /dports/devel/aws-c-common/aws-c-common-0.6.15/verification/cbmc/proofs/aws_ring_buffer_acquire_up_to/ |
| H A D | aws_ring_buffer_acquire_up_to_harness.c | 38 assert(IMPLIES(is_empty_state(&ring_buf_old), is_front_valid_state(&ring_buf))); in aws_ring_buffer_acquire_up_to_harness()
|
| /dports/devel/aws-c-common/aws-c-common-0.6.15/verification/cbmc/proofs/aws_ring_buffer_acquire/ |
| H A D | aws_ring_buffer_acquire_harness.c | 48 assert(IMPLIES(is_empty_state(&ring_buf_old), is_front_valid_state(&ring_buf))); in aws_ring_buffer_acquire_harness()
|
| /dports/finance/prestashop/prestashop/src/PrestaShopBundle/Resources/views/Admin/Common/Grid/Blocks/ |
| H A D | table.html.twig | 35 …column(grid) %}grid-ordering-column{% endif %} {% if grid.attributes.is_empty_state %}border-0{% e…
|
| /dports/databases/mariadb105-client/mariadb-10.5.15/sql/ |
| H A D | log.h | 911 bool is_empty_state();
|
| H A D | log.cc | 4260 if (init_state && !is_empty_state()) in reset_logs()
6415 MYSQL_BIN_LOG::is_empty_state() in is_empty_state() function in MYSQL_BIN_LOG
|
| H A D | sys_vars.cc | 2029 if (!mysql_bin_log.is_empty_state()) in do_check()
|
| /dports/databases/mariadb103-server/mariadb-10.3.34/sql/ |
| H A D | log.h | 905 bool is_empty_state();
|
| H A D | log.cc | 4071 if (init_state && !is_empty_state()) in reset_logs()
6144 MYSQL_BIN_LOG::is_empty_state() in is_empty_state() function in MYSQL_BIN_LOG
|
| H A D | sys_vars.cc | 1887 if (!mysql_bin_log.is_empty_state()) in do_check()
|
| /dports/databases/mariadb104-server/mariadb-10.4.24/sql/ |
| H A D | log.h | 904 bool is_empty_state();
|
| H A D | log.cc | 4125 if (init_state && !is_empty_state()) in reset_logs()
6219 MYSQL_BIN_LOG::is_empty_state() in is_empty_state() function in MYSQL_BIN_LOG
|
| H A D | sys_vars.cc | 1923 if (!mysql_bin_log.is_empty_state()) in do_check()
|
| /dports/databases/mariadb104-client/mariadb-10.4.24/sql/ |
| H A D | log.h | 904 bool is_empty_state();
|
| H A D | log.cc | 4125 if (init_state && !is_empty_state()) in reset_logs()
6219 MYSQL_BIN_LOG::is_empty_state() in is_empty_state() function in MYSQL_BIN_LOG
|
| H A D | sys_vars.cc | 1923 if (!mysql_bin_log.is_empty_state())
|
| /dports/databases/mariadb103-client/mariadb-10.3.34/sql/ |
| H A D | log.h | 905 bool is_empty_state();
|
| H A D | log.cc | 4071 if (init_state && !is_empty_state())
6144 MYSQL_BIN_LOG::is_empty_state()
|
| H A D | sys_vars.cc | 1887 if (!mysql_bin_log.is_empty_state()) in do_check()
|
| /dports/databases/mariadb105-server/mariadb-10.5.15/sql/ |
| H A D | log.h | 911 bool is_empty_state();
|
| H A D | log.cc | 4260 if (init_state && !is_empty_state()) in reset_logs()
6415 MYSQL_BIN_LOG::is_empty_state() in is_empty_state() function in MYSQL_BIN_LOG
|