[gar] Add fwd header, rename { riccati-impl.hpp => riccati-kernel.hpp }
#765
| Job | Run time |
|---|---|
| 1m 35s | |
| 1s | |
| 1s | |
| 1s | |
| 1m 36s | |
| 1m 34s | |
| 1m 23s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1m 37s | |
| 1s | |
| 7m 53s |
{ riccati-impl.hpp => riccati-kernel.hpp }
#765
| Job | Run time |
|---|---|
| 1m 35s | |
| 1s | |
| 1s | |
| 1s | |
| 1m 36s | |
| 1m 34s | |
| 1m 23s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1m 37s | |
| 1s | |
| 7m 53s |