Add `simplex fmt` command by ikripaka · Pull Request #150 · BlockstreamResearch/smplx

ikripaka · 2026-09-10T07:56:27Z

This PR suggests a bug fix and I've added the necessary tests.
This PR introduces a new feature and I've discussed the update in an Issue or with the team.
This PR is just a minor change like a typo fix.

Add the fmt command to Simplex
Include simfmt in release bundling
Include simfmt in the simplexup installation script
Bump simplexup version from 0.0.7 to 0.0.8
Extract resolve_simf_files function in ArtifactsResolver
Add ability to format certain files, but it elides the formal verification of a package for a project

Need to be done:

Add an appropriate action variable for installing a certain version of the formatter

ikripaka · 2026-09-15T13:05:26Z

CI doesn't work because it requires a bundled simfmt in the latest version of Simplex. It will work only after the next version is released.

ikripaka · 2026-10-05T13:39:46Z

Verify that CI release and simplexup work locally by forking and publishing test crate versions

Before merging, we need to insert the proper simplexup version, simplex_turning_point_simfmt.

ikripaka · 2026-10-16T14:42:26Z

Rebased onto current dev cccdeb2

* extract resolving of simf files into separate function in ArtifactsResolver * make manifest discovery in inner folders * add ability to format certain files

ikripaka · 2026-10-27T18:30:10Z

Rebased onto current dev 2312b5b

* rename manifest to conf in changed files

Base automatically changed from dev to master September 10, 2026 09:55

ikripaka force-pushed the feat/fmt branch from 0dda17d to 3297965 Compare September 10, 2026 12:45

ikripaka changed the base branch from master to dev September 10, 2026 12:45

ikripaka marked this pull request as ready for review September 10, 2026 12:51

ikripaka requested a review from Arvolear as a code owner September 10, 2026 12:51

ikripaka force-pushed the feat/fmt branch 5 times, most recently from a45ac05 to d8d9e76 Compare September 10, 2026 14:31

Base automatically changed from dev to master September 25, 2026 12:41

ikripaka self-assigned this Oct 5, 2026

ikripaka force-pushed the feat/fmt branch from 9bc86a1 to e7c95b1 Compare October 16, 2026 14:42

Arvolear changed the base branch from master to dev October 27, 2026 15:04

ikripaka added 10 commits October 27, 2026 19:01

fixtures: format contracts

1beabf6

CI: update release workflow (include simfmt)

3719b21

simplexup: include simfmt binary

78a4dbe

fmt: add formatting functionality into a cli

b421082

* extract resolving of simf files into separate function in ArtifactsResolver * make manifest discovery in inner folders * add ability to format certain files

readme: add simplex fmt command brief description

81fc0a5

fix(cli): remove "--version" option from format option

6aa2383

fix(cli): remove "--manifet-path" option from format option

c3529be

fix(cli): move "--check" option higher

79a9ae1

fix(cli): add one "--short" field instead of "--message-format"

7922173

fix(ci): move variables around in publish CI

a888402

ikripaka force-pushed the feat/fmt branch from e7c95b1 to a888402 Compare October 27, 2026 18:29