From 4ddb4594ebb2b1405f749d7a479df60c97452141 Mon Sep 17 00:00:00 2001 From: Aria Date: Fri, 19 Jan 2024 21:01:34 +0000 Subject: chore: update tasks --- Tasks.org | 10 ++++------ 1 file changed, 4 insertions(+), 6 deletions(-) (limited to 'Tasks.org') diff --git a/Tasks.org b/Tasks.org index d56e39d..b4ca56d 100644 --- a/Tasks.org +++ b/Tasks.org @@ -108,15 +108,13 @@ Ideally, we could use information about the cargo project the file resides in to We also need to figure out which operations we want to bother counting, and how we can get an 'allocation context'/callstack. -* TODO Integration +* DOING Integration -We create the last bits of the whole pipeline: +We have the whole pipeline: - Use primrose to get candidates - Get/retrieve cached cost models - Estimate cost of each candidate - - Pick a candidate, and generate code using that candidate - -Ideally we have a usable enough CLI implementation, that can do structured intermediate outputs, as this will aid with benchmarking and presenting results later. + - TODO: Pick a candidate, and generate code using that candidate * TODO Fix fitting / cost estimation @@ -129,10 +127,10 @@ We compare our results to the best possible result, and to using the standard li * BLOCKED Nice to haves + - Better intermediate outputs, possibly export plots? - Make primrose use actual temp directories, and respect the ~CANDELABRA_SRC_DIR~ stuff that the CLI does - Separate candelabra into a library and a CLI, and give the CLI nicer outputs/subcommands for each step - Add nix build stuff for everything - Nixify the install of rosette - See if the ~linked_list_cursors~ feature / nightly compiler is actually necessary - Alternative to opaque type aliases for codegen - -- cgit v1.2.3