| Commit message (Collapse) | Author | Age | Files | Lines |
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
|
|
| |
use reference implementation for tensors claiming to have non-double
cells to be able to preserve cell type for tensors created from a
TensorSpec (specifically lambda tensors with float cells).
|
|
|
|
|
|
|
|
|
|
|
|
| |
remove basic value type ANY
remove concept of tensors with unknown dimensions
disallow value types with unbound indexed dimensions
remove predicates talking about abstract types
type of unknown values are now ERROR (was ANY)
require that overlapping indexed dimensions are of equal size
type unification now requires types to be equal ('if' expressions)
creating a tensor type without dimensions now gives a double type
make rank feature setup fail on invalid types (query/attribute)
|
| |
|
| |
|
| |
|
|
|
|
| |
* also improve test to detect this bug
|
|
|