log

age author description
Thu, 08 Jun 2023 15:52:22 +0200 Jonatan Werpers Merge feature/variable_derivatives
Thu, 08 Jun 2023 15:52:04 +0200 Jonatan Werpers Close before merge feature/variable_derivatives
Thu, 08 Jun 2023 15:51:52 +0200 Jonatan Werpers Merge feature/variable_derivatives
Thu, 08 Jun 2023 15:45:33 +0200 Jonatan Werpers Fix some comments feature/variable_derivatives
Thu, 08 Jun 2023 15:33:44 +0200 Jonatan Werpers Merge default feature/variable_derivatives
Thu, 08 Jun 2023 09:00:48 +0200 Jonatan Werpers Actually update manifests
Wed, 31 May 2023 08:59:34 +0200 Jonatan Werpers Fix some errors in README.md tooling/benchmarks