Remove astCreator from master branch
forgot to remove astCreator from tools/pom.xml
Bump tycho to 0.19.0
add methods corresponding vdm operators as follows
comp, **, inverse for map
inds, elems for sequence
add methods corresponding to vdm operators as follows
mod
forall (length of bindlist = 1)
add and delete some comments
merge kel/astv2 at #472a32fb03a6a760420c8ea45ea2ca4487edd0c2
create/modify some test data
Delete some comments
Merge commit 'b7de1cfa17388d5d9bba5d18895c98a0a3460aaa' into his/solv
Create methods corresponding to vdm operators as follows
forall
exists
abs
create test data files
create test data
create a method for set comprehension
create/modify test data files
create a method for if expression
Add self-update site to p2 instructions in product bundle.
Fixes #71
create/modify some test data files
create methods for div, rem operator in VdmToBConverter.java
create methods retern true/false in BtoVdmConverter.java
Polymorphic measure functions are not called, fixes #256