Pulse has migrated into F*

Pulse is now a core part of F*!

You can follow the instructions in the F* repository to build F* and it will include Pulse by default. The releases and nightly builds will also include it.

NOTE (March 24th 2026): For the time being Pulse is only on a branch called fstar2, make sure to switch to it before building. It will be merged into master very soon.