Erk

Results 25 issues of Erk

Currently we only generate a single backend for a given futhark file, but there is nothing that should make it impossible to generate multiple. At the moment it will not...

enhancement

Futhark now have a machine readable _manifest_ which would be better to generate entry points from than scraping the generated C code with regex. https://futhark.readthedocs.io/en/stable/c-api.html#manifest

enhancement

This is a tracking issue for offering better support for the Futhark C-API ### Configuration - [ ] [`futhark_context_config_set_debugging`](https://futhark.readthedocs.io/en/stable/c-api.html#c.futhark_context_config_set_debugging) - [ ] [`futhark_context_config_set_profiling`](https://futhark.readthedocs.io/en/stable/c-api.html#c.futhark_context_config_set_profiling) - [ ] [`futhark_context_config_set_logging`](https://futhark.readthedocs.io/en/stable/c-api.html#c.futhark_context_config_set_logging) - [ ]...

help wanted
good first issue

The size of the database seems to balloon a lot on FreeBSD compared to Windows. where as on windows I can keep a 3-4x amplification factor it quickly rises to...

bug

This moves the MSRV up to 1.45. Closes #78

Add the gateway URL to the shard information since it is no longer static.

t-feature
c-gateway

Depends on #226 Will be moved away from draft when twilight 0.16 is out of release candidate.

New Dockerfile, and updates to CI with a bunch of cruft removed. Changes includes: - Using Docker BuildX instead of Podman, - Using Docker build-push-action to push to registry, -...

This was added to the member object in #5874 and expanded upon in #5881 but never added to the guild member update gateway event.