Björn Engelmann

I am using com.mbeddr.mpsutil.generatorfacade.runtime.GeneratorFacade to run a generator programmatically. Hence, I do not see the messages from the generation in a 'Make' messages view, but only on STDOUT / STDERR...

Currently, Interpolation in KernelF automatically pre- and appends spaces whenever inserting Expression-Words: val e = "bar" '''foo$(e)baz''' yields "foo bar baz". In order to give the user more control over...

Feature: Persisting the solver state and Resuming from it.

5

I would like to inquire your opinion on a feature idea that would IMHO make the use of Z3 significantly more flexible as well as open up new application areas....