Skip to content

Add C API for virtual precision control in interflop#6

Merged
yohanchatelain merged 2 commits into
verificarlo:mainfrom
yohanchatelain:dev
May 29, 2026
Merged

Add C API for virtual precision control in interflop#6
yohanchatelain merged 2 commits into
verificarlo:mainfrom
yohanchatelain:dev

Conversation

@yohanchatelain

Copy link
Copy Markdown
Collaborator

No description provided.

yohanchatelain and others added 2 commits May 28, 2026 22:59
Adds default_virtual_precision_f32/f64 globals so the vfcwrapper
constructor (which runs before main and before user threads start) can
configure precision once and have every thread inherit it at first access
via the thread-local initialisers.

Adds prism_api.cpp with C-linkage getters/setters
(interflop_prism_{get,set}_default_virtual_precision_binary{32,64})
exported from libprism-dynamic.so so the interflop backend can reach
them via dlsym.

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
@yohanchatelain yohanchatelain merged commit 1cfc952 into verificarlo:main May 29, 2026
5 checks passed
@yohanchatelain yohanchatelain deleted the dev branch May 29, 2026 05:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant