aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2023-10-26chore: update tasksAria
2023-10-26refactor(primrose): associated functions for lib specs, more cleanupAria
2023-10-26lint(primrose): remove a bunch of unused stuffAria
this makes maintenance easier, and improves performance in some places
2023-10-26fix(primrose): code generation missing partsAria
2023-10-26docs(primrose): more docs for ContainerSelectorAria
2023-10-26feat(primrose): add from_path for ContainerSelectorAria
2023-10-26refactor(primrose): add ContainerSelector class with suitable APIAria
ContainerSelector has methods for selecting containers, and for generating code. it deals with the details of running analysis, type checking, etc. and has a super easy API it also reduces the primrose crate to only exporting necessary things - library_specs, containerselector, and some other minor things. this makes it much easier to look at docs & understand. there are also some minor performance improvements here, ie the library is not re-parsed for every candidate considered.
2023-10-26chore: update tasksAria
2023-10-24chore: update tasksAria
2023-10-24feat(cli): add cli crate to debug library spec apiAria
2023-10-24refactor(primrose): WIP interface for parsing library specsAria
2023-10-24refactor(primrose): finish moving primrose library to other crateAria
2023-10-24style(primrose-library): lints for primrose libraryAria
2023-10-24refactor(primrose): WIP move library and traits to different crateAria
this will let us separate which parts applications need to depend on which should help later when we start generating programs that use the library it also helps with compile times, and general organisation
2023-10-22docs(tasks): broad overview of tasksAria
2023-10-20fix nix buildAria
2023-10-20minor grammarAria
2023-10-20first draft of background doneAria
2023-10-19redraftingAria
2023-10-19more revisionsAria
2023-10-18stuffAria
2023-10-17remove a lot of stuffAria
2023-10-17redraftingAria
2023-10-16more redraftingAria
2023-10-11background redraftingAria
2023-10-11add parts on brainy and collectionswitchAria
2023-10-11add biblatexAria
2023-10-06more cleanup and docsAria
2023-10-06put primrose in workspaceAria
2023-10-06add some docsAria
2023-10-06more clippy fixesAria
2023-10-06clippy suggested fixesAria
2023-10-06formatting fixesAria
2023-10-05racket stuffAria
2023-10-05update primrose to rust 2021Aria
2023-10-05add original primrose sourceAria
2023-10-02background workshopAria
2023-10-02revise design notes a bitAria
2023-10-01some notes on planned designAria
2023-09-30update tasksAria
2023-09-30section on chameleonAria
2023-09-30start writing background chapterAria
2023-09-25add tasks fileAria
2023-09-25setup thesis templateAria