11 Commits

Author	SHA1	Message	Date
Francisco	b86d2ab7d0	move choice_type to adt folder	2020-12-12 15:59:27 +01:00
Francisco	86ab1864f7	The struct tti_point is now used ubiquitously in the scheduler	2020-12-12 15:59:26 +01:00
Andre Puschmann	07d2bc4fe8	change license header to agnostic version with hint to root LICENSE file	2020-12-12 15:59:25 +01:00
Francisco Paisana	9146e6ddf1	change method name to resize intervals	2020-08-14 15:06:06 +01:00
Francisco Paisana	4457bbda7e	added new asserts to interval interface	2020-08-14 15:06:06 +01:00
Francisco Paisana	8b174ce2f4	changed interval interface to disallow interval::stop < interval::start via an assertion	2020-08-14 15:06:06 +01:00
Francisco Paisana	39b380c8e0	fix compilation issue for gcc version < 5	2020-08-14 15:06:06 +01:00
Francisco Paisana	2f689372dd	added missing header	2020-08-14 15:06:06 +01:00
Francisco Paisana	c1755727d7	changed interval method names, and added comments and assertions	2020-08-14 15:06:06 +01:00
Francisco Paisana	b2dd46ccad	remove extra space in to_string	2020-08-14 15:06:06 +01:00
Francisco Paisana	20b69fb22e	substitution of ul_alloc_t for prb_interval	2020-08-14 15:06:06 +01:00