Flat White Vitriol - An incremental solver protocol for combinatorial solving using shared objects
at main 59 lines 1.6 kB view raw
1[workspace] 2 3members = ["rust/fznso","rust/fznso-solver-template","rust/fznso-types"] 4 5resolver = "2" 6 7[workspace.package] 8repository = "https://tangled.org/dekker.one/FZnSO" 9version = "0.1.0" 10authors = ["Jip J. Dekker <jip@dekker.one>"] 11edition = "2024" 12license = "" 13 14[workspace.lints.rust] 15missing_debug_implementations = "warn" 16missing_docs = "warn" 17non_ascii_idents = "deny" 18trivial_casts = "warn" 19trivial_numeric_casts = "warn" 20unit_bindings = "warn" 21# unnameable_types = "warn" 22unreachable_pub = "warn" 23unused_crate_dependencies = "deny" 24unused_import_braces = "warn" 25unused_lifetimes = "warn" 26unused_macro_rules = "warn" 27unused_qualifications = "warn" 28unused_results = "warn" 29variant_size_differences = "warn" 30 31[workspace.lints.clippy] 32allow_attributes_without_reason = "deny" 33# cargo_common_metadata = "warn" 34clone_on_ref_ptr = "warn" 35default_union_representation = "deny" 36missing_docs_in_private_items = "warn" 37mixed_read_write_in_expression = "deny" 38# multiple_crate_versions = "warn" 39negative_feature_names = "deny" 40rc_buffer = "warn" 41rc_mutex = "warn" 42redundant_feature_names = "warn" 43redundant_type_annotations = "warn" 44rest_pat_in_fully_bound_structs = "warn" 45# same_name_method = "warn" 46semicolon_if_nothing_returned = "warn" 47str_to_string = "warn" 48string_add = "warn" 49string_add_assign = "warn" 50string_lit_chars_any = "warn" 51string_to_string = "warn" 52tests_outside_test_module = "warn" 53try_err = "warn" 54undocumented_unsafe_blocks = "warn" 55unnecessary_safety_comment = "warn" 56unseparated_literal_suffix = "warn" 57unnecessary_safety_doc = "warn" 58wildcard_dependencies = "warn" 59wrong_self_convention = "warn"