added missing readme
Merge branch 'origin/astv2-pvj'
added context scope to the bindings for the editor. We probably need to define a VDM context instead of this used of the default text editors
cleanup
and fixed issue with tc visitors that used the adaptor instead of the interface now they used THIS and not an extra argument
clean up and fixed issue with junit assume
fixed issue where resource was set wrong in warning/error repoting
Added test for Strings
Made case for seq1seqtype do the same as that for seqseq type. In addition, some code refactoring has been made
Updated some test results
Added test for let def expression
Added statement assistant with functionality for converting from letdefexp to letdefstm
Added:
1) Generation for let def expression
2) Fix for return statement when expression is let def exp
3) refactoring of similar code out in assistant for letdefexp and letdefstm
Merge branch 'origin/kel/astv2'
Added generation of parameter types in functions (invoking functions with parameter types are left to be done)
Added test for generation of functions using parameter types
Added generation of function instantiation
Added test for generation of function instantiations