Searched refs:widths (Results 1 – 12 of 12) sorted by relevance
27 widths: Option<Vec<String>>, field87 if let Some(widths) = &args.widths { in main()88 for w in widths { in main()121 verify_rules(inputs, &config, &args.widths) in main()
19 widths: &Option<Vec<String>>, in verify_rules()34 let types_filtered = if let Some(widths) = widths { in verify_rules()37 for w in widths { in verify_rules()
1136 let widths: Vec<SExpr> = xs in vir_expr_to_sexp() localVariable1140 let sum = self.smt.plus_many(widths); in vir_expr_to_sexp()
64 ;; To make this case study specific to Wasm, constrain the widths of
1346 let mut widths = vec![0; 3 + 2 * labels.len()]; in log_value_labels_ranges() localVariable1361 … let expected_width: usize = widths[column_index..next_column_index].iter().sum(); in log_value_labels_ranges()1365 widths[next_column_index - 1] += actual_width - expected_width; in log_value_labels_ranges()
98 …idth is not provided, Crocus type inference will verify the rule with all possible inferred widths
58 ;; If `k` is smaller than the difference in bit widths of the two types, then
219 ;; conversion than other bit widths.
1964 ;; value (first sign-extending to handle narrow widths).3430 ;; widths and sign/zero-extending properties.3506 ;; widths.
1070 ;; Same as `sinkable_load` except that all type widths of loads are supported.1905 ;; those bit-widths the 32-bit version of the instruction is used which has the
1 ;; Represents the possible widths of an element when used in an operation.
1983 ;; value (first sign-extending to handle narrow widths).