From 877534412a54cb111d09d1a9fc148b3695d598fa Mon Sep 17 00:00:00 2001 From: Aria Date: Thu, 26 Oct 2023 15:54:57 +0100 Subject: chore: update tasks --- Tasks.org | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/Tasks.org b/Tasks.org index c12bb1f..4788857 100644 --- a/Tasks.org +++ b/Tasks.org @@ -39,14 +39,18 @@ We can list every implementation available, its module path, the traits it imple We don't need a list of operations right now, as we'll just make a seperate implementation of cost model building for each trait, and that will give us it. -** DOING Interface for candidate generation +** DONE Interface for candidate generation We should be able to get a list of candidates for a given file, which links up with the implementation library correctly. -** TODO Interface for code generation +** DONE Interface for code generation Given we know what type to use, we should be able to generate the real code that should replace some input file. +** DOING Proof of concept type thing + +To make sure this is alright, we can try re-creating the primrose CLI, but a bit nicer and with more info. + * BLOCKED Semantic profiler We need to be able to pick some random candidate type, wrap it with profiling stuff, and run user benchmarks to get data. -- cgit v1.2.3