├── .gitignore ├── Cargo.toml ├── README.md ├── lint_plugin ├── Cargo.toml ├── examples │ └── ex1 │ │ ├── .Cargo │ │ ├── main.rs │ │ └── separate_module.rs ├── src │ ├── error.rs │ ├── expr.rs │ ├── folder.rs │ ├── inference_ctx.rs │ ├── lib.rs │ ├── mir_analyzer.rs │ ├── name_registry.rs │ ├── refinable_entity.rs │ ├── refined_type.rs │ ├── refinements_registry.rs │ ├── restriction_converter.rs │ ├── restriction_expr.rs │ ├── restriction_extractor.rs │ ├── rustpeg_parser.rs │ ├── smt_ctx.rs │ ├── to_smt.rs │ ├── typable.rs │ ├── utils.rs │ ├── visitor.rs │ ├── z3.rs │ └── z3_interface.rs └── tests │ ├── test.rs │ └── ui │ ├── no-attributes.rs │ ├── precondition-satisfied.rs │ └── precondition-unsatisfied.rs ├── prelude.smt2 ├── test_crate ├── Cargo.toml └── src │ └── main.rs └── z3 /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fan-tom/liquid-rust/HEAD/.gitignore -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- 1 | [workspace] 2 | 3 | members = ["liquid-types", "lint_plugin"] -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fan-tom/liquid-rust/HEAD/README.md -------------------------------------------------------------------------------- /lint_plugin/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fan-tom/liquid-rust/HEAD/lint_plugin/Cargo.toml -------------------------------------------------------------------------------- /lint_plugin/examples/ex1/.Cargo: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fan-tom/liquid-rust/HEAD/lint_plugin/examples/ex1/.Cargo -------------------------------------------------------------------------------- /lint_plugin/examples/ex1/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fan-tom/liquid-rust/HEAD/lint_plugin/examples/ex1/main.rs -------------------------------------------------------------------------------- /lint_plugin/examples/ex1/separate_module.rs: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /lint_plugin/src/error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fan-tom/liquid-rust/HEAD/lint_plugin/src/error.rs -------------------------------------------------------------------------------- /lint_plugin/src/expr.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fan-tom/liquid-rust/HEAD/lint_plugin/src/expr.rs -------------------------------------------------------------------------------- /lint_plugin/src/folder.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fan-tom/liquid-rust/HEAD/lint_plugin/src/folder.rs -------------------------------------------------------------------------------- /lint_plugin/src/inference_ctx.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fan-tom/liquid-rust/HEAD/lint_plugin/src/inference_ctx.rs -------------------------------------------------------------------------------- /lint_plugin/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fan-tom/liquid-rust/HEAD/lint_plugin/src/lib.rs -------------------------------------------------------------------------------- /lint_plugin/src/mir_analyzer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fan-tom/liquid-rust/HEAD/lint_plugin/src/mir_analyzer.rs -------------------------------------------------------------------------------- /lint_plugin/src/name_registry.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fan-tom/liquid-rust/HEAD/lint_plugin/src/name_registry.rs -------------------------------------------------------------------------------- /lint_plugin/src/refinable_entity.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fan-tom/liquid-rust/HEAD/lint_plugin/src/refinable_entity.rs -------------------------------------------------------------------------------- /lint_plugin/src/refined_type.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fan-tom/liquid-rust/HEAD/lint_plugin/src/refined_type.rs -------------------------------------------------------------------------------- /lint_plugin/src/refinements_registry.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fan-tom/liquid-rust/HEAD/lint_plugin/src/refinements_registry.rs -------------------------------------------------------------------------------- /lint_plugin/src/restriction_converter.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fan-tom/liquid-rust/HEAD/lint_plugin/src/restriction_converter.rs -------------------------------------------------------------------------------- /lint_plugin/src/restriction_expr.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fan-tom/liquid-rust/HEAD/lint_plugin/src/restriction_expr.rs -------------------------------------------------------------------------------- /lint_plugin/src/restriction_extractor.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fan-tom/liquid-rust/HEAD/lint_plugin/src/restriction_extractor.rs -------------------------------------------------------------------------------- /lint_plugin/src/rustpeg_parser.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fan-tom/liquid-rust/HEAD/lint_plugin/src/rustpeg_parser.rs -------------------------------------------------------------------------------- /lint_plugin/src/smt_ctx.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fan-tom/liquid-rust/HEAD/lint_plugin/src/smt_ctx.rs -------------------------------------------------------------------------------- /lint_plugin/src/to_smt.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fan-tom/liquid-rust/HEAD/lint_plugin/src/to_smt.rs -------------------------------------------------------------------------------- /lint_plugin/src/typable.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fan-tom/liquid-rust/HEAD/lint_plugin/src/typable.rs -------------------------------------------------------------------------------- /lint_plugin/src/utils.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fan-tom/liquid-rust/HEAD/lint_plugin/src/utils.rs -------------------------------------------------------------------------------- /lint_plugin/src/visitor.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fan-tom/liquid-rust/HEAD/lint_plugin/src/visitor.rs -------------------------------------------------------------------------------- /lint_plugin/src/z3.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fan-tom/liquid-rust/HEAD/lint_plugin/src/z3.rs -------------------------------------------------------------------------------- /lint_plugin/src/z3_interface.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fan-tom/liquid-rust/HEAD/lint_plugin/src/z3_interface.rs -------------------------------------------------------------------------------- /lint_plugin/tests/test.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fan-tom/liquid-rust/HEAD/lint_plugin/tests/test.rs -------------------------------------------------------------------------------- /lint_plugin/tests/ui/no-attributes.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fan-tom/liquid-rust/HEAD/lint_plugin/tests/ui/no-attributes.rs -------------------------------------------------------------------------------- /lint_plugin/tests/ui/precondition-satisfied.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fan-tom/liquid-rust/HEAD/lint_plugin/tests/ui/precondition-satisfied.rs -------------------------------------------------------------------------------- /lint_plugin/tests/ui/precondition-unsatisfied.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fan-tom/liquid-rust/HEAD/lint_plugin/tests/ui/precondition-unsatisfied.rs -------------------------------------------------------------------------------- /prelude.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fan-tom/liquid-rust/HEAD/prelude.smt2 -------------------------------------------------------------------------------- /test_crate/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fan-tom/liquid-rust/HEAD/test_crate/Cargo.toml -------------------------------------------------------------------------------- /test_crate/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fan-tom/liquid-rust/HEAD/test_crate/src/main.rs -------------------------------------------------------------------------------- /z3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/fan-tom/liquid-rust/HEAD/z3 --------------------------------------------------------------------------------