Hi, just realized that (thanks to Kristian V-S) that there is a problem with the jit compiling in Dolfin / Instant. If you have several Dolfin instances compiled in different ways you may run into trouble as the caching mechanism does not recognize the differences. Either Instant should include compiling options in the checksum or Dolfin should uniquely represent itself with an "id". Opinions ?
Kent _______________________________________________ Mailing list: https://launchpad.net/~dolfin Post to : [email protected] Unsubscribe : https://launchpad.net/~dolfin More help : https://help.launchpad.net/ListHelp
