1
0
Fork 0
mirror of synced 2025-09-23 12:18:44 +00:00
ZoKrates/zokrates_analysis/src
2022-12-01 21:07:42 +01:00
..
reducer merge develop 2022-11-17 14:38:12 +01:00
assembly_transformer.rs improvements 3 2022-11-30 14:19:59 +01:00
boolean_array_comparator.rs merge develop 2022-11-17 14:38:12 +01:00
branch_isolator.rs wip 2022-10-11 09:24:28 -05:00
condition_redefiner.rs merge develop 2022-11-17 14:38:12 +01:00
constant_argument_checker.rs validate expressions, add more tests 2022-12-01 21:07:42 +01:00
constant_resolver.rs merge develop 2022-11-17 14:38:12 +01:00
dead_code.rs wip 2022-10-11 09:24:28 -05:00
expression_validator.rs validate expressions, add more tests 2022-12-01 21:07:42 +01:00
flat_propagation.rs wip 2022-10-11 09:24:28 -05:00
flatten_complex_types.rs remove unnecessary variant on runtime error 2022-11-30 14:23:15 +01:00
lib.rs validate expressions, add more tests 2022-12-01 21:07:42 +01:00
log_ignorer.rs wip 2022-10-11 09:24:28 -05:00
out_of_bounds.rs wip 2022-10-11 09:24:28 -05:00
panic_extractor.rs wip 2022-10-11 09:24:28 -05:00
propagation.rs fix formatting 2022-11-30 14:57:46 +01:00
struct_concretizer.rs wip 2022-10-11 09:24:28 -05:00
uint_optimizer.rs merge develop 2022-11-17 14:38:12 +01:00
variable_write_remover.rs validate expressions, add more tests 2022-12-01 21:07:42 +01:00
zir_propagation.rs fix formatting 2022-11-30 14:57:46 +01:00