det: NUMVAL / NUMVAL-C in a fixed-point COMPUTE as long HFP, its store checked (Fixes #4741) by squid-protocol · Pull Request #4759 · squid-protocol/gitgalaxy

det: FUNCTION NUMVAL / NUMVAL-C in a fixed-point COMPUTE as IBM's long HFP, its store checked (Fixes #4741)

squid-protocol

and

claude

committed

ea34f77

det: refresh the coverage ledger for carddemo-tranadd (its case declares the NUMVAL store, #4741)

squid-protocol

and

claude

committed

729af8a

Merge origin/main into fix/4741-numval-fixed

squid-protocol

and

claude

committed

0a962e5

det: NUMVAL in a fixed-point statement rounds its store; drop the per-case oracle switch (#4741)

squid-protocol

and

claude

committed

69dead8

carddemo-tranadd: the invalid-card scenario uses a 15-digit value; re-prove the record and ledger (#4741)

squid-protocol

and

claude

committed

f2cd08b

Merge origin/main into fix/4741-numval-fixed

squid-protocol

and

claude

committed

9131c40

det: re-prove carddemo-tranadd and refresh the coverage ledger after merging main (#4741)

squid-protocol

and

claude

committed

cd74ca7

Merge origin/main; re-sweep det cases, regenerate ledger, tranadd evidence and reports

squid-protocol

and

claude

committed

2a636e7

Merge origin/main; regenerate ledger, tranadd evidence and reports

squid-protocol

and

claude

committed

cc77ee9

Merge origin/main; regenerate ledger and reports

squid-protocol

and

claude

committed

2f38fd7

Merge origin/main into fix/4741-numval-fixed; C6 edit moved into register/C6.md (#4793), main's evidence report and ledger taken

squid-protocol

and

claude

committed

b8e5598

det sweep ledger: re-measured the 4 ports #4741 moves after the main merge

squid-protocol

and

claude

committed

9bd3564

Merge origin/main (#4785 fingerprints) into fix/4741-numval-fixed; ledger re-applied from the sweep, carddemo-tranadd re-proved

squid-protocol

and

claude

committed

da4433e

Merge origin/main into fix/4741-numval-fixed; ledger re-applied from the sweep

squid-protocol

and

claude

committed

6e037be

Navigation Menu

Repository navigation

det: NUMVAL / NUMVAL-C in a fixed-point COMPUTE as long HFP, its store checked (Fixes #4741) - #4759

det: NUMVAL / NUMVAL-C in a fixed-point COMPUTE as long HFP, its store checked (Fixes #4741)#4759
squid-protocol merged 14 commits into
mainfrom
fix/4741-numval-fixed

Commits on Oct 9, 2026

det: FUNCTION NUMVAL / NUMVAL-C in a fixed-point COMPUTE as IBM's long HFP, its store checked (Fixes #4741)

det: refresh the coverage ledger for carddemo-tranadd (its case declares the NUMVAL store, #4741)

Merge origin/main into fix/4741-numval-fixed

det: NUMVAL in a fixed-point statement rounds its store; drop the per-case oracle switch (#4741)

carddemo-tranadd: the invalid-card scenario uses a 15-digit value; re-prove the record and ledger (#4741)

Merge origin/main into fix/4741-numval-fixed

det: re-prove carddemo-tranadd and refresh the coverage ledger after merging main (#4741)

Merge origin/main; re-sweep det cases, regenerate ledger, tranadd evidence and reports

Merge origin/main; regenerate ledger, tranadd evidence and reports

Merge origin/main; regenerate ledger and reports

Merge origin/main into fix/4741-numval-fixed; C6 edit moved into register/C6.md (#4793), main's evidence report and ledger taken

det sweep ledger: re-measured the 4 ports #4741 moves after the main merge

Merge origin/main (#4785 fingerprints) into fix/4741-numval-fixed; ledger re-applied from the sweep, carddemo-tranadd re-proved

Merge origin/main into fix/4741-numval-fixed; ledger re-applied from the sweep