Skip to content

Integers as default - #648

Merged
cp526 merged 47 commits into
rems-project:mainfrom
cp526:integers
Sep 15, 2026
Merged

cp526 merged 47 commits into
rems-project:mainfrom
cp526:integers

Conversation

@cp526

@cp526 cp526 commented Sep 2, 2026

Copy link
Copy Markdown
Collaborator

This adds to CN an integer mode that interprets C integers using mathematical integers (with associated range constraints). The mode is not yet dynamically switchable, but the default from now. And: @rbanerjee20 's corresponding fixes for Fulminate.

@cp526
cp526 merged commit 8ebf627 into rems-project:main Sep 15, 2026
12 of 19 checks passed
@cp526
cp526 deleted the integers branch September 15, 2026 23:47
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