gitextract_dgkomprs/

├── .github/
│   └── workflows/
│       └── ci.yml
├── .gitignore
├── .pre-commit-config.yaml
├── .rustfmt.toml
├── CHANGELOG.md
├── CODEOWNERS
├── Cargo.toml
├── LICENSE
├── README.md
├── TODO.md
├── circom_algebra/
│   ├── Cargo.toml
│   └── src/
│       ├── lib.rs
│       └── modular_arithmetic.rs
├── cli/
│   ├── Cargo.toml
│   └── src/
│       └── main.rs
├── doc/
│   ├── analysis_passes.md
│   └── demo.cast
├── parser/
│   ├── Cargo.toml
│   ├── build.rs
│   └── src/
│       ├── errors.rs
│       ├── include_logic.rs
│       ├── lang.lalrpop
│       ├── lib.rs
│       ├── parser_logic.rs
│       ├── syntax_sugar_remover.rs
│       └── syntax_sugar_traits.rs
├── program_analysis/
│   ├── Cargo.toml
│   └── src/
│       ├── analysis_context.rs
│       ├── analysis_runner.rs
│       ├── bitwise_complement.rs
│       ├── bn254_specific_circuit.rs
│       ├── config.rs
│       ├── constant_conditional.rs
│       ├── constraint_analysis.rs
│       ├── definition_complexity.rs
│       ├── field_arithmetic.rs
│       ├── field_comparisons.rs
│       ├── lib.rs
│       ├── nonstrict_binary_conversion.rs
│       ├── side_effect_analysis.rs
│       ├── signal_assignments.rs
│       ├── taint_analysis.rs
│       ├── unconstrained_division.rs
│       ├── unconstrained_less_than.rs
│       ├── under_constrained_signals.rs
│       └── unused_output_signal.rs
├── program_structure/
│   ├── Cargo.toml
│   └── src/
│       ├── abstract_syntax_tree/
│       │   ├── assign_op_impl.rs
│       │   ├── ast.rs
│       │   ├── ast_impl.rs
│       │   ├── ast_shortcuts.rs
│       │   ├── expression_builders.rs
│       │   ├── expression_impl.rs
│       │   ├── mod.rs
│       │   ├── statement_builders.rs
│       │   └── statement_impl.rs
│       ├── control_flow_graph/
│       │   ├── basic_block.rs
│       │   ├── cfg.rs
│       │   ├── errors.rs
│       │   ├── lifting.rs
│       │   ├── mod.rs
│       │   ├── parameters.rs
│       │   ├── ssa_impl.rs
│       │   └── unique_vars.rs
│       ├── intermediate_representation/
│       │   ├── declarations.rs
│       │   ├── degree_meta.rs
│       │   ├── errors.rs
│       │   ├── expression_impl.rs
│       │   ├── ir.rs
│       │   ├── lifting.rs
│       │   ├── mod.rs
│       │   ├── statement_impl.rs
│       │   ├── type_meta.rs
│       │   ├── value_meta.rs
│       │   └── variable_meta.rs
│       ├── lib.rs
│       ├── program_library/
│       │   ├── file_definition.rs
│       │   ├── function_data.rs
│       │   ├── mod.rs
│       │   ├── program_archive.rs
│       │   ├── program_merger.rs
│       │   ├── report.rs
│       │   ├── report_code.rs
│       │   ├── template_data.rs
│       │   └── template_library.rs
│       ├── static_single_assignment/
│       │   ├── dominator_tree.rs
│       │   ├── errors.rs
│       │   ├── mod.rs
│       │   └── traits.rs
│       └── utils/
│           ├── constants.rs
│           ├── environment.rs
│           ├── mod.rs
│           ├── nonempty_vec.rs
│           ├── sarif_conversion.rs
│           └── writers.rs
└── program_structure_tests/
    ├── Cargo.toml
    └── src/
        ├── control_flow_graph.rs
        ├── lib.rs
        └── static_single_assignment.rs