Skip to content

add support for concrete floating_point union - #112

Open
yuanzhuo-dev wants to merge 1 commit into
Generative-Program-Analysis:mainfrom
yuanzhuo-dev:add_float_union_type
Open

add support for concrete floating_point union#112
yuanzhuo-dev wants to merge 1 commit into
Generative-Program-Analysis:mainfrom
yuanzhuo-dev:add_float_union_type

Conversation

@yuanzhuo-dev

Copy link
Copy Markdown

Hi Prof.Guannan,

I modify struct FloatV, and add a union type called "Float_val" to replace the original implementation of "long double".

If there are any issues during your code review, please feel free to contact me.

@Kraks

Kraks commented Sep 9, 2026

Copy link
Copy Markdown
Member

Thanks for the PR! Can you also add some unit test cases to validate the execution of f32/f64/f80 numbers?

@yuanzhuo-dev

Copy link
Copy Markdown
Author

Sure! I’ll work on adding some unit test cases to verify those floating-point operations. I think I’ll first make sure the existing f80 operations are working correctly, and then test the new f32/f64 operations.

@Kraks

Kraks commented Sep 9, 2026

Copy link
Copy Markdown
Member

That sounds good!

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.

2 participants