Skip to content

Pytanque http#14

Open
theostos wants to merge 45 commits intomainfrom
pytanque_http
Open

Pytanque http#14
theostos wants to merge 45 commits intomainfrom
pytanque_http

Conversation

@theostos
Copy link
Collaborator

@theostos theostos commented Feb 7, 2026

A pull request adding support for HTTP mode (related to the rocq-ml-server project).

Main changes:

  • Added support for a new communication mode: HTTP.
  • Route decorator on each Pytanque method.
  • Added Route classes to track different types of requests:
    • InitialSessionRoute: root node in the replay tree
    • SessionRoute: child nodes in the replay tree
    • UniversalRoute: universal modifiers (e.g. set_workspace)
  • Migrated mode: str to a PytanqueMode StrEnum.
  • Added timeout support in Pytanque (note: consistency is not guaranteed).

…oject_state (for http), add `http` mode to pytanque
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant