flowproof 0.2.1__tar.gz → 0.2.2__tar.gz
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- {flowproof-0.2.1 → flowproof-0.2.2}/Cargo.lock +7 -7
- {flowproof-0.2.1 → flowproof-0.2.2}/Cargo.toml +1 -1
- {flowproof-0.2.1 → flowproof-0.2.2}/PKG-INFO +1 -1
- flowproof-0.2.2/crates/flowproof-agent/src/spec.rs +889 -0
- {flowproof-0.2.1 → flowproof-0.2.2}/crates/flowproof-cli/src/lib.rs +162 -18
- {flowproof-0.2.1 → flowproof-0.2.2}/crates/flowproof-cli/tests/api_pipeline.rs +79 -4
- {flowproof-0.2.1 → flowproof-0.2.2}/crates/flowproof-cli/tests/examples_resolve.rs +13 -5
- {flowproof-0.2.1 → flowproof-0.2.2}/crates/flowproof-cli/tests/llm_author_e2e.rs +1 -0
- {flowproof-0.2.1 → flowproof-0.2.2}/crates/flowproof-cli/tests/notepad_author_e2e.rs +1 -0
- flowproof-0.2.2/crates/flowproof-cli/tests/skip_unless_env.rs +86 -0
- {flowproof-0.2.1 → flowproof-0.2.2}/crates/flowproof-cli/tests/suite_env_from.rs +55 -0
- flowproof-0.2.2/crates/flowproof-cli/tests/suite_missing_trace.rs +105 -0
- {flowproof-0.2.1 → flowproof-0.2.2}/crates/flowproof-cli/tests/web_e2e.rs +14 -2
- {flowproof-0.2.1 → flowproof-0.2.2}/crates/flowproof-python/src/lib.rs +12 -0
- {flowproof-0.2.1 → flowproof-0.2.2}/crates/flowproof-replay/src/report.rs +48 -4
- {flowproof-0.2.1 → flowproof-0.2.2}/flowproof/__init__.py +3 -1
- {flowproof-0.2.1 → flowproof-0.2.2}/flowproof/flow.py +31 -9
- {flowproof-0.2.1 → flowproof-0.2.2}/flowproof/mcp_server.py +5 -2
- {flowproof-0.2.1 → flowproof-0.2.2}/pyproject.toml +1 -1
- flowproof-0.2.1/crates/flowproof-agent/src/spec.rs +0 -324
- {flowproof-0.2.1 → flowproof-0.2.2}/README.md +0 -0
- {flowproof-0.2.1 → flowproof-0.2.2}/crates/flowproof-adapters/Cargo.toml +0 -0
- {flowproof-0.2.1 → flowproof-0.2.2}/crates/flowproof-adapters/src/lib.rs +0 -0
- {flowproof-0.2.1 → flowproof-0.2.2}/crates/flowproof-adapters/src/sap_com.rs +0 -0
- {flowproof-0.2.1 → flowproof-0.2.2}/crates/flowproof-adapters/src/vision.rs +0 -0
- {flowproof-0.2.1 → flowproof-0.2.2}/crates/flowproof-adapters/src/web.rs +0 -0
- {flowproof-0.2.1 → flowproof-0.2.2}/crates/flowproof-agent/Cargo.toml +0 -0
- {flowproof-0.2.1 → flowproof-0.2.2}/crates/flowproof-agent/src/author.rs +0 -0
- {flowproof-0.2.1 → flowproof-0.2.2}/crates/flowproof-agent/src/clarify.rs +0 -0
- {flowproof-0.2.1 → flowproof-0.2.2}/crates/flowproof-agent/src/heal.rs +0 -0
- {flowproof-0.2.1 → flowproof-0.2.2}/crates/flowproof-agent/src/lib.rs +0 -0
- {flowproof-0.2.1 → flowproof-0.2.2}/crates/flowproof-agent/src/llm.rs +0 -0
- {flowproof-0.2.1 → flowproof-0.2.2}/crates/flowproof-agent/src/recorder.rs +0 -0
- {flowproof-0.2.1 → flowproof-0.2.2}/crates/flowproof-agent/src/rules.rs +0 -0
- {flowproof-0.2.1 → flowproof-0.2.2}/crates/flowproof-cli/Cargo.toml +0 -0
- {flowproof-0.2.1 → flowproof-0.2.2}/crates/flowproof-cli/src/main.rs +0 -0
- {flowproof-0.2.1 → flowproof-0.2.2}/crates/flowproof-cli/tests/calc_e2e.rs +0 -0
- {flowproof-0.2.1 → flowproof-0.2.2}/crates/flowproof-cli/tests/notepad_e2e.rs +0 -0
- {flowproof-0.2.1 → flowproof-0.2.2}/crates/flowproof-cli/tests/sap_e2e.rs +0 -0
- {flowproof-0.2.1 → flowproof-0.2.2}/crates/flowproof-cli/tests/sap_pipeline.rs +0 -0
- {flowproof-0.2.1 → flowproof-0.2.2}/crates/flowproof-cli/tests/sap_sim_e2e.rs +0 -0
- {flowproof-0.2.1 → flowproof-0.2.2}/crates/flowproof-cli/tests/support/sap_simulator.py +0 -0
- {flowproof-0.2.1 → flowproof-0.2.2}/crates/flowproof-cli/tests/vision_pipeline.rs +0 -0
- {flowproof-0.2.1 → flowproof-0.2.2}/crates/flowproof-driver/Cargo.toml +0 -0
- {flowproof-0.2.1 → flowproof-0.2.2}/crates/flowproof-driver/src/app.rs +0 -0
- {flowproof-0.2.1 → flowproof-0.2.2}/crates/flowproof-driver/src/backend.rs +0 -0
- {flowproof-0.2.1 → flowproof-0.2.2}/crates/flowproof-driver/src/gdi.rs +0 -0
- {flowproof-0.2.1 → flowproof-0.2.2}/crates/flowproof-driver/src/lib.rs +0 -0
- {flowproof-0.2.1 → flowproof-0.2.2}/crates/flowproof-driver/src/mock.rs +0 -0
- {flowproof-0.2.1 → flowproof-0.2.2}/crates/flowproof-driver/src/oob.rs +0 -0
- {flowproof-0.2.1 → flowproof-0.2.2}/crates/flowproof-driver/src/recording.rs +0 -0
- {flowproof-0.2.1 → flowproof-0.2.2}/crates/flowproof-driver/src/redact.rs +0 -0
- {flowproof-0.2.1 → flowproof-0.2.2}/crates/flowproof-driver/src/window.rs +0 -0
- {flowproof-0.2.1 → flowproof-0.2.2}/crates/flowproof-python/Cargo.toml +0 -0
- {flowproof-0.2.1 → flowproof-0.2.2}/crates/flowproof-replay/Cargo.toml +0 -0
- {flowproof-0.2.1 → flowproof-0.2.2}/crates/flowproof-replay/src/lib.rs +0 -0
- {flowproof-0.2.1 → flowproof-0.2.2}/crates/flowproof-replay/tests/replay_calc.rs +0 -0
- {flowproof-0.2.1 → flowproof-0.2.2}/crates/flowproof-trace/Cargo.toml +0 -0
- {flowproof-0.2.1 → flowproof-0.2.2}/crates/flowproof-trace/schema/trace-v1.schema.json +0 -0
- {flowproof-0.2.1 → flowproof-0.2.2}/crates/flowproof-trace/src/format.rs +0 -0
- {flowproof-0.2.1 → flowproof-0.2.2}/crates/flowproof-trace/src/lib.rs +0 -0
- {flowproof-0.2.1 → flowproof-0.2.2}/crates/flowproof-trace/src/secret.rs +0 -0
- {flowproof-0.2.1 → flowproof-0.2.2}/crates/flowproof-trace/tests/fixtures/sample.trace.jsonl +0 -0
- {flowproof-0.2.1 → flowproof-0.2.2}/crates/flowproof-trace/tests/schema_conformance.rs +0 -0
- {flowproof-0.2.1 → flowproof-0.2.2}/flowproof/cli.py +0 -0
- {flowproof-0.2.1 → flowproof-0.2.2}/flowproof/py.typed +0 -0
|
@@ -722,7 +722,7 @@ dependencies = [
|
|
|
722
722
|
|
|
723
723
|
[[package]]
|
|
724
724
|
name = "flowproof-adapters"
|
|
725
|
-
version = "0.2.
|
|
725
|
+
version = "0.2.2"
|
|
726
726
|
dependencies = [
|
|
727
727
|
"anyhow",
|
|
728
728
|
"flowproof-driver",
|
|
@@ -738,7 +738,7 @@ dependencies = [
|
|
|
738
738
|
|
|
739
739
|
[[package]]
|
|
740
740
|
name = "flowproof-agent"
|
|
741
|
-
version = "0.2.
|
|
741
|
+
version = "0.2.2"
|
|
742
742
|
dependencies = [
|
|
743
743
|
"chrono",
|
|
744
744
|
"flowproof-driver",
|
|
@@ -753,7 +753,7 @@ dependencies = [
|
|
|
753
753
|
|
|
754
754
|
[[package]]
|
|
755
755
|
name = "flowproof-cli"
|
|
756
|
-
version = "0.2.
|
|
756
|
+
version = "0.2.2"
|
|
757
757
|
dependencies = [
|
|
758
758
|
"ab_glyph",
|
|
759
759
|
"clap",
|
|
@@ -771,7 +771,7 @@ dependencies = [
|
|
|
771
771
|
|
|
772
772
|
[[package]]
|
|
773
773
|
name = "flowproof-driver"
|
|
774
|
-
version = "0.2.
|
|
774
|
+
version = "0.2.2"
|
|
775
775
|
dependencies = [
|
|
776
776
|
"image",
|
|
777
777
|
"postgres",
|
|
@@ -785,7 +785,7 @@ dependencies = [
|
|
|
785
785
|
|
|
786
786
|
[[package]]
|
|
787
787
|
name = "flowproof-python"
|
|
788
|
-
version = "0.2.
|
|
788
|
+
version = "0.2.2"
|
|
789
789
|
dependencies = [
|
|
790
790
|
"flowproof-agent",
|
|
791
791
|
"flowproof-cli",
|
|
@@ -797,7 +797,7 @@ dependencies = [
|
|
|
797
797
|
|
|
798
798
|
[[package]]
|
|
799
799
|
name = "flowproof-replay"
|
|
800
|
-
version = "0.2.
|
|
800
|
+
version = "0.2.2"
|
|
801
801
|
dependencies = [
|
|
802
802
|
"chrono",
|
|
803
803
|
"flowproof-agent",
|
|
@@ -810,7 +810,7 @@ dependencies = [
|
|
|
810
810
|
|
|
811
811
|
[[package]]
|
|
812
812
|
name = "flowproof-trace"
|
|
813
|
-
version = "0.2.
|
|
813
|
+
version = "0.2.2"
|
|
814
814
|
dependencies = [
|
|
815
815
|
"jsonschema",
|
|
816
816
|
"serde",
|
|
@@ -3,7 +3,7 @@ resolver = "2"
|
|
|
3
3
|
members = ["crates/flowproof-driver", "crates/flowproof-trace", "crates/flowproof-replay", "crates/flowproof-agent", "crates/flowproof-adapters", "crates/flowproof-cli", "crates/flowproof-python"]
|
|
4
4
|
|
|
5
5
|
[workspace.package]
|
|
6
|
-
version = "0.2.
|
|
6
|
+
version = "0.2.2"
|
|
7
7
|
edition = "2021"
|
|
8
8
|
license = "Apache-2.0"
|
|
9
9
|
repository = "https://github.com/automators-com/flowproof"
|