Mpi f08 - #74

Merged

saidctb merged 47 commits into

mainfrom

Sep 26, 2026

Commits on Sep 23, 2026

codex: integrate Open MPI mpi_f08 through generated contracts
saidctb
committed
ccd75c6

Commits on Sep 24, 2026

codex: express native module storage and facade binds in contracts
saidctb
committed
66260e2
codex: preserve live Fortran module scalar storage
saidctb
committed
ca8fa9d
codex: return views for scalar module descriptors
saidctb
committed
01cc077
Fix review findings in native storage, logicals, and export selection

saidctb
and
claude
committed
026f26f
fix mkdocs
saidctb
committed
bac50fb
Remove module-qualified @bind facade routes

saidctb
and
claude
committed
99fe05c
Keep non-C logicals behind bind(C), parse IMPLICIT NONE specifiers, use all mpifort flags

saidctb
and
claude
committed
7ab48e9
Discover Fortran module sources from entry files

saidctb
and
claude
committed
8709d04
Support Open MPI 5 mpi_f08: follow re-exported types and keep dotted operators

saidctb
and
claude
committed
f14efa9
Run Open MPI in CI, match configured trees to installs, select same-named generics

saidctb
and
claude
committed
af72105
Keep native build artifacts out of the repository root

saidctb
and
claude
committed
8ba3412
Report parse diagnostics at main-source lines through compiler line markers

saidctb
and
claude
committed
4db396d

Commits on Sep 25, 2026

Honor use natures and nested submodules in module discovery; reject multi-token mpifort commands

saidctb
and
claude
committed
18cc376
Resolve imports and re-exports by the use nature, not the module name

saidctb
and
claude
committed
0edb411
Never read a same-named user module through use, intrinsic

saidctb
and
claude
committed
e444a8b
Own merged imported generics, share the intrinsic inventory, and find macro-named modules

saidctb
and
claude
committed
1fd9330
Resolve module sources from preprocessed facts and identify submodules by ancestor

saidctb
and
claude
committed
d3fef16
Take scalar and character storage arguments through shared runtime helpers

saidctb
and
claude
committed
858c1bc
Read separate module procedures as module procedures everywhere; locate units with the parser's scanner

saidctb
and
claude
committed
965c8b9
Resolve one file and a project through one path; add the one-path rule

saidctb
and
claude
committed
4d4c617
Give every duplicated source question one owner

saidctb
and
claude
committed
ce5c5b1
Verify Open MPI by configure run, fix callback and selection bugs, rewrite the mpi_f08 tutorial

saidctb
and
claude
committed
65f75a9
Shape the mpi_f08 tutorial into an mpi4py-style API; resolve re-exported contract classes

saidctb
and
claude
committed
8ed786b
Call public interface-body specifics by their own names

saidctb
and
claude
committed
9b24711

Commits on Sep 26, 2026

Run the mpi_f08 tutorial in one directory; route an ignored status through MPI_STATUS_IGNORE

saidctb
and
claude
committed
122fef6
Pass wrapped derived-type objects without per-call name strings or environment scans

saidctb
and
claude
committed
d5f9f33
Keep ranks and tags np.int32 from the start in the mpi_f08 tutorial's Python layer

saidctb
and
claude
committed
11903da
Separate the tutorial's prik_mpi helpers by two blank lines

saidctb
and
claude
committed
363c1e8
Simplify the mpi_f08 tutorial's Python layer to an illustration

saidctb
and
claude
committed
6c7c853
Compare the mpi_f08 tutorial's API with mpi4py in a short table

saidctb
and
claude
committed
63ebb86
Give the mpi_f08 tutorial's mpi4py comparison its timings and machine

saidctb
and
claude
committed
a423f1e
Explain in the mpi_f08 tutorial why small calls trail mpi4py

saidctb
and
claude
committed
203d735
Shorten the mpi_f08 tutorial's note on small-call overhead

saidctb
and
claude
committed
fa86b4b
Re-measure the mpi_f08 tutorial's mpi4py comparison with one timer

saidctb
and
claude
committed
60ab526
Describe Get_rank's time in the mpi_f08 tutorial as call overhead to optimize later

saidctb
and
claude
committed
2dca2af
codex: consolidate PRIK tests around behavioral evidence
saidctb
committed
bb1b994
codex: retain compiler probe artifact isolation test
saidctb
committed
df0f9c7
codex: remove redundant module array lowering checks
saidctb
committed
2519d54
codex: consolidate Fortran scalar test evidence
saidctb
committed
b502586
codex: remove redundant C infrastructure tests
saidctb
committed
aa4aba6
codex: point the C parser fixture README at surviving tests

saidctb
and
claude
committed
d8246c5
codex: read a character entity's *length as its length, not a dimension

saidctb
and
claude
committed
b048123
codex: print an edited .pyi contract back as it was written

saidctb
and
claude
committed
2a291ad
codex: stop documenting optional callbacks as unsupported

saidctb
and
claude
committed
2133359
codex: fold review-flagged duplicate tests into shared cases

saidctb
and
claude
committed
a5f2c56
use AGENTS.d
saidctb
committed
13f3277