Release 0.4.0 - Githubissues

gsdlab / clafer

Clafer is a lightweight modeling language

http://clafer.org

MIT License

45 stars 13 forks source link

Release 0.4.0 #68

Closed mantkiew closed 9 years ago

mantkiew commented 9 years ago

removed XML mode.
merged SetExp into Exp, see the test case mergeExpAndSetExp.cfr.
added objectives and attributes generation to --mode=json.
type system extension see pull request for details.
named refs and redefinition see pull request for details.