log

age author description
Fri, 27 Jan 2023 11:31:07 +0100 Jonatan Werpers Add some comments tooling/benchmarks
Fri, 27 Jan 2023 11:27:48 +0100 Jonatan Werpers Better file names för results tooling/benchmarks
Fri, 27 Jan 2023 11:19:58 +0100 Jonatan Werpers Add function for getting the hg rev id tooling/benchmarks
Wed, 25 Jan 2023 14:00:16 +0100 Jonatan Werpers Use benchmark time field instead of now() tooling/benchmarks
Wed, 25 Jan 2023 13:55:37 +0100 Jonatan Werpers Make run_benchmark include hg info tooling/benchmarks
Wed, 25 Jan 2023 13:39:08 +0100 Jonatan Werpers Add some hg functions tooling/benchmarks
Wed, 25 Jan 2023 13:22:51 +0100 Jonatan Werpers Clean up run_and_view tooling/benchmarks
Wed, 25 Jan 2023 13:05:15 +0100 Jonatan Werpers Ignore the tune file tooling/benchmarks
Wed, 25 Jan 2023 12:52:09 +0100 Jonatan Werpers Add run_and_view script tooling/benchmarks
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