v1.0.0

First production release of IceDust!

v0.8.2

Minor release:

• use Spoofax 2.4.0
• WebDSL backend: eventual: small maintenance tweaks
• technical debt fixed: no longer importing NaBL1 runtime

v0.8.1

Fix a regression in the WebDSL backend

v0.8.0

v0.8.0

• functions: countTrue(bs : Boolean *) : Int = bs.filter(b=>b).count(). Function calls are automatically lifted to the correct multiplicity (like operators and built-in functions), and for incremental calculation function bodies are inlined at their use sites. Recursive functions are not supported.
• WebDSL eventual calculation is now concurrent, the number of threads can be selected at run-time.
• WebDSL backend features a 'flag all dependencies transitively dirty' to force recalculation of all values which influence some derived value.

v0.7.1

• JavaScript backend of IceDust, features the on-demand incremental calculation strategy, and can target plain javascript or a full html file
• Formal development of IceDust expression language in Coq, with proofs of type- and multiplicity soundness

v0.7.0

New language features:

• add subtyping
• add (on-demand incremental) calculation strategy
• add (inline) annotation for getting expressions inlined

Moreover, these features are only implemented in the NaBL2-based implementation of IceDust. So, the NaBL1-based legacy implementation of IceDust is removed.

v0.6.2

• Bump Spoofax version to 2.2.0
• NaBL2-based implementation of IceDust, available under the file extension ice2

v0.6.1

Bugfix: Java code generation for find

v0.6.0

New IceDust features:

• derived relations Entity.relation = [some expression] <-> Entity.relation
• calculation strategy composition i : Int = 5 (incremental) j : Int = 5 + i (on-demand)

See examples for more details.

v0.5.1

• upgrade to Spoofax 2.1.0