search

slisson / shadowmodels

Incremental model transformations for JetBrains MPS
2 stars 0 forks source link

Run model checker on the persistent model #160

Open slisson opened 5 years ago

slisson commented 5 years ago

Usually model checkers are fast enough, but now that the persistent model is there anyway, we can make use of it.

slisson commented 5 years ago

141