70 Commits

Author	SHA1	Message	Date
JanUlrich	f20b978b14	Kleine Anpassungen	2015-01-04 19:30:37 +01:00
JanUlrich	09d1acab93	Testfälle angefügt	2014-12-05 17:11:22 +01:00
JanUlrich	d41d3293aa	Debugausgaben eingeschränkt	2014-11-04 17:01:35 +01:00
JanUlrich	c1947e0810	Merge mit Änderungen am Unify	2014-11-04 13:51:48 +01:00
JanUlrich	1cb66d4f88	Umstellung auf anderen Logger	2014-11-04 13:47:05 +01:00
Martin Plümicke	da70cad512	Unifyaufruf aufgeteilt in Zusammenhangskomponenten in Sourcefile.java	2014-11-03 10:40:28 +01:00
JanUlrich	1141417c0b	Weitere Aussonderung von Constraints durch Unify	2014-10-09 17:38:10 +02:00
JanUlrich	26f35cfeb6	Logger angefügt	2014-10-09 12:01:16 +02:00
JanUlrich	2b33576488	Finite Closure ohne Subtypes. checkType statt TYPE	2014-10-08 19:00:17 +02:00
JanUlrich	81416b8bf4	Richtiger Import von Generischen Typen aus der JRE	2014-10-07 15:36:18 +02:00
JanUlrich	3db9b069c7	makeBasicAssumptions verbessert. Nimmt auch nun die Superklassen der BasicAssumptions auf	2014-10-07 10:47:52 +02:00
JanUlrich	37923779b1	In der FC_TTO werden keine T <. T Constraints mehr aufgenommen	2014-10-07 09:20:35 +02:00
JanUlrich	4c9d696905	FC enthält superklassen	2014-10-01 17:12:16 +02:00
JanUlrich	d636d29ab5	Problem mit der Umwandlung von generischen Variablen zu TPH behoben (noch nicht vollständig)	2014-09-18 16:26:02 +02:00
JanUlrich	18e7b68927	JavaParser fixed	2014-09-16 11:31:15 +02:00
JanUlrich	6505c985e0	Konstruktor von Type muss mit Elternelement im Syntaxbaum aufgerufen werden	2014-09-14 18:38:43 +02:00
JanUlrich	81d9d3ab64	Ant_build angepasst	2014-09-09 15:30:32 +02:00
JanUlrich	6858092ef1	Einführung von ConstraintType	2014-09-08 15:12:47 +02:00
JanUlrich	9f97bef6cd	Umstrukturierung zu de.dhbwstuttgart-Packagenamen	2014-09-05 11:49:31 +02:00
JanUlrich	c90f1404ab	Große Umstrukturierung	2014-09-04 16:35:44 +02:00