Skip to content

Add flag to load Cryptol module immediately when starting cryptol-remote-api #1009

@atomb

Description

@atomb

This makes the most common stateful operation happen immediately on startup so we can treat it as essentially a stateless service (for certain use cases). We could also create a different executable that supports this and doesn't support some of the potentially stateful methods.

Metadata

Metadata

Labels

feature requestAsking for new or improved functionalityremote-apiRelated to Cryptol's remote API

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions