At holiday season the “Arimathea” release did some progress.
The registration of “object types” for “unbound objects” (UBOs) has been implemented and uploaded via SVN revision 327 (simulrr.sourceforge.net) and SVN revision 97 (smuos.sourceforge.net).
Still the plan is to finish “Arimathea” by a date “not before 2019”.
I thought about having the “Arminathea” release as a part of the SPARK project. I think, having this release as a part of the SPARK project was not really a good idea and removed it from SPARK project.
All the best