Fix the three defects blocking natspec spec publication - #148

Open

shellygr wants to merge 7 commits into

shelly/natspec-conf-path

Commits on Aug 10, 2026

Fix doubled certora/ segment in the natspec typecheck conf path

shellygr
and
claude
committed
36560b9

Commits on Aug 11, 2026

Fix the same doubled certora/ segment in the verify attribute

shellygr
and
claude
committed
9533f6c
Keep interfaces out of the Certora conf's files list

shellygr
and
claude
committed
6eaa4f2
Merge remote-tracking branch 'origin/master' into shelly/natspec-conf-path
shellygr
committed
02fa0f2

Commits on Aug 12, 2026

Require stub updates to yield bytecode, not merely to compile

shellygr
and
claude
committed
eccb746

Commits on Aug 17, 2026

Merge remote-tracking branch 'origin/master' into shelly/natspec-conf-path
shellygr
committed
c2b6def

Commits on Aug 21, 2026

Merge remote-tracking branch 'origin/master' into shelly/natspec-conf-path
shellygr
committed
22954b8