diku-dk/futhark v0.19.5

0.19.5

on GitHub

Added

• Initial work on granting programmers more control over existential
  sizes, starting with making type abbreviations function as
  existential quantifiers (#1301).

• FutharkScript now also supports arrays and scientific notation.

• Added f32.epsilon and f64.epsilon for the difference between
  1.0 and the next larger representable number.

• Added f32.hypot and f64.hypot for your hypothenuse needs (#1344).

• Local size bindings in let expressions, e.g:

  let [n] (xs': [n]i32) = filter (>0) xs
  in ...
  

Fixed

• futhark_context_report() now internally calls
  futhark_context_sync() before collecting profiling information
  (if applicable).

• futhark literate: Parse errors for expression directives now
  detected properly.

• futhark autotune now works with the cuda backend (#1312).

• Devious fusion bug (#1322) causing compiler crashes.

• Memory expansion bug for certain complex GPU kernels (#1328).

• Complex expressions in index sections (#1332).

• Handling of sizes in abstract types in the interpreter (#1333).

• Type checking of explicit size requirements in loop parameter (#1324).

• Various alias checking bugs (#1300, #1340).