v0.14.0

IntervalConstraintProgramming v0.14.0

Diff since v0.13.0

Merged pull requests:

• Rewrite the package to use Symbolics and ReversePropagation (#212) (@dpsanders)

Closed issues:

• Efficient version of separator (#6)
• Swap out and in in sepators? (#34)
• Allow parameters in constraints (#41)
• Allow reusing local variables (#60)
• Clean up code by introducing VariableSet type (#69)
• Rewrite backward function code generation (#71)
• Backward functions as inverses (#82)
• Allow expressions of the form y == exp(x) (#90)
• Allow pave for a Vector of separators (#93)
• Replace parsing with Espresso.jl! (#96)
• @function should respect the order in which arguments are specified (#111)
• Unify @function and @contractor (#113)
• Make standard functions work without macros (#127)
• Allow parameters in Contractor (#140)
• Output has too many parentheses (#143)
• Contractor((x,y) -> x) does not work (#144)
• Use macro for code generation (#148)
• Bugs with Separator and ModelingToolkit (#150)
• Paving incorrect for transcendental example from ACM TOMS paper on Filib++ (#167)
• Update to using Symbolics (#172)
• Allow constraints like x > 0 (#174)
• Removing refine! from export list (#208)
• StackOverflow with sin (#213)
• Non-empty inner set for y == log(x) (#214)

v0.13.0

IntervalConstraintProgramming v0.13.0

Diff since v0.12.4

Merged pull requests:

• Update CompatHelper.yml (#206) (@lucaferranti)
• Update CI.yml (#207) (@lucaferranti)
• Make ModelingToolkit optional - alternative (#210) (@schillic)
• Update README.md (#211) (@schillic)

v0.12.4

IntervalConstraintProgramming v0.12.4

Diff since v0.12.3

Merged pull requests:

• CompatHelper: bump compat for IntervalArithmetic to 0.20, (keep existing compat) (#202) (@github-actions[bot])

v0.12.3

IntervalConstraintProgramming v0.12.3

Diff since v0.12.1

Closed issues:

• Add documentation for using ModelingToolkit (#151)
• Problem with external constant for the macro @constraint (#154)
• Document function macro (#168)
• Remove use of DynamicPolynomials (#176)
• TagBot trigger issue (#178)

Merged pull requests:

• added missing ticks in docstring (#175) (@lucaferranti)
• remove dynamic polynomials. fixes #176 (#177) (@lucaferranti)
• migrate to gha (#179) (@lucaferranti)
• updated compat for IntervalArithmetic (#188) (@lucaferranti)

v0.12.1

IntervalConstraintProgramming v0.12.1

Diff since v0.12.0

Closed issues:

• Problem with external constant for the macro @constraint (#154)
• Package is broken due to changes in ModelingToolkit (#162)

Merged pull requests:

• Fix docs deployment (#153) (@dpsanders)
• Install TagBot as a GitHub Action (#157) (@JuliaTagBot)
• $ to `` and update docs packages (#158) (@Wikunia)
• Add torus example (#159) (@dpsanders)
• Torus example (#160) (@dpsanders)
• Revert "Add torus example" (#161) (@dpsanders)
• Fix separators (#164) (@dpsanders)
• Update Project.toml (#165) (@dpsanders)

v0.12.0

v0.12.0 (2019-07-20)

Diff since v0.11.0

Closed issues:

• Unexpected paving (#149)

Merged pull requests:

• Update Project.toml (#152) (mforets)

v0.11.0

v0.11.0 (2019-06-18)

Diff since v0.10.0

Closed issues:

• Do not sort variable names (#145)
• Breaks with new version of ModelingToolkit (#138)
• AbstractContractor and BasicContractor (#136)
• Allow C(X) for arbitrary vector X, not just IntervalBox, when C is a Contractor (#134)
• parse_comparison does not work for expression with == (#132)
• Contractor and Separator from variables and Operation (#131)
• Allow creating a Contractor from a function (#128)

Merged pull requests:

• News.md updated (#147) (yashcodes)
• Do not sort variables by name (#146) (yashcodes)
• Fixed the breaks by New version of ModelingToolkit (#139) (yashcodes)
• New BasicContractor type is made (#137) (yashcodes)
• Allowing C(X) for arbitrary vector X (#135) (yashcodes)
• Few additions in parse_comparison and in separators and contractors (#133) (yashcodes)
• Allowing to create Separators by function (#130) (yashcodes)
• Allowing to create Contractor by function (#129) (yashcodes)

Support only Julia >= 1.0

Add ModelingToolkit for creating Contractors and Separators without macros.

Bug fixes

Update index.md (#116)

Fix broken link and add link to `IntervalConstraintProgrammingNotebooks`.

Drop support for Julia 0.6

Make package fully compatible with Julia 1.0.