DylanLukes/renkon issues and pull requests

#149 - Implement TraitSpec.monomorphize and Trait.is_monomorphic for type variable elimination.

Issue - State: closed - Opened by DylanLukes 5 months ago

#148 - Implement InstanceTraitSpec validators

Issue - State: closed - Opened by DylanLukes 5 months ago

#147 - Implement BaseSpecTrait.instantiate

Issue - State: closed - Opened by DylanLukes 5 months ago

#146 - [SPIKE] Modify TraitSpec to include explicit reference to class with inference/instantiate behavior and add "stage".

Issue - State: closed - Opened by DylanLukes 5 months ago

#145 - [DEMO-06-08b-3] Extend generator with commutativity (or just filter post-facto)

Issue - State: open - Opened by DylanLukes 5 months ago

#144 - [DEMO-06-08b-2] Extend generator with type variables.

Issue - State: closed - Opened by DylanLukes 5 months ago

#143 - [DEMO-06-08b-1] Implement generator for simplest case (simple types, no typevars, no comm)

Issue - State: open - Opened by DylanLukes 5 months ago

#142 - Z3: Implement iteration over all satisfying models (all_smt)

Issue - State: closed - Opened by DylanLukes 5 months ago

#141 - [DEMO-06-08] Implement Z3 based instantiation logic

Issue - State: closed - Opened by DylanLukes 6 months ago - 1 comment

#140 - [DEMO-06-09] Implement suite of a instantiation tests

Issue - State: open - Opened by DylanLukes 6 months ago

#139 - [DEMO-06-10] Spike Z3 simple int/string assignment (notebook)

Issue - State: closed - Opened by DylanLukes 6 months ago

#138 - Spike: evaluate strategy for Z3 instantiation

Issue - State: closed - Opened by DylanLukes 6 months ago

#137 - 08/28/24 Project Cleanup

Issue - State: closed - Opened by DylanLukes 6 months ago

#136 - [DEMO-04-04] Implement new permutations_with_commutativity wrapper for TraitSpec.commutors.

Issue - State: closed - Opened by DylanLukes 6 months ago - 2 comments

#135 - [DEMO-04-05] Modify instantiate_trait to support new TraitSpec/TraitSketch

Issue - State: open - Opened by DylanLukes 6 months ago

#134 - [DEMO-04-07] Modify instantiate_many to support new TraitSpec/TraitSketch

Issue - State: open - Opened by DylanLukes 6 months ago

#133 - [DEMO-04-06] Refactor (simplify) Schema to not be a RootModel.

Issue - State: closed - Opened by DylanLukes 6 months ago

#132 - [DEMO-04-03] Extend TraitSketch to enforce typings

Issue - State: closed - Opened by DylanLukes 6 months ago

#131 - [DEMO-04-02] Implement new Trait.can_sketch(Schema) → bool method (no typevars)

Issue - State: closed - Opened by DylanLukes 6 months ago - 1 comment

#130 - [DEMO-04-01] Implement new Trait.sketch(Schema) → TraitSketch method

Issue - State: closed - Opened by DylanLukes 6 months ago

#129 - Define base and TraitSpecs for "refinements" NonZero/Positive/Negative/...

Issue - State: closed - Opened by DylanLukes 6 months ago

#128 - Define Top (Any) Renkon Type.

Issue - State: closed - Opened by DylanLukes 6 months ago

#127 - [DEMO-04-00] Initial "reconnaissance" towards splitting DEMO-04.

Issue - State: closed - Opened by DylanLukes 6 months ago

#126 - [DEMO-05-07] Resolve TraitSpec.model_validate failing when Type occurs in model definition twice (or find workaround).

Issue - State: closed - Opened by DylanLukes 6 months ago

#125 - [DEMO-05-06] Fix Type.model_validate_json.

Issue - State: closed - Opened by DylanLukes 6 months ago - 2 comments

#124 - [DEMO-05-04] Define TraitSpecs for Equals/Greater/...

Issue - State: open - Opened by DylanLukes 6 months ago

#123 - [DEMO-05-05] Define TraitSpecs for Linear

Issue - State: closed - Opened by DylanLukes 6 months ago

#122 - [DEMO-05-03] Encode commutativity in TraitSpec.

Issue - State: open - Opened by DylanLukes 6 months ago

#121 - [DEMO-05-02] Implement typevars in TraitSpec.

Issue - State: open - Opened by DylanLukes 6 months ago

#120 - [DEMO-05-1] Delete/replace references to old typing code with new dtypes.py

Issue - State: closed - Opened by DylanLukes 6 months ago

