Skip to content

Conversation

@Incarnation-p-lee
Copy link
Contributor

  • Remove the TODO workaround as fixed.

* Remove the TODO workaround as fixed.

Signed-off-by: Pan Li <pan2.li@intel.com>
@Incarnation-p-lee
Copy link
Contributor Author

The workaround was fixed by @Alasdair in commit ededb75. Thus remove this workaround and comments, and thanks @Alasdair for the quick fix in a day!

@Incarnation-p-lee Incarnation-p-lee changed the title Remove undefined_gen for if-else type Remove undefined_gen for if-else type float_bits May 3, 2024
@github-actions
Copy link

github-actions bot commented May 3, 2024

Test Results

    9 files  ±0     20 suites  ±0   0s ⏱️ ±0s
  620 tests ±0    620 ✅ ±0  0 💤 ±0  0 ❌ ±0 
1 990 runs  ±0  1 989 ✅ ±0  1 💤 ±0  0 ❌ ±0 

Results for commit 2dac639. ± Comparison against base commit a0dadc7.

@Alasdair Alasdair merged commit c779d64 into rems-project:sail2 May 6, 2024
TinyuengKwan pushed a commit to TinyuengKwan/sail that referenced this pull request Dec 31, 2025
- The `end` statement for `scattered enum extension` misspelled `extension`.
- `end extensionEnabled` was inadvertently dropped, and now been restored.
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