Skip to content

Releases: potassco/flatzinc

flatzinc version 0.3.3

02 Jun 20:21
51853e2
Compare
Choose a tag to compare
  • Fix parser for int/float literals.
    Before strings like "-81" without dot "." or "E" could be accepted as float.

flatzinc version 0.3.2

22 May 09:29
Compare
Choose a tag to compare

Bug fixes:

  • remove whitespace error when parsing set literals

flatzinc version 0.3.0

22 May 06:56
8c172dc
Compare
Choose a tag to compare

massive refactoring

flatzinc version 0.2.2

18 May 19:21
Compare
Choose a tag to compare
  • reexport error types from nom:
VerboseError
ParseError
convert_error
IResult
Err
  • add parsing function for flatzinc statements:
pub enum FzStmt {
    Predicate(PredicateItem),
    Parameter(ParDeclItem),
    Variable(VarDeclItem),
    Constraint(ConstraintItem),
    SolveItem(SolveItem),
}
pub fn fz_statement<'a, E: ParseError<&'a str>>(input: &'a str) -> IResult<&'a str, FzStmt, E> {
...
}

flatzinc 0.2.1

16 May 20:35
Compare
Choose a tag to compare

Make the followinf parsing functions public:

predicate_item(input)?;
par_decl_item(input)?;
var_decl_item(input)?;
constraint_item(input)?;
solve_item(input)?;

flatzinc 0.2.0

14 May 12:11
Compare
Choose a tag to compare
  • add fields to AnnExpr
  • make fields of important structs public
  • rename Param -> Par
  • simplify remove my_var_par_id
  • reorder add some space0
  • further cleanup
  • implement a basic version of string literal
  • bump version

flatzinc 0.1.0 - First version

25 Apr 20:49
786db15
Compare
Choose a tag to compare
v0.1.0

Rename rust.yml to ci-test.yml