Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Up base bound to ghc-9.10 | Tom Smeding | 9 days |
| | |||
* | Add pointer to haddock issue in trace-wrappers flag descr | Tom Smeding | 2024-10-10 |
| | |||
* | Upon better testing, _fused_ vector needs -O2 | Tom Smeding | 2024-06-13 |
| | | | | But we don't fuse anything usually :) | ||
* | Vector stuff needs -O2; let's set it | Tom Smeding | 2024-06-12 |
| | |||
* | Benchmark dot product | Tom Smeding | 2024-06-10 |
| | |||
* | Hide .Trace module behind a flag (trace-wrappers) | Tom Smeding | 2024-06-09 |
| | | | | Pending https://gitlab.haskell.org/ghc/ghc/-/issues/24964 | ||
* | Better cc-options | Tom Smeding | 2024-06-09 |
| | |||
* | Traced Nested module | Tom Smeding | 2024-06-09 |
| | |||
* | Test permInverse | Tom Smeding | 2024-06-03 |
| | |||
* | Clearer module purposes | Tom Smeding | 2024-05-30 |
| | | | | Thanks Mikolaj for discussion | ||
* | Refactor Nested (modules, function names) | Tom Smeding | 2024-05-30 |
| | |||
* | Refactor Mixed (modules, regular function names) | Tom Smeding | 2024-05-30 |
| | |||
* | Reorganise test files | Tom Smeding | 2024-05-28 |
| | |||
* | Fast (C) Floating ops | Tom Smeding | 2024-05-27 |
| | |||
* | 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 | ||
* | Less warnings in test | Tom Smeding | 2024-05-25 |
| | |||
* | NFData instances | Tom Smeding | 2024-05-25 |
| | |||
* | Test C sum with random inputs | Tom Smeding | 2024-05-24 |
| | |||
* | WIP testing | Tom Smeding | 2024-05-23 |
| | |||
* | Fast numeric operations for Num | Tom Smeding | 2024-05-23 |
| | |||
* | WIP benchmark file | Tom Smeding | 2024-05-20 |
| | |||
* | Rename 'test' component to 'example' | Tom Smeding | 2024-05-20 |
| | |||
* | The code compiles with only GHC nats | Tom Smeding | 2024-05-15 |
| | |||
* | WIP GHC nats | Tom Smeding | 2024-05-14 |
| | |||
* | GHC 9.8 compatibility | Tom Smeding | 2024-04-20 |
| | |||
* | Rename inductive naturals to INat | Tom Smeding | 2024-04-14 |
| | |||
* | Simple usage example | Tom Smeding | 2024-04-03 |
| | |||
* | Reorganise, documentation | Tom Smeding | 2024-04-03 |
| | |||
* | More docs, sum, shaped interface | Tom Smeding | 2024-04-02 |
| | | | | | | Very satisfying to see that the Shaped interface implementation is almost exactly the same as the Ranked one: just exchanging some Shaped for Ranked, 'sh' for 'n', etc. yields the Shaped interface. | ||
* | Nats | Tom Smeding | 2024-03-27 |
| | |||
* | GHC typenats are bad | Tom Smeding | 2024-03-27 |
| | |||
* | Initial | Tom Smeding | 2024-03-26 |