Heiko Becker

Results 13 comments of Heiko Becker

@bksaiki Which platform are you compiling for? CakeML supports FMA's only on certain architectures.

> @HeikoBecker the target branch [maintenance/mps20211](https://github.com/IETS3/iets3.opensource/tree/maintenance/mps20211) is no longer under maintenance. Do you mind updating it to `maintenance/mps20213`? Thanks for noticing. I have rebased the branch correctly and updated the...

The PR now targets the more recent mps 2022.2 maintenance branch.

> Just some minor findings we should clarify/address before merging: > > 1. TestNixHandlerExtension and TestNixHandler are shown in the diff, although the model seem not to be present. Could...

I am not sure whether replacing colon casts with `as` is a sufficient solution to these kind of errors. To me they are more of a symptom than an actual...

All changes were reverted. This ticket is still relevant.

> I observed similar behavior using `Units`: > > > A hotfix could be to provide an intention or allow _CTRL+Enter_ at the end of `UnitReference` to create a new...

> @HeikoBecker any progresson this one? No, this PR is currently blocked.

Closing this PR in agreement with @alexanderpann since it is now quite outdated. Edit: Should not be closed for now. Might still be relevant. Sorry for the noise.