2 Commits

Author	SHA1	Message	Date
Clement Jamin	dfe800bc40	Clean-up debug code (global lock)	2014-05-27 12:16:29 +02:00
Clement Jamin	6b65ad71da	Changes in the "lock data structure" concept and models ... The concept is now much more generic (SurjectiveLockDataStructure). The names have been changed accordingly.	2013-10-16 12:17:56 +02:00