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