# THIS FILE IS AUTOMATICALLY GENERATED BY CARGO
#
# When uploading crates to the registry Cargo will automatically
# "normalize" Cargo.toml files for maximal compatibility
# with all versions of Cargo and also rewrite `path` dependencies
# to registry (e.g., crates.io) dependencies.
#
# If you are reading this file be aware that the original Cargo.toml
# will likely look very different (and much more reasonable).
# See Cargo.toml.orig for the original contents.

[package]
edition = "2021"
name = "airlang_ext"
version = "0.8.0"
build = false
autobins = false
autoexamples = false
autotests = false
autobenches = false
description = "The Extension of the Air Programming Language"
readme = "README.md"
keywords = [
    "language",
    "solver",
    "specification",
    "formal",
    "logic",
]
categories = ["compilers"]
license = "MIT OR Apache-2.0"
repository = "https://github.com/LambdaAlpha/airlang_rs"

[lib]
name = "airlang_ext"
path = "src/lib.rs"

[dependencies.airlang]
version = "0.8.0"

[lints.clippy]
alloc_instead_of_core = "warn"
branches_sharing_code = "warn"
clone_on_ref_ptr = "warn"
cognitive_complexity = "warn"
collection_is_never_read = "warn"
dbg_macro = "warn"
decimal_literal_representation = "warn"
empty_line_after_doc_comments = "warn"
empty_line_after_outer_attr = "warn"
implicit_clone = "warn"
inefficient_to_string = "warn"
manual_let_else = "warn"
match_wildcard_for_single_variants = "warn"
mod_module_files = "warn"
mut_mut = "warn"
needless_bitwise_bool = "warn"
needless_continue = "warn"
needless_return = "warn"
nonstandard_macro_braces = "warn"
range_minus_one = "warn"
range_plus_one = "warn"
redundant_clone = "warn"
redundant_closure_for_method_calls = "warn"
redundant_else = "warn"
ref_binding_to_reference = "warn"
semicolon_if_nothing_returned = "warn"
semicolon_inside_block = "warn"
single_match_else = "warn"
todo = "warn"
type_repetition_in_bounds = "warn"

[lints.rust]
bad_style = "warn"
dead_code = "warn"
improper_ctypes = "warn"
no_mangle_generic_items = "warn"
non_shorthand_field_patterns = "warn"
overflowing_literals = "warn"
path_statements = "warn"
patterns_in_fns_without_body = "warn"
private_bounds = "warn"
private_interfaces = "warn"
unconditional_recursion = "deny"
unused_allocation = "warn"
unused_comparisons = "warn"
unused_parens = "warn"
while_true = "deny"

[lints.rust.unused]
level = "warn"
priority = -1