search

FStarLang / pulse

The Pulse separation logic DSL for F*
Apache License 2.0
6 stars 7 forks source link

Task.with_pool #255

Closed gebner closed 1 day ago

gebner commented 1 day ago

Avoid forking, which the PulseCore interpreter doesn't model yet.