log

age author description
Tue, 24 Jan 2023 21:57:24 +0100 Jonatan Werpers Start setting things up tooling/benchmarks
Wed, 07 Dec 2022 22:05:27 +0100 Jonatan Werpers Merge worklowdocs
Wed, 07 Dec 2022 22:04:08 +0100 Jonatan Werpers Close before merge worklowdocs
Wed, 07 Dec 2022 22:03:22 +0100 Jonatan Werpers Add a few lines about special comments worklowdocs
Wed, 07 Dec 2022 21:56:00 +0100 Vidar Stiernström Make use of discretize in sat functions feature/boundary_conditions
Wed, 07 Dec 2022 21:45:26 +0100 Jonatan Werpers Add some exmples of branch names worklowdocs