6 Commits

Author	SHA1	Message	Date
Sharan Roongta	9a9d287aed	tau_0 should be per slip family	2021-02-24 13:18:42 +01:00
Martin Diehl	53bab41b47	consistent name 'ph' and cleaning	2021-02-16 16:06:09 +01:00
Martin Diehl	18971d7d8b	separation by instance does not add any value	2021-02-14 10:26:33 +01:00
Martin Diehl	9481b16878	missing renames	2021-02-13 19:10:13 +01:00
Martin Diehl	ab202b8e73	less verbose reporting	2021-02-13 13:07:35 +01:00
Martin Diehl	e855083964	systematic names	2021-02-11 14:19:04 +01:00