`prelude_size` function made no longer static#1752

Draft

z5146542 wants to merge 81 commits intoherd:masterfrom

z5146542:inlineport5

Commits on Jan 23, 2026

added provisional template C file
Simon Park
committed

Commits on Jan 28, 2026

Merge remote-tracking branch 'upstream/master'
Simon Park
committed

Commits on Feb 19, 2026

squashed all commits to one
Simon Park
committed

Commits on Feb 23, 2026

added header guards and moved include to find ins
Simon Park
committed

Commits on Feb 26, 2026

added initial header info
Simon Park
committed

Commits on Mar 2, 2026

potential fix to instruction port problem
Simon Park
committed

Commits on Mar 3, 2026

fixed aarch64 std and presi instruction.h error
Simon Park
committed
fixed merge conflict
Simon Park
committed
fixed missing file
Simon Park
committed

Commits on Mar 12, 2026

hashtable C code no longer static
Simon Park
committed

Commits on Mar 17, 2026

intrinsics and prelude_size now not inlined
Simon Park
committed

Commits on Mar 19, 2026

fixed kvm self mode compilation error
Simon Park
committed
Merge branch 'inlineport' into inlineport2
Simon Park
committed
Merge branch 'inlineport' into inlineport4
Simon Park
committed
Merge branch 'inlineport' into inlineport5
Simon Park
committed
fixed kvm self mode compilation error
Simon Park
committed
fixed kvm self mode compilation error
Simon Park
committed
Merge branch 'inlineport' of github.com:z5146542/herdtools7 into inlineport
Simon Park
committed
Merge branch 'inlineport' into inlineport2
Simon Park
committed
Merge branch 'inlineport' into inlineport4
Simon Park
committed
Merge branch 'inlineport5' of github.com:z5146542/herdtools7 into inlineport5
Simon Park
committed
Merge branch 'inlineport' into inlineport5
Simon Park
committed
fixed kvm self mode compilation error
Simon Park
committed
Merge branch 'inlineport2' of github.com:z5146542/herdtools7 into inlineport2
Simon Park
committed
fixed kvm self mode compilation error
Simon Park
committed
Merge branch 'inlineport4' of github.com:z5146542/herdtools7 into inlineport4
Simon Park
committed
added missing header
Simon Park
committed
Merge branch 'inlineport4' into inlineport5
Simon Park
committed
added initial header info
Simon Park
committed
fixed merge conflict
Simon Park
committed
Merge branch 'inlineport2' into inlineport4
Simon Park
committed
Merge branch 'inlineport4' into inlineport5
Simon Park
committed

Commits on Mar 20, 2026

fixed all kvm aarch64 compilation errors
Simon Park
committed
Merge branch 'inlineport' into inlineport2
Simon Park
committed
Merge branch 'inlineport2' into inlineport4
Simon Park
committed
Merge branch 'inlineport4' into inlineport5
Simon Park
committed

Commits on Mar 23, 2026

fixed timebase not copying and make clean deleting o files
Simon Park
committed
Merge branch 'inlineport' into inlineport2
Simon Park
committed
Merge branch 'inlineport2' into inlineport4
Simon Park
committed
Merge branch 'inlineport4' into inlineport5
Simon Park
committed
made header guards more consistent, removed old comments, and improved readability of some code
Simon Park
committed
fixed merge conflict
Simon Park
committed
fixed merge conflict
Simon Park
committed
fixed merge conflict
Simon Park
committed
added additional ignores
Simon Park
committed
Merge branch 'inlineport4' into inlineport5
Simon Park
committed
added additional ignores
Simon Park
committed

Commits on Mar 24, 2026

added provisional template C file

Simon Park
authored and
Simon Park
committed
squashed all commits to one
Simon Park
committed
added header guards and moved include to find ins
Simon Park
committed
added initial header info
Simon Park
committed
fixed all kvm aarch64 compilation errors
Simon Park
committed
fixed timebase not copying and make clean deleting o files
Simon Park
committed
made header guards more consistent, removed old comments, and improved readability of some code
Simon Park
committed
rebased with origin master and fixed merge conflict
Simon Park
committed
rebased and fixed type merge conflict
Simon Park
committed
Merge branch 'inlineport2' into inlineport4
Simon Park
committed
Merge branch 'inlineport4' into inlineport5
Simon Park
committed
added provisional template C file

Simon Park
authored and
Simon Park
committed
squashed all commits to one
Simon Park
committed
added header guards and moved include to find ins
Simon Park
committed
added initial header info
Simon Park
committed
fixed all kvm aarch64 compilation errors
Simon Park
committed
fixed timebase not copying and make clean deleting o files
Simon Park
committed
made header guards more consistent, removed old comments, and improved readability of some code
Simon Park
committed
added provisional template C file

Simon Park
authored and
Simon Park
committed
squashed all commits to one
Simon Park
committed
added header guards and moved include to find ins
Simon Park
committed
added initial header info
Simon Park
committed
fixed all kvm aarch64 compilation errors
Simon Park
committed
made header guards more consistent, removed old comments, and improved readability of some code
Simon Park
committed
fixed missing header guard
Simon Park
committed
fixed copyright headers
Simon Park
committed
fixed merge conflict
Simon Park
committed
fixed merge conflict
Simon Park
committed
Merge branch 'inlineport4' into inlineport5
Simon Park
committed
fixed std self mode error
Simon Park
committed
fixed gcc warning on exit stdlib
Simon Park
committed
Merge branch 'inlineport' into inlineport2
Simon Park
committed
Merge branch 'inlineport2' into inlineport4
Simon Park
committed
Merge branch 'inlineport4' into inlineport5
Simon Park
committed