13 Commits

Author	SHA1	Message	Date
JanUlrich	7b9a00a7e6	Revert "Syntaxbaum bereinigen. Allen Code löschen. Nur Struktur bleibt erhalten" ... This reverts commit 3ab96a3ed74f41435b6b41502377f5a0084e6d75.	2016-12-16 01:05:54 +01:00
JanUlrich	3ab96a3ed7	Syntaxbaum bereinigen. Allen Code löschen. Nur Struktur bleibt erhalten	2016-12-16 00:00:37 +01:00
Florian Steurer	6793b0bd24	rename mpair to unify pair / refactoring	2016-04-04 11:23:14 +02:00
JanUlrich	a3e7b4567a	Merge mit refactoring	2016-04-01 18:21:51 +02:00
JanUlrich	e2d384e7f9	Merge mit Unify und Einbinden der neuen Unifizierung. Nich lauffähige Version	2016-03-30 18:16:27 +02:00
Florian Steurer	26cc9b85ef	smalller und neue testcases	2016-03-28 01:01:46 +02:00
Florian Steurer	257edfc0b3	fc smaller test	2016-03-26 14:09:45 +01:00
JanUlrich	1f825360df	Test GenerateFiniteClosure anfügen	2016-03-17 16:54:43 +01:00
JanUlrich	1762101330	Type Factory in unifyNew bewegen	2016-03-16 14:56:02 +01:00
Florian Steurer	98cbe9b389	package rename + Mapping Klasse	2015-12-27 00:29:23 +01:00
Florian Steurer	fb82d8c3eb	changed typeplaceholders	2015-11-13 22:45:30 +01:00
Florian Steurer	777a9b5beb	reduce1 and reduceEq Tests	2015-11-08 21:23:20 +01:00
Florian Steurer	4765c2afe0	smarg and grarg tests	2015-11-07 16:21:17 +01:00