feat: Introducing `fzn-rs`, a better FlatZinc parser that is easier to re-use across projects#238

Merged

maartenflippo merged 47 commits intomainfrom

feat/improved-fzn-parser

Dec 10, 2025

Commits on Dec 10, 2025

feat(fzn-rs): Started working on a more ergonomic
maartenflippo
committed
feat(fzn-rs): Implement first go at the derive macro
maartenflippo
committed
fix(fzn-rs): Don't panic in an error case, but emit a compiler error
maartenflippo
committed
refactor(fzn-rs): Attach spans to AST in preparation for error messages
maartenflippo
committed
refactor(fzn-rs): Simplify the code generation code
maartenflippo
committed
feat(fzn-rs): Improve error messages when parsing instance
maartenflippo
committed
feat(fzn-rs): Resolve arrays from the AST
maartenflippo
committed
refactor(fzn-rs): Cleanup implementation and add documentation
maartenflippo
committed
docs(fzn-rs): Add root module documentation to fzn-rs
maartenflippo
committed
feat(fzn-rs): Explicitly set the name of a constraint in derive macro
maartenflippo
committed
feat(fzn-rs): Implement a basic FZN parser, without annotation support
maartenflippo
committed
refactor(fzn-rs): Update documentation and generalize variable arguments
maartenflippo
committed
feat(fzn-rs): Start implemented typed annotation parsing
maartenflippo
committed
feat(fzn-rs): Implement parsing of nested annotations
maartenflippo
committed
feat(fzn-rs): Allow typed annotations on the solve item
maartenflippo
committed
feat(fzn-rs): Implement array annotation arguments
maartenflippo
committed
refactor(fzn-rs): Implement parsing of comments
maartenflippo
committed
feat(fzn-rs): Parse annotations in variables, arrays, constraints, and solve items
maartenflippo
committed
feat(fzn-rs): Ignore predicate declarations in flatzinc
maartenflippo
committed
feat(fzn-rs): Allow constraint arguments to be separate structs
maartenflippo
committed
docs(fzn-rs): Add example with constraint args as separate struct
maartenflippo
committed
refactor(fzn-rs): Replace '_' with '-' in crate names
maartenflippo
committed
refactor(fzn-rs): Separate annotations for variables, constraints, and solve
maartenflippo
committed
feat(fzn-rs): Parse annotation arguments in struct
maartenflippo
committed
feat(fzn-rs): Implement RangeList::iter for i64 elements
maartenflippo
committed
feat(fzn-rs): Implement support for i32 as an integer type
maartenflippo
committed
refactor(fzn-rs): Remove redundent function
maartenflippo
committed
refactor(fzn-rs): Rename VariableArg to VariableExpr, and use it as the solve item in TypedInstance
maartenflippo
committed
refactor(fzn-rs): Clean up the implementation into modules + documentation
maartenflippo
committed
fix(fzn-rs): Fix numerous compiler issues after previous refactor
maartenflippo
committed
refactor(fzn-rs): Improve documentation of the API
maartenflippo
committed
refactor(fzn-rs): Remove useless function
maartenflippo
committed
fix(fzn-rs): Ignore consequtive lines with comments
maartenflippo
committed
feat(fzn-rs): Implement display for token
maartenflippo
committed
feat(fzn-rs): Check argument length of constraint and provide span in error
maartenflippo
committed
docs(fzn-rs): Correct documentation on Ast and clarify the two annotation variants
maartenflippo
committed
refactor(fzn-rs): Use arrayexpr in annotation arguments
maartenflippo
committed
chore(fzn-rs): Remove commented code
maartenflippo
committed
refactor: Update cargo.lock
maartenflippo
committed
feat(fzn-rs): Implement parsing of the domain of array elements
maartenflippo
committed
refactor(fzn-rs): Move away from using Rc in errors
maartenflippo
committed
feat(fzn-rs): Allow access to error values
maartenflippo
committed
refactor(fzn-rs): Remove the explicit lexing stage from the fzn parser
maartenflippo
committed
Revert "refactor(fzn-rs): Remove the explicit lexing stage from the fzn parser"
maartenflippo
committed
docs(fzn-rs): Comments and naming of types
maartenflippo
committed
refactor(fzn-rs): Update docs
maartenflippo
committed
fix(fzn-rs): Remove cargo features
maartenflippo
committed