tema3210

Results 17 comments of tema3210

> @RalfJung > > > We do not need such a heavy hammer for floating-point operations because their non-deterministic choice is much more local, confined to each individual operation. >...

Now, in prospect of allocators api box can be implemented without a language feature; given deref patterns being merged one of prime reasons to have that syntax is gone. The...

@jackh726 > First, I'd _like_ for this to not really be needed in most cases if ever. We _should_ be able to use some form of implied bounds here. We've...

> How do you install HermitCore? Do you find the program `pi` in `/opt/hermit/x86_64-hermit/extra/tests`? Does it run? I installed toolchain via deb from tutorial,then i built hermit from sources, installed...

C compiler work, I use lubuntu 17.04

Interaction with artifact dependencies can be ruled with requirement for each artifact dep to always have its target specified. Implicit behavior here can always be added later and is unclear...

> #1050 Replace `Text.content` from `String` to `Cow

What about plain function pointers then? AFAIK spirv doesn't support these at all.

Given the scope of project (it's not proposing its own render API (right?)), I think we need to make a mechanism for gathering and exporting information about which resources are...

I've seen some work have been done on making mio and socket2 compatible with hermit in the repos, but none upstreamed, any issues there?