futhark

Added

• The various C API functions that accept strings now perform a copy,
  meaning the caller does not have to keep the strings alive.

• Slightly better lexer error messages.

• Fusion across slicing is now possible in some cases.

• New tool: futhark profile.

Fixed

• Inefficient locking for certain segmented histograms (#2024).

Commits

• 77ac3b1: futhark profile fixup (#2033) (Nikolaj Hey Hinnerskov) #2033

Commits

• 4b6e615: futhark bench: document --profile. (Troels Henriksen)

Commits

• 79f1471: Add MyPy attributes. (Troels Henriksen)

Commits

• c024ca6: One error is enough. (Troels Henriksen)

Commits

• 9db4cfd: Python backend: use more numpy and less ctypes. (#2030) (Troels Henriksen) #2030

Commits

• a316fd4: Correct prettyprinting. (Troels Henriksen)

Commits

• 302638d: This is needed now. (Troels Henriksen)

Commits

• 9eb9309: Order Lambda elements more sensibly. (Troels Henriksen)

Commits

• c50d1cf: Fix typo. (Troels Henriksen)

Added

• futhark repl now has a :format command. Work by Dominic
  Kennedy.

Fixed

• Textual floating-point numbers printed by executables now always
  print enough digits to not hide information. Binary output is
  unchanged.

• Invalid CSE on constants could crash the compiler (#2021).

Fixed

• Invalid simplification (#2015).

• Rarely occurring deadlock for fused map-scan compositions in CUDA
  backend, when a bounds check failed in the map function.

• Compiler and interpreter crash for tricky interactions of abstract
  types and sizes (#2016). Solved by banning such uses - in principle
  this could break code.

• Incomplete alias tracking could cause removal of necessary copies,
  leading to compiler crash (#2018).

Commits

• b8017f4: We do this in style-check-file. (Troels Henriksen)
• d0e3189: Make eIndex more general. (Troels Henriksen)

Commits

• a98f354: Function application binds more tightly than infix operators. (Troels Henriksen)

Commits

• 20aa5d1: Style improvement. (Troels Henriksen)
• 74f5da2: Might as well handle this case too. (Troels Henriksen)
• 77a46b2: Accumulators witness the sizes in their type arguments. (Troels Henriksen)

Added

• pyopencl backend: compatibility with future versions of PyOpenCL.

• New backend: hip.

Fixed

• Exotic problems related to intra-group reductions with array
  operands. (Very rare in real code, although sometimes generated by
  AD.)

• Interpreter issue related to sizes in modules (#1992, #1993, #2002).

• Incorrect insertion of size arguments in in complex cases (#1998).

• Incorrect handling of match in lambda lifting (#2000).

• Regression in checking of consumption (#2007).

• Error in type checking of horisontally fused scatters could crash
  the compiler (#2009).

• Size-polymorphic value bindings with existential sizes are now
  rejected by type checker (#1993).

• Single pass scans with complicated fused map functions were
  insufficiently memory-expanded (#2023).

• Invalid short circuiting (#2013).

Commits

• ddc8ab4: Maybe these are fine now. (Troels Henriksen)

Commits

• 1a325c1: Fix typo. (Troels Henriksen)

Commits

• 985711a: HIP is also a GPU backend. (Troels Henriksen)
• dc8c91c: Sigh. (Troels Henriksen)