Fri, 27 Jan 2023 22:19:06 +0100 |
Jonatan Werpers |
Even more readme
tooling/benchmarks
|
Fri, 27 Jan 2023 22:09:13 +0100 |
Jonatan Werpers |
More readme
tooling/benchmarks
|
Fri, 27 Jan 2023 22:06:12 +0100 |
Jonatan Werpers |
Add some things to README.md
tooling/benchmarks
|
Fri, 27 Jan 2023 22:02:43 +0100 |
Jonatan Werpers |
Rename the script file
tooling/benchmarks
|
Fri, 27 Jan 2023 12:43:38 +0100 |
Jonatan Werpers |
More todos
tooling/benchmarks
|
Fri, 27 Jan 2023 12:40:01 +0100 |
Jonatan Werpers |
Clean up todos
tooling/benchmarks
|
Fri, 27 Jan 2023 12:20:43 +0100 |
Jonatan Werpers |
Add the date function to BenchmarkJudment
tooling/benchmarks
|
Fri, 27 Jan 2023 12:11:04 +0100 |
Jonatan Werpers |
Fix bug in runbenchmark(t,b)
tooling/benchmarks
|
Fri, 27 Jan 2023 12:08:03 +0100 |
Jonatan Werpers |
Fix return value in run_benchmark(rev)
tooling/benchmarks
|
Fri, 27 Jan 2023 12:06:12 +0100 |
Jonatan Werpers |
Make hg_update() more flexible
tooling/benchmarks
|
Fri, 27 Jan 2023 12:05:49 +0100 |
Jonatan Werpers |
Add info about supported rev identifiers
tooling/benchmarks
|
Fri, 27 Jan 2023 11:58:02 +0100 |
Jonatan Werpers |
Add docstrings, comparing version of run_benchmark, and allow main to call any version of run_benchmark
tooling/benchmarks
|
Fri, 27 Jan 2023 11:56:38 +0100 |
Jonatan Werpers |
Fix add_rev_info
tooling/benchmarks
|
Fri, 27 Jan 2023 11:52:46 +0100 |
Jonatan Werpers |
Temporarily simplify the dummy benchmark suite
tooling/benchmarks
|
Fri, 27 Jan 2023 11:31:47 +0100 |
Jonatan Werpers |
Factor out function for adding mercurial rev info
tooling/benchmarks
|
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
|