Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | *asXArrayPrim -> *toXArrayPrim | Tom Smeding | 2024-06-03 | |
| | | | | This name makes much more sense in combination with *fromXArrayPrim. | |||
* | Introduce PermR type synonym | Tom Smeding | 2024-06-03 | |
| | ||||
* | Rename permutations of shaped sized lists | Mikolaj Konarski | 2024-06-01 | |
| | ||||
* | Add StrictData in Nested.Mixed | Tom Smeding | 2024-05-31 | |
| | ||||
* | Rename some commuting lemmas to better names | Tom Smeding | 2024-05-31 | |
| | ||||
* | Fix comment in Nested.Shape | Tom Smeding | 2024-05-31 | |
| | ||||
* | Make the sized lists strict again | Mikolaj Konarski | 2024-05-31 | |
| | ||||
* | Clearer module purposes | Tom Smeding | 2024-05-30 | |
| | | | | Thanks Mikolaj for discussion | |||
* | Refactor Mixed (modules, regular function names) | Tom Smeding | 2024-05-30 | |
| | ||||
* | Record the dependency on arith_lists.h for recompilation checking | Tom Smeding | 2024-05-27 | |
| | ||||
* | Fast (C) Floating ops | Tom Smeding | 2024-05-27 | |
| | ||||
* | Fast Fractional ops via C code | Tom Smeding | 2024-05-26 | |
| | ||||
* | Refactor C interface to pass operation as enum | Tom Smeding | 2024-05-26 | |
| | | | | | This is hmatrix style, less proliferation of functions as the number of ops increases | |||
* | Bugfix in wrapper for C reduce op | Tom Smeding | 2024-05-23 | |
| | ||||
* | Fast sum | Tom Smeding | 2024-05-23 | |
| | | | | Also fast product, but that's currently unused | |||
* | Fast numeric operations for Num | Tom Smeding | 2024-05-23 | |