triton-constraint-builder 0.43.0

Emits efficient code from Triton VM's AIR.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141

[[bench]]
harness = false
name = "degree_lowering"
path = "benches/degree_lowering.rs"

[dependencies.air]
package = "triton-air"
version = "0.43.0"

[dependencies.constraint-circuit]
package = "triton-constraint-circuit"
version = "0.43.0"

[dependencies.isa]
package = "triton-isa"
version = "0.43.0"

[dependencies.itertools]
version = "0.13"

[dependencies.prettyplease]
version = "0.2"

[dependencies.proc-macro2]
version = "1.0"

[dependencies.quote]
version = "1.0"

[dependencies.strum]
features = ["derive"]
version = "0.26"

[dependencies.syn]
version = "2.0"

[dependencies.twenty-first]
version = "0.43.0"

[dev-dependencies.divan]
version = "0.1.14"

[dev-dependencies.insta]
version = "1.41.0"

[dev-dependencies.proptest]
version = "1.5"

[dev-dependencies.proptest-arbitrary-interop]
version = "0.1"

[dev-dependencies.test-strategy]
version = "0.4.0"

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

[lints.clippy]
cast_lossless = "warn"
cloned_instead_of_copied = "warn"
copy_iterator = "warn"
default_trait_access = "warn"
doc_link_with_quotes = "warn"
enum_glob_use = "warn"
expl_impl_clone_on_copy = "warn"
explicit_deref_methods = "warn"
explicit_into_iter_loop = "warn"
explicit_iter_loop = "warn"
filter_map_next = "warn"
flat_map_option = "warn"
fn_params_excessive_bools = "warn"
from_iter_instead_of_collect = "warn"
if_not_else = "warn"
implicit_clone = "warn"
inconsistent_struct_constructor = "warn"
inefficient_to_string = "warn"
invalid_upcast_comparisons = "warn"
items_after_statements = "warn"
large_digit_groups = "warn"
macro_use_imports = "warn"
manual_assert = "warn"
manual_instant_elapsed = "warn"
manual_let_else = "warn"
manual_ok_or = "warn"
manual_string_new = "warn"
many_single_char_names = "warn"
map_unwrap_or = "warn"
match_wild_err_arm = "warn"
match_wildcard_for_single_variants = "warn"
mismatching_type_param_order = "warn"
mut_mut = "warn"
needless_continue = "warn"
needless_for_each = "warn"
no_effect_underscore_binding = "warn"
option_option = "warn"
range_minus_one = "warn"
range_plus_one = "warn"
redundant_else = "warn"
ref_binding_to_reference = "warn"
ref_option_ref = "warn"
return_self_not_must_use = "warn"
same_functions_in_if_condition = "warn"
should_panic_without_expect = "warn"
stable_sort_primitive = "warn"
struct_field_names = "warn"
trivially_copy_pass_by_ref = "warn"
unchecked_duration_subtraction = "warn"
uninlined_format_args = "warn"
unnecessary_box_returns = "warn"
unnecessary_join = "warn"
unnecessary_wraps = "warn"
unnested_or_patterns = "warn"
unused_async = "warn"
used_underscore_binding = "warn"
verbose_bit_mask = "warn"
wildcard_imports = "warn"

[lints.rust]
let_underscore_drop = "warn"
missing_copy_implementations = "warn"
missing_debug_implementations = "warn"

[package]
authors = ["Triton Software AG"]
autobenches = false
autobins = false
autoexamples = false
autotests = false
build = false
description = """
Emits efficient code from Triton VM's AIR.
"""
documentation = "https://triton-vm.org/spec/"
edition = "2021"
homepage = "https://triton-vm.org/"
license = "Apache-2.0"
name = "triton-constraint-builder"
readme = "README.md"
repository = "https://github.com/TritonVM/triton-vm"
version = "0.43.0"