genfut

genfut copied to clipboard

Allow for multiple backends

1

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...

Erk-

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

Erk-

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) - [ ]...

Erk-

Lingering lib folder

2

Whenever I invoke the genfut build script from the readme, I get an empty 'lib' folder lingering around in my crate root. Is that intentional?

pema99

Missing deallocation of context object

1

The implementation of `FutharkContext` does not at any point call `futhark_context_free()` or `futhark_context_config_free()`. This means that the actual Futhark context object is not freed when the `FutharkContext` Rust object is...

athas

Currently in `FutharkError::new` the error string retrieved is not freed, but it should be according to the futhark docs

dignifiedquire