Added
futhark testnow suppports property-based testing (like QuickCheck). Work by
Matin Nafar and Simon August Mørk.
Fixed
-
futhark bench: entry points that consumed their input produced misleading
profiling information. (#2464) -
Sometimes arrays returned from entry points would be unnecessarily copied if
the compiler could not be sure statically that they were in row-major layout. -
The type checker would fail to reject entry points that accepted lifted
abstract types. (#2467) -
An issue in the interpreter's handling of local opens.