| Commit message (Expand) | Author | Age |
|---|
| * | Separate arith routines into a library | Tom Smeding | 10 days |
| * | Provide +nonportable-simd flag | Tom Smeding | 2025-03-14 |
| * | Up base bound to ghc-9.10 | Tom Smeding | 2024-11-13 |
| * | 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 |
| * | 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 |
| * | 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 |
| * | 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 |
| * | 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 |
| * | Nats | Tom Smeding | 2024-03-27 |
| * | GHC typenats are bad | Tom Smeding | 2024-03-27 |
| * | Initial | Tom Smeding | 2024-03-26 |
