7 Commits

Author	SHA1	Message	Date
jsteube	d2877b95e4	Automatically disable most features in case -I is used	2016-09-30 13:14:11 +02:00
jsteube	ea2eef72f2	Make induction support modular	2016-09-30 11:59:24 +02:00
jsteube	133c9295f5	Cleaned up data_t, only contexts left	2016-09-29 23:49:33 +02:00
jsteube	919b5d5148	Move all induction folder related host code into induct.c	2016-09-22 17:06:53 +02:00
jsteube	25f8a95306	Move some general induction-related functions to induct.c	2016-09-14 15:08:22 +02:00
jsteube	3daf0af480	Added docs/credits.txt ... Added docs/team.txt	2016-09-11 22:20:15 +02:00
jsteube	2a6e03510b	Add template files	2016-09-11 11:42:19 +02:00