flowproof 0.23.5__tar.gz → 0.23.7__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.
Files changed (168) hide show
  1. {flowproof-0.23.5 → flowproof-0.23.7}/Cargo.lock +7 -7
  2. {flowproof-0.23.5 → flowproof-0.23.7}/Cargo.toml +1 -1
  3. {flowproof-0.23.5 → flowproof-0.23.7}/PKG-INFO +1 -1
  4. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-adapters/src/web.rs +480 -75
  5. flowproof-0.23.7/crates/flowproof-adapters/tests/list_scene_e2e.rs +49 -0
  6. flowproof-0.23.7/crates/flowproof-adapters/tests/visibility_detach_e2e.rs +77 -0
  7. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-agent/src/author.rs +161 -5
  8. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-agent/src/clarify.rs +5 -5
  9. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-agent/src/lib.rs +10 -1
  10. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-agent/src/llm.rs +10 -2
  11. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-agent/src/recorder.rs +72 -6
  12. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-agent/tests/model_client_http.rs +2 -0
  13. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-cli/Cargo.toml +4 -2
  14. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-cli/src/config.rs +52 -1
  15. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-cli/src/lib.rs +83 -5
  16. flowproof-0.23.7/crates/flowproof-cli/tests/agent_url_record_e2e.rs +478 -0
  17. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-cli/tests/config_seed_e2e.rs +56 -0
  18. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-cli/tests/doctor_ai_e2e.rs +54 -17
  19. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-cli/tests/examples_resolve.rs +38 -0
  20. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-cli/tests/llm_author_e2e.rs +4 -0
  21. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-cli/tests/notepad_author_e2e.rs +1 -0
  22. flowproof-0.23.7/crates/flowproof-cli/tests/sigterm_shared_browser_e2e.rs +153 -0
  23. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-driver/src/mock.rs +4 -0
  24. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-replay/src/lib.rs +31 -1
  25. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-replay/tests/replay_calc.rs +89 -0
  26. {flowproof-0.23.5 → flowproof-0.23.7}/flowproof/__init__.py +1 -1
  27. {flowproof-0.23.5 → flowproof-0.23.7}/pyproject.toml +1 -1
  28. flowproof-0.23.5/crates/flowproof-cli/tests/agent_url_record_e2e.rs +0 -216
  29. {flowproof-0.23.5 → flowproof-0.23.7}/README.md +0 -0
  30. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-adapters/Cargo.toml +0 -0
  31. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-adapters/src/agent_proxy.rs +0 -0
  32. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-adapters/src/agent_runner.rs +0 -0
  33. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-adapters/src/egress.rs +0 -0
  34. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-adapters/src/egress_linux.rs +0 -0
  35. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-adapters/src/egress_windows/audit.rs +0 -0
  36. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-adapters/src/egress_windows/capture.rs +0 -0
  37. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-adapters/src/egress_windows/env_block.rs +0 -0
  38. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-adapters/src/egress_windows/filters.rs +0 -0
  39. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-adapters/src/egress_windows/identity.rs +0 -0
  40. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-adapters/src/egress_windows/logon.rs +0 -0
  41. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-adapters/src/egress_windows/netevents.rs +0 -0
  42. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-adapters/src/egress_windows/run.rs +0 -0
  43. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-adapters/src/egress_windows/spawn.rs +0 -0
  44. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-adapters/src/egress_windows/wfp.rs +0 -0
  45. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-adapters/src/egress_windows.rs +0 -0
  46. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-adapters/src/fiori.rs +0 -0
  47. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-adapters/src/fs_observe.rs +0 -0
  48. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-adapters/src/lib.rs +0 -0
  49. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-adapters/src/mcp_core.rs +0 -0
  50. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-adapters/src/mcp_http.rs +0 -0
  51. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-adapters/src/mcp_stdio.rs +0 -0
  52. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-adapters/src/sap_com.rs +0 -0
  53. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-adapters/src/vision.rs +0 -0
  54. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-adapters/tests/a11y_capture.rs +0 -0
  55. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-adapters/tests/drag_spike.rs +0 -0
  56. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-adapters/tests/fs_observation_e2e.rs +0 -0
  57. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-adapters/tests/grid_scene_e2e.rs +0 -0
  58. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-adapters/tests/network_idle_e2e.rs +0 -0
  59. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-adapters/tests/shared_browser_shutdown_e2e.rs +0 -0
  60. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-adapters/tests/side_effect_http_e2e.rs +0 -0
  61. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-adapters/tests/static_area_e2e.rs +0 -0
  62. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-adapters/tests/windows_containment_e2e.rs +0 -0
  63. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-agent/Cargo.toml +0 -0
  64. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-agent/src/agent_steps.rs +0 -0
  65. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-agent/src/doc_author.rs +0 -0
  66. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-agent/src/doc_formats/hp_alm.rs +0 -0
  67. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-agent/src/doc_formats.rs +0 -0
  68. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-agent/src/draft_assembly.rs +0 -0
  69. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-agent/src/heal.rs +0 -0
  70. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-agent/src/repair.rs +0 -0
  71. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-agent/src/rules.rs +0 -0
  72. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-agent/src/spec.rs +0 -0
  73. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-cli/skills/flowproof-config/SKILL.md +0 -0
  74. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-cli/src/agent_flow.rs +0 -0
  75. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-cli/src/capture.rs +0 -0
  76. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-cli/src/doctor.rs +0 -0
  77. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-cli/src/main.rs +0 -0
  78. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-cli/src/suite.rs +0 -0
  79. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-cli/src/suite_checkpoint.rs +0 -0
  80. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-cli/src/suite_inputs.rs +0 -0
  81. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-cli/src/suite_journal.rs +0 -0
  82. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-cli/src/update_check.rs +0 -0
  83. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-cli/tests/a11y_selector_e2e.rs +0 -0
  84. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-cli/tests/agent_conversation_anthropic_e2e.rs +0 -0
  85. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-cli/tests/agent_conversation_streaming_e2e.rs +0 -0
  86. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-cli/tests/agent_flow_e2e.rs +0 -0
  87. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-cli/tests/api_pipeline.rs +0 -0
  88. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-cli/tests/audit_record_e2e.rs +0 -0
  89. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-cli/tests/calc_e2e.rs +0 -0
  90. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-cli/tests/clock_e2e.rs +0 -0
  91. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-cli/tests/config_cli_e2e.rs +0 -0
  92. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-cli/tests/config_skill_e2e.rs +0 -0
  93. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-cli/tests/cookie_e2e.rs +0 -0
  94. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-cli/tests/doctor_e2e.rs +0 -0
  95. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-cli/tests/documented_flags.rs +0 -0
  96. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-cli/tests/egress_e2e.rs +0 -0
  97. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-cli/tests/falsifiability_arg_matchers.rs +0 -0
  98. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-cli/tests/falsifiability_audit_since.rs +0 -0
  99. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-cli/tests/falsifiability_call_order.rs +0 -0
  100. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-cli/tests/falsifiability_capability_regression.rs +0 -0
  101. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-cli/tests/falsifiability_control_verdict.rs +0 -0
  102. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-cli/tests/falsifiability_mcp_kill.rs +0 -0
  103. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-cli/tests/falsifiability_no_tool_call.rs +0 -0
  104. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-cli/tests/falsifiability_reply_contains.rs +0 -0
  105. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-cli/tests/falsifiability_side_effect.rs +0 -0
  106. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-cli/tests/fiori_field_commit_e2e.rs +0 -0
  107. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-cli/tests/grid_cell_e2e.rs +0 -0
  108. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-cli/tests/iframe_e2e.rs +0 -0
  109. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-cli/tests/mcp_http_e2e.rs +0 -0
  110. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-cli/tests/mcp_stdio_e2e.rs +0 -0
  111. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-cli/tests/notepad_e2e.rs +0 -0
  112. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-cli/tests/page_title_e2e.rs +0 -0
  113. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-cli/tests/pinned_random_e2e.rs +0 -0
  114. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-cli/tests/sap_e2e.rs +0 -0
  115. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-cli/tests/sap_pipeline.rs +0 -0
  116. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-cli/tests/sap_sim_e2e.rs +0 -0
  117. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-cli/tests/scoped_container_e2e.rs +0 -0
  118. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-cli/tests/select_missing_option_e2e.rs +0 -0
  119. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-cli/tests/skip_unless_env.rs +0 -0
  120. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-cli/tests/suite_checkpoint.rs +0 -0
  121. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-cli/tests/suite_env_from.rs +0 -0
  122. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-cli/tests/suite_flow_isolation.rs +0 -0
  123. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-cli/tests/suite_missing_trace.rs +0 -0
  124. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-cli/tests/suite_policy.rs +0 -0
  125. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-cli/tests/support/sap_simulator.py +0 -0
  126. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-cli/tests/visibility_e2e.rs +0 -0
  127. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-cli/tests/vision_pipeline.rs +0 -0
  128. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-cli/tests/web_e2e.rs +0 -0
  129. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-driver/Cargo.toml +0 -0
  130. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-driver/src/app.rs +0 -0
  131. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-driver/src/backend.rs +0 -0
  132. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-driver/src/gdi.rs +0 -0
  133. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-driver/src/lib.rs +0 -0
  134. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-driver/src/oob.rs +0 -0
  135. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-driver/src/recording.rs +0 -0
  136. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-driver/src/redact.rs +0 -0
  137. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-driver/src/surface.rs +0 -0
  138. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-driver/src/visual.rs +0 -0
  139. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-driver/src/window.rs +0 -0
  140. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-python/Cargo.toml +0 -0
  141. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-python/src/lib.rs +0 -0
  142. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-replay/Cargo.toml +0 -0
  143. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-replay/src/report.rs +0 -0
  144. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-replay/src/runrecord.rs +0 -0
  145. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-trace/Cargo.toml +0 -0
  146. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-trace/schema/cassette-v1.schema.json +0 -0
  147. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-trace/schema/side-effect-v1.schema.json +0 -0
  148. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-trace/schema/trace-v1.schema.json +0 -0
  149. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-trace/src/captures.rs +0 -0
  150. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-trace/src/cassette.rs +0 -0
  151. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-trace/src/cassette_diff.rs +0 -0
  152. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-trace/src/egress.rs +0 -0
  153. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-trace/src/format.rs +0 -0
  154. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-trace/src/lib.rs +0 -0
  155. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-trace/src/secret.rs +0 -0
  156. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-trace/src/secret_scan.rs +0 -0
  157. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-trace/src/side_effect.rs +0 -0
  158. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-trace/src/substitution.rs +0 -0
  159. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-trace/src/toolcalls.rs +0 -0
  160. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-trace/tests/cassette_conformance.rs +0 -0
  161. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-trace/tests/fixtures/multi.trace.jsonl +0 -0
  162. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-trace/tests/fixtures/sample.trace.jsonl +0 -0
  163. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-trace/tests/schema_conformance.rs +0 -0
  164. {flowproof-0.23.5 → flowproof-0.23.7}/crates/flowproof-trace/tests/side_effect_conformance.rs +0 -0
  165. {flowproof-0.23.5 → flowproof-0.23.7}/flowproof/cli.py +0 -0
  166. {flowproof-0.23.5 → flowproof-0.23.7}/flowproof/flow.py +0 -0
  167. {flowproof-0.23.5 → flowproof-0.23.7}/flowproof/mcp_server.py +0 -0
  168. {flowproof-0.23.5 → flowproof-0.23.7}/flowproof/py.typed +0 -0
{flowproof-0.23.5 → flowproof-0.23.7}/Cargo.lock RENAMED
@@ -930,7 +930,7 @@ dependencies = [
930
930
 
931
931
  [[package]]
932
932
  name = "flowproof-adapters"
933
- version = "0.23.5"
933
+ version = "0.23.7"
934
934
  dependencies = [
935
935
  "anyhow",
936
936
  "flowproof-driver",
@@ -949,7 +949,7 @@ dependencies = [
949
949
 
950
950
  [[package]]
951
951
  name = "flowproof-agent"
952
- version = "0.23.5"
952
+ version = "0.23.7"
953
953
  dependencies = [
954
954
  "chrono",
955
955
  "flowproof-driver",
@@ -967,7 +967,7 @@ dependencies = [
967
967
 
968
968
  [[package]]
969
969
  name = "flowproof-cli"
970
- version = "0.23.5"
970
+ version = "0.23.7"
971
971
  dependencies = [
972
972
  "ab_glyph",
973
973
  "chrono",
@@ -992,7 +992,7 @@ dependencies = [
992
992
 
993
993
  [[package]]
994
994
  name = "flowproof-driver"
995
- version = "0.23.5"
995
+ version = "0.23.7"
996
996
  dependencies = [
997
997
  "calamine",
998
998
  "flowproof-trace",
@@ -1008,7 +1008,7 @@ dependencies = [
1008
1008
 
1009
1009
  [[package]]
1010
1010
  name = "flowproof-python"
1011
- version = "0.23.5"
1011
+ version = "0.23.7"
1012
1012
  dependencies = [
1013
1013
  "flowproof-agent",
1014
1014
  "flowproof-cli",
@@ -1020,7 +1020,7 @@ dependencies = [
1020
1020
 
1021
1021
  [[package]]
1022
1022
  name = "flowproof-replay"
1023
- version = "0.23.5"
1023
+ version = "0.23.7"
1024
1024
  dependencies = [
1025
1025
  "chrono",
1026
1026
  "flowproof-agent",
@@ -1034,7 +1034,7 @@ dependencies = [
1034
1034
 
1035
1035
  [[package]]
1036
1036
  name = "flowproof-trace"
1037
- version = "0.23.5"
1037
+ version = "0.23.7"
1038
1038
  dependencies = [
1039
1039
  "jsonschema",
1040
1040
  "regex",
{flowproof-0.23.5 → flowproof-0.23.7}/Cargo.toml RENAMED
@@ -22,7 +22,7 @@ members = ["crates/flowproof-driver", "crates/flowproof-trace", "crates/flowproo
22
22
  exclude = ["spike/windows-containment"]
23
23
 
24
24
  [workspace.package]
25
- version = "0.23.5"
25
+ version = "0.23.7"
26
26
  edition = "2021"
27
27
  license = "Apache-2.0"
28
28
  repository = "https://github.com/automators-com/flowproof"
{flowproof-0.23.5 → flowproof-0.23.7}/PKG-INFO RENAMED
@@ -1,6 +1,6 @@
1
1
  Metadata-Version: 2.4
2
2
  Name: flowproof
3
- Version: 0.23.5
3
+ Version: 0.23.7
4
4
  Classifier: Development Status :: 3 - Alpha
5
5
  Classifier: Intended Audience :: Developers
6
6
  Classifier: Programming Language :: Python :: 3