Ilya Chernikov 56e9bfcd62 Fix default configuration refinement in scripts

2018-07-10 08:43:50 +02:00

..

common

Fix default configuration refinement in scripts

2018-07-10 08:43:50 +02:00

jvm

Return script instance from the evaluation in the basic jvm evaluator

2018-07-10 08:43:50 +02:00

jvm-host

Avoid using reflected types in the scripting API

2018-05-28 22:10:56 +02:00

misc

Avoid using reflected types in the scripting API

2018-05-28 22:10:56 +02:00