From e8d362fb04feb96e9477f71647365800481146b5 Mon Sep 17 00:00:00 2001 From: Aria Shrimpton Date: Wed, 6 Mar 2024 14:18:45 +0000 Subject: work on implementation --- Tasks.org | 44 ++++++++++++++++++++------------------------ 1 file changed, 20 insertions(+), 24 deletions(-) (limited to 'Tasks.org') diff --git a/Tasks.org b/Tasks.org index c2c1327..77ad8cc 100644 --- a/Tasks.org +++ b/Tasks.org @@ -218,48 +218,38 @@ Ideas: ** TODO Implementation -*** TODO Modifications to Primrose +*** DONE Modifications to Primrose -**** TODO API +**** DONE API -**** TODO Mapping trait +**** DONE Mapping trait -**** TODO Resiliency, etc +**** DONE Resiliency, etc -require_cdr fuckery -renaming of op- stuff -boolean literals -problems with trait bounds on element types -and on being able to implement traits w/ types using container types because of opaqueness -iterator trait stuff -mutable borrows in methods +*** DONE Cost models -*** TODO Integration w/ Cargo +**** DONE Benchmarker crate -**** TODO Metadata fetching +**** DONE Code generation -**** TODO Caching of build dependencies +**** DONE Chosen benchmarks -*** TODO Running Benchmarks +**** TODO Fitting -**** TODO Benchmarker crate +*** DONE Profiling wrapper -**** TODO Code generation - -*** TODO Profiling wrapper - -**** TODO Use of Drop +**** DONE Use of Drop -**** TODO Generics and stuff +**** DONE Generics and stuff *** TODO Selection / Codegen -**** TODO Generated code (opaque types) - **** TODO Selection Algorithm incl Adaptive **** TODO Implementation w/ const generics +**** TODO Generated code (opaque types) + *** TODO Misc Concerns **** TODO Justify Rust as language @@ -270,6 +260,12 @@ mutable borrows in methods **** TODO Ease of use +**** TODO Integration w/ Cargo + +***** TODO Metadata fetching + +***** TODO Caching of build dependencies + ** TODO Results ** TODO Analysis -- cgit v1.2.3