4 commits

Author	SHA1	Message	Date
Christian Zimmermann	389e4ec0a3	change allocator	2019-03-18 11:33:33 +01:00
Christian Zimmermann	de8d456f73	conversion between vectors with different allocator types	2019-03-17 23:56:35 +01:00
Christian Zimmermann	861adac36a	various fixes (relevant for higher level meta programing)	2019-03-12 21:00:15 +01:00
Christian Zimmermann	6d776f853d	im com	2019-02-13 21:59:13 +01:00