#119 - [DEMO-05-0] Planning task breakout for DEMO-05

Issue - State: closed - Opened by DylanLukes 6 months ago

#118 - [DEMO-03-3] Tests for conversion from polars types to renkon types

Issue - State: closed - Opened by DylanLukes 6 months ago

#117 - [DEMO-03-2] Implement conversion from polars types to renkon types

Issue - State: closed - Opened by DylanLukes 6 months ago

#116 - [DEMO-03-1] Implement conversion from renkon types to polars types

Issue - State: closed - Opened by DylanLukes 6 months ago

#115 - [DEMO-02-1] Implement contained-by (subset of subtyping) for Union

Issue - State: closed - Opened by DylanLukes 6 months ago

#114 - [DEMO-02-2] Implement test cases for membership in Union types.

Issue - State: closed - Opened by DylanLukes 7 months ago

#113 - [DEMO-08] Rewrite existing tests for inference of multiple traits over existing cereals data

Issue - State: open - Opened by DylanLukes 7 months ago

#112 - [DEMO-07] New tests for inference of single traits over dummy data for each Trait

Issue - State: open - Opened by DylanLukes 7 months ago

#111 - [DEMO-06] Rewrite inference logic to access TraitSpec rather than Trait class/instance properties

Issue - State: open - Opened by DylanLukes 7 months ago

#110 - [DEMO-05] Rewrite existing traits to use TraitSpec (result will be broken)

Issue - State: closed - Opened by DylanLukes 7 months ago - 1 comment

#109 - [DEMO-04] Replace type-matching in sketch instantiator

Issue - State: closed - Opened by DylanLukes 7 months ago - 1 comment

#108 - [DEMO-02-4] Implement Equatable union (for comparison traits)

Issue - State: closed - Opened by DylanLukes 7 months ago

#107 - [DEMO-02-3] Implement Numeric union (for e.g. linear)

Issue - State: closed - Opened by DylanLukes 7 months ago

#106 - [DEMO-01] Fix failing Union tests in dtypes.py

Issue - State: closed - Opened by DylanLukes 7 months ago - 1 comment

#105 - [DEMO] Runnable Demo

Issue - State: open - Opened by DylanLukes 7 months ago

#104 - Define TraitSpec for Linear and GreaterThan

Issue - State: closed - Opened by DylanLukes 7 months ago - 1 comment

#103 - Write tests for integration of RenkonDataType into Schema/Trait

Issue - State: closed - Opened by DylanLukes 7 months ago - 1 comment

#102 - [DEMO-03] Implement type conversions between primitives and polars/python/strings

Issue - State: closed - Opened by DylanLukes 7 months ago - 1 comment

#101 - Implement validation (deserialization/conversion) for primitive types

Issue - State: closed - Opened by DylanLukes 7 months ago

#100 - Implement ser/de for nullable types

Issue - State: closed - Opened by DylanLukes 7 months ago

#99 - Implement "good-enough" ser/de for union types

Issue - State: closed - Opened by DylanLukes 7 months ago - 1 comment

#98 - Implement serialization for primitive types

Issue - State: closed - Opened by DylanLukes 7 months ago

#97 - Implement type "membership" (unions)

Issue - State: closed - Opened by DylanLukes 7 months ago

#96 - Define serializable RenkonDataType wrapping PolarsDataType

Issue - State: closed - Opened by DylanLukes 8 months ago

#95 - Refactor TraitForm into TraitPattern + TraitSchema (distinct from Schema)

Issue - State: closed - Opened by DylanLukes 8 months ago

#94 - Pydantic serialization for bitarray

Issue - State: closed - Opened by DylanLukes 8 months ago

#93 - Extract TraitInfer interface from Trait

Issue - State: closed - Opened by DylanLukes 8 months ago

#92 - Implement HTMLTraitDisplay (barebones, reuse TextTraitDisplay)

Issue - State: open - Opened by DylanLukes 8 months ago

#91 - Refactor existing code into TextTraitDisplay

Issue - State: closed - Opened by DylanLukes 8 months ago - 1 comment

#90 - Extract TraitDisplay interface from TraitForm/Trait

Issue - State: closed - Opened by DylanLukes 8 months ago

#89 - Merge TraitMeta into TraitInfo.

Issue - State: closed - Opened by DylanLukes 8 months ago

#88 - Step back to consider and plan for architectural implications for #86

Issue - State: closed - Opened by DylanLukes 8 months ago

#87 - Integrate new TraitInfo/SketchInfo model code with existing Trait/Sketch.

Issue - State: closed - Opened by DylanLukes 8 months ago - 2 comments

#86 - Refactor DTO for Result to display parameterized results

Issue - State: closed - Opened by DylanLukes 8 months ago - 2 comments

#85 - Fix Python packaging of web assets

Issue - State: open - Opened by DylanLukes 8 months ago - 1 comment

#84 - Module providing Pydantic DTOs for the `web` endpoint requests and responses

Issue - State: open - Opened by DylanLukes 8 months ago

#83 - Add package loading of Jinja templates, closes #81

Pull Request - State: closed - Opened by DylanLukes 8 months ago - 1 comment

#82 - Add package loading of Jinja templates, closes #81

Pull Request - State: closed - Opened by DylanLukes 8 months ago - 2 comments

#81 - Fix template resolution

Issue - State: closed - Opened by DylanLukes 8 months ago

#80 - Test Schema DTO

Issue - State: closed - Opened by DylanLukes 9 months ago

#79 - Repair broken CI testing/coverage infrastructure

Issue - State: closed - Opened by DylanLukes 9 months ago

#78 - Migrate Configuration to Pydantic or similar

Issue - State: closed - Opened by DylanLukes 9 months ago - 1 comment

#77 - Test TraitForm

Issue - State: closed - Opened by DylanLukes 9 months ago

#76 - Test TraitInfo

Issue - State: closed - Opened by DylanLukes 9 months ago

#75 - Test Infer(Request)Response

Issue - State: open - Opened by DylanLukes 9 months ago

#74 - Test InferRequest

Issue - State: open - Opened by DylanLukes 9 months ago

#73 - Test ResultSet

Issue - State: closed - Opened by DylanLukes 9 months ago - 1 comment

#72 - Test Result

Issue - State: closed - Opened by DylanLukes 9 months ago

#71 - Test SketchInfo

Issue - State: closed - Opened by DylanLukes 9 months ago

#70 - Update trait.Trait to use TraitInfo/TraitForm

Issue - State: closed - Opened by DylanLukes 9 months ago - 2 comments

#69 - Define validation error types for Trait/TraitForm

Issue - State: closed - Opened by DylanLukes 9 months ago - 1 comment

#68 - Update model.Trait and trait.Trait to use TraitInfo/TraitForm

Issue - State: closed - Opened by DylanLukes 9 months ago - 2 comments

#67 - DTO for Infer(Request)Response

Issue - State: open - Opened by DylanLukes 9 months ago

#66 - Pydantic validated type for f-strings to support TraitForm

Issue - State: closed - Opened by DylanLukes 9 months ago

#65 - DTO for TraitForm (templatable for user-display)

Issue - State: closed - Opened by DylanLukes 9 months ago - 1 comment

#64 - Round-trip serialization tests for DTOs

Issue - State: open - Opened by DylanLukes 9 months ago - 1 comment

#63 - DTO for Sketch information (Trait + var assignments)

Issue - State: closed - Opened by DylanLukes 9 months ago

#62 - Implement `rk` submission function

Issue - State: open - Opened by DylanLukes 9 months ago

#61 - Determine format in which dataframes should be shipped for intake

Issue - State: open - Opened by DylanLukes 9 months ago

#60 - Investigate viability of communicating over websocket from kernel to locally running webserver on another

Issue - State: open - Opened by DylanLukes 9 months ago

#59 - Extend intake endpoint to return real inference results

Issue - State: open - Opened by DylanLukes 9 months ago

#58 - Implement basic intake endpoint accepting data and displaying in console

Issue - State: open - Opened by DylanLukes 9 months ago

#57 - Determine appropriate data format for intake submission [DUPE]

Issue - State: closed - Opened by DylanLukes 9 months ago

#56 - DTO for submitted InferRequest

Issue - State: open - Opened by DylanLukes 9 months ago

#55 - DTO for delivered ResultSet

Issue - State: closed - Opened by DylanLukes 9 months ago - 1 comment

#54 - DTO for frame Schema (columns, types, etc)

Issue - State: closed - Opened by DylanLukes 9 months ago

#53 - DTO for inference Result

Issue - State: closed - Opened by DylanLukes 9 months ago - 1 comment

#52 - DTO for Trait information

Issue - State: closed - Opened by DylanLukes 9 months ago

#51 - Modify webserver to accept a data file and display real inference results

Issue - State: open - Opened by DylanLukes 9 months ago

#50 - Implement client-side display of mocked results

Issue - State: open - Opened by DylanLukes 9 months ago

GitHub / DylanLukes/renkon issues and pull requests