List view

Fix the topology_ function

Status: Closed (abandoned).

form-dev/formnumber 604

#604 In form-dev/form;

· by tueda was closed on Jan 21, 2026

Relax ordering constraints for $-variable ModuleOptions

Status: Merged (completed).

form-dev/formnumber 762

#762 In form-dev/form;

· by tueda was closed on Jan 20, 2026

Float test from Madrid workshop/manual

Status: Merged (completed).

form-dev/formnumber 492

#492 In form-dev/form;

· by jodavies was closed on Aug 29, 2025

Warn by default if parallel execution is vetoed due to dollar variables

Status: Merged (completed).

form-dev/formnumber 649

#649 In form-dev/form;

· by a-maier was closed on Aug 6, 2025

Flint interface v1

Status: Merged (completed).

form-dev/formnumber 644

#644 In form-dev/form;

· by jodavies was closed on Jun 10, 2025

Include FLINT in release binaries

Status: Merged (completed).

form-dev/formnumber 654

#654 In form-dev/form;

· by tueda was closed on Jun 18, 2025

Zstd compression for sort files

Status: Merged (completed).

form-dev/formnumber 541

#541 In form-dev/form;

· by tueda was closed on May 23, 2025

Optionally reallocate large+small buffer after each module

Status: Merged (completed).

form-dev/formnumber 537

#537 In form-dev/form;

· by jodavies was closed on Nov 21, 2024

Tablebase readonly mode

Status: Merged (completed).

form-dev/formnumber 531

#531 In form-dev/form;

· by Herren was closed on May 27, 2025

Evaluate pi_ and other constants as floats

Status: Merged (completed).

form-dev/formnumber 532

#532 In form-dev/form;

· by fllor was closed on May 27, 2025

RFC: better debugging

Status: Merged (completed).

form-dev/formnumber 526

#526 In form-dev/form;

· by jodavies was closed on Jun 9, 2025

mzv_ without arguments

bugSomething isn't workingSomething isn't working

Status: Closed (completed).

#646 In form-dev/form;

· by cbmarini was closed on Aug 14, 2025