yeslogic doodle issues - Githubissues

yeslogic / doodle

6 stars 1 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Refactorings, refinements, and validation checks for formats

#182 archaephyrryx opened 2 days ago
0
Pattern bounds plus codegen

#181 archaephyrryx closed 3 days ago
0
Extend codegen support to Format::Where

#180 archaephyrryx closed 3 days ago
0
Pattern::Int(Bounds) to simplify matching a range of integers.

#179 mikeday closed 3 days ago
1
Extend the Bounds type and add property tests

#178 mikeday closed 3 days ago
1
Format::Where to apply boolean conditions to values.

#177 mikeday closed 3 days ago
1
Documentation and parameter-name tweaking for `helper.rs`

#176 archaephyrryx closed 3 days ago
0
Miscellaneous refinements based on known gaps in `doodle-formats` implementations

#175 archaephyrryx closed 1 week ago
0
Optimizes `Expr::eval` pessimal performance by removing all ParseLoc-related code

#174 archaephyrryx closed 1 week ago
0
Draft: Benchmarking and profiling for slow-running decoders (e.g. Inflate)

#173 archaephyrryx closed 3 days ago
1
Elaborator and prelude support for new Inflate Primitives

#172 archaephyrryx closed 2 weeks ago
0
Fix tests

#171 archaephyrryx closed 3 weeks ago
0
Adds TYPECHECKER.md guide

#170 archaephyrryx closed 3 weeks ago
0
Crude basics of hierarchical name-generation model

#169 archaephyrryx closed 3 weeks ago
0
Static analysis for selective elision of vacuous expressions, promotion of hard-coded strings to productive elements of associated model-structures

#168 archaephyrryx closed 1 month ago
0
RepeatBetween format for bounded repetitions

#167 archaephyrryx closed 1 month ago
0
WIP: Add test images and test runner for all files in the test directory

#166 archaephyrryx closed 3 weeks ago
0
Working model for parse-location tracing in Value production and output

#165 archaephyrryx closed 1 month ago
0
Replace Expr::Inflate with two new primitives

#164 mikeday closed 2 weeks ago
1
Ensure lengths of expected and provided args agree

#163 archaephyrryx closed 2 months ago
0
codegen: corner-case fix for 1-element anonymous tuples

#162 archaephyrryx closed 2 months ago
0
Add ItemVar args to UScope

#161 archaephyrryx closed 2 months ago
0
[FIX] Add ItemVar arguments to typechecker eval scope of called format

#160 archaephyrryx closed 2 months ago
1
Simplify deflate format

#159 mikeday closed 2 months ago
0
Add lookahead_bounds method

#158 archaephyrryx closed 3 months ago
0
Parsing engine

#157 archaephyrryx closed 1 month ago
0
Type-Aware Codegen with elaborated Formats

#156 archaephyrryx closed 3 months ago
0
Fix some trivial warnings.

#155 mikeday closed 3 months ago
0
IntRel and Arith enums can implement Copy.

#154 mikeday closed 4 months ago
0
Split base module into helper so functions can be used in tests

#153 mikeday closed 4 months ago
0
Clarify that DynFormat::Huffman only takes Seq(U8).

#152 mikeday closed 4 months ago
0
Move base module into library crate

#151 mikeday closed 4 months ago
1
Output doesn't need scopes at all!

#150 mikeday closed 4 months ago
0
TypeChecker Engine for incremental type inference and unification of Format, Expr, Pattern

#149 archaephyrryx closed 3 months ago
0
Change unwrap_tuple_type to return Result instead of panicking.

#148 mikeday closed 4 months ago
0
Expr::SubSeq indices must be U32.

#147 mikeday closed 5 months ago
0
Quick sketch of MPEG4 / QuickTime format

#146 mikeday closed 4 months ago
0
Change Format::UnionNondet to be consistent with Union.

#145 mikeday closed 5 months ago
0
WIP: Separate typechecker engine, miscellaneous refactorings, unused tree-extension model

#144 archaephyrryx closed 4 months ago
0
Improve Bounds type and add Pattern::Int(Bounds)

#143 mikeday closed 4 days ago
0
Simplify Expr type by introducing Arith and IntRel enums.

#142 mikeday closed 5 months ago
0
Add more convenience functions for constructing expressions.

#141 mikeday closed 5 months ago
0
Type checking with new VarType

#140 mikeday opened 6 months ago
0
Compile each format into only one decoder by taking the union of nexts.

#139 mikeday opened 6 months ago
0
WIP: new parser attempt

#138 mikeday opened 7 months ago
0
Remove Format::UnionVariant and MatchVariant.

#137 mikeday closed 7 months ago
0
Move some decoder compiler methods around for clarity.

#136 mikeday closed 7 months ago
0
Codegen fixes

#135 archaephyrryx opened 7 months ago
0
Streaming parser experiment, unfinished

#134 mikeday closed 7 months ago
0
Rust-AST with Fragment-based printing to support `--output rust` (currently only partially)

#133 archaephyrryx closed 7 months ago
0