issues
search
DylanLukes
/
renkon
BSD 3-Clause "New" or "Revised" License
0
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Implement TraitSpec.monomorphize and Trait.is_monomorphic for type variable elimination.
#149
DylanLukes
closed
1 day ago
0
Implement InstanceTraitSpec validators
#148
DylanLukes
closed
1 day ago
0
Implement BaseSpecTrait.instantiate
#147
DylanLukes
closed
1 day ago
0
[SPIKE] Modify TraitSpec to include explicit reference to class with inference/instantiate behavior and add "stage".
#146
DylanLukes
opened
3 days ago
0
[DEMO-06-08b-3] Extend generator with commutativity (or just filter post-facto)
#145
DylanLukes
opened
1 week ago
0
[DEMO-06-08b-2] Extend generator with type variables.
#144
DylanLukes
closed
1 day ago
0
[DEMO-06-08b-1] Implement generator for simplest case (simple types, no typevars, no comm)
#143
DylanLukes
opened
1 week ago
0
Z3: Implement iteration over all satisfying models (all_smt)
#142
DylanLukes
closed
3 weeks ago
0
[DEMO-06-08] Implement Z3 based instantiation logic
#141
DylanLukes
closed
1 week ago
1
[DEMO-06-09] Implement suite of a instantiation tests
#140
DylanLukes
opened
4 weeks ago
0
[DEMO-06-10] Spike Z3 simple int/string assignment (notebook)
#139
DylanLukes
closed
3 weeks ago
0
Spike: evaluate strategy for Z3 instantiation
#138
DylanLukes
closed
1 week ago
0
08/28/24 Project Cleanup
#137
DylanLukes
closed
1 month ago
0
[DEMO-04-04] Implement new permutations_with_commutativity wrapper for TraitSpec.commutors.
#136
DylanLukes
closed
1 week ago
2
[DEMO-04-05] Modify instantiate_trait to support new TraitSpec/TraitSketch
#135
DylanLukes
opened
1 month ago
0
[DEMO-04-07] Modify instantiate_many to support new TraitSpec/TraitSketch
#134
DylanLukes
opened
1 month ago
0
[DEMO-04-06] Refactor (simplify) Schema to not be a RootModel.
#133
DylanLukes
closed
1 month ago
0
[DEMO-04-03] Extend TraitSketch to enforce typings
#132
DylanLukes
closed
1 month ago
0
[DEMO-04-02] Implement new Trait.can_sketch(Schema) → bool method (no typevars)
#131
DylanLukes
closed
1 month ago
1
[DEMO-04-01] Implement new Trait.sketch(Schema) → TraitSketch method
#130
DylanLukes
closed
1 month ago
0
Define base and TraitSpecs for "refinements" NonZero/Positive/Negative/...
#129
DylanLukes
closed
1 month ago
0
Define Top (Any) Renkon Type.
#128
DylanLukes
closed
1 month ago
0
[DEMO-04-00] Initial "reconnaissance" towards splitting DEMO-04.
#127
DylanLukes
closed
1 month ago
0
[DEMO-05-07] Resolve TraitSpec.model_validate failing when Type occurs in model definition twice (or find workaround).
#126
DylanLukes
closed
1 month ago
0
[DEMO-05-06] Fix Type.model_validate_json.
#125
DylanLukes
closed
1 month ago
2
[DEMO-05-04] Define TraitSpecs for Equals/Greater/...
#124
DylanLukes
closed
1 month ago
0
[DEMO-05-05] Define TraitSpecs for Linear
#123
DylanLukes
closed
1 month ago
0
[DEMO-05-03] Encode commutativity in TraitSpec.
#122
DylanLukes
closed
1 month ago
0
[DEMO-05-02] Implement typevars in TraitSpec.
#121
DylanLukes
closed
1 month ago
0
[DEMO-05-1] Delete/replace references to old typing code with new dtypes.py
#120
DylanLukes
closed
1 month ago
0
[DEMO-05-0] Planning task breakout for DEMO-05
#119
DylanLukes
closed
1 month ago
0
[DEMO-03-3] Tests for conversion from polars types to renkon types
#118
DylanLukes
closed
1 month ago
0
[DEMO-03-2] Implement conversion from polars types to renkon types
#117
DylanLukes
closed
1 month ago
0
[DEMO-03-1] Implement conversion from renkon types to polars types
#116
DylanLukes
closed
1 month ago
0
[DEMO-02-1] Implement contained-by (subset of subtyping) for Union
#115
DylanLukes
closed
1 month ago
0
[DEMO-02-2] Implement test cases for membership in Union types.
#114
DylanLukes
closed
1 month ago
0
[DEMO-08] Rewrite existing tests for inference of multiple traits over existing cereals data
#113
DylanLukes
opened
2 months ago
0
[DEMO-07] New tests for inference of single traits over dummy data for each Trait
#112
DylanLukes
opened
2 months ago
0
[DEMO-06] Rewrite inference logic to access TraitSpec rather than Trait class/instance properties
#111
DylanLukes
opened
2 months ago
0
[DEMO-05] Rewrite existing traits to use TraitSpec (result will be broken)
#110
DylanLukes
closed
1 month ago
1
[DEMO-04] Replace type-matching in sketch instantiator
#109
DylanLukes
closed
1 week ago
1
[DEMO-02-4] Implement Equatable union (for comparison traits)
#108
DylanLukes
closed
1 month ago
0
[DEMO-02-3] Implement Numeric union (for e.g. linear)
#107
DylanLukes
closed
1 month ago
0
[DEMO-01] Fix failing Union tests in dtypes.py
#106
DylanLukes
closed
1 month ago
1
[DEMO] Runnable Demo
#105
DylanLukes
opened
2 months ago
0
Define TraitSpec for Linear and GreaterThan
#104
DylanLukes
closed
2 months ago
1
Write tests for integration of RenkonDataType into Schema/Trait
#103
DylanLukes
closed
2 months ago
1
[DEMO-03] Implement type conversions between primitives and polars/python/strings
#102
DylanLukes
closed
1 month ago
1
Implement validation (deserialization/conversion) for primitive types
#101
DylanLukes
closed
2 months ago
0
Implement ser/de for nullable types
#100
DylanLukes
closed
2 months ago
0
Next