From 33e243e7fc96ad6ac9bf412a1384fd0bbcd02dc0 Mon Sep 17 00:00:00 2001 From: Aria Shrimpton Date: Thu, 25 Jan 2024 11:21:21 +0000 Subject: update tasks & flake MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Flake lock file updates: • Updated input 'nixpkgs': 'github:NixOS/nixpkgs/261abe8a44a7e8392598d038d2e01f7b33cf26d0' (2023-09-24) → 'github:NixOS/nixpkgs/d7f206b723e42edb09d9d753020a84b3061a79d8' (2024-01-22) --- Tasks.org | 3 +++ 1 file changed, 3 insertions(+) (limited to 'Tasks.org') diff --git a/Tasks.org b/Tasks.org index ac41f03..ee9e2a2 100644 --- a/Tasks.org +++ b/Tasks.org @@ -121,6 +121,8 @@ We can pick the right option, but our cost models seem really weird. ie if we have two different ~insert/100 ...~ lines we should use both instead of only one +** TODO Fix seed for benchmarks + * BLOCKED Benchmarks & Evaluation We implement several test programs which require different data structures and different implementations. @@ -144,6 +146,7 @@ Ideas: - Nixify the install of rosette - See if the ~linked_list_cursors~ feature / nightly compiler is actually necessary - Alternative to opaque type aliases for codegen + - Real checking of map types * Writing -- cgit v1.2.3