35 Commits

Author	SHA1	Message	Date
Florian Steurer	8d69f6c82b	adapt rule fixed	2016-04-07 14:30:23 +02:00
Florian Steurer	6793b0bd24	rename mpair to unify pair / refactoring	2016-04-04 11:23:14 +02:00
Florian Steurer	2c642cb6ef	permute params test with assert	2016-04-03 22:57:11 +02:00
Florian Steurer	20d1106e07	refactored Types //	2016-04-03 22:43:55 +02:00
Florian Steurer	0d5b515a47	added extra set level / fixed subst rule bug /	2016-04-03 16:53:45 +02:00
Florian Steurer	b12f301656	Merge branch 'unify' of ssh://i13029@gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into unify	2016-04-02 11:29:43 +02:00
Florian Steurer	0be7534b98	.	2016-04-02 11:29:31 +02:00
JanUlrich	a3e7b4567a	Merge mit refactoring	2016-04-01 18:21:51 +02:00
Florian Steurer	d89d06797e	isInSolvedForm(), Unit-Tests, removed PairOp.Equals	2016-03-31 22:09:46 +02:00
Florian Steurer	304a5693a6	wc regeln angepasst, triviale tests fertig	2016-03-30 16:25:26 +02:00
JanUlrich	1e9d0517f2	Umstellung auf MPair beginnen	2016-03-24 11:57:17 +01:00
JanUlrich	f788b74f26	Merge mit Unify und Bytecode	2016-03-22 15:13:51 +01:00
Florian Steurer	21c6aef7fd	cartesische produkte überarbeitet	2016-03-20 18:05:34 +01:00
Florian Steurer	299f8f56ca	added missing cases	2016-03-20 15:09:12 +01:00
JanUlrich	1f825360df	Test GenerateFiniteClosure anfügen	2016-03-17 16:54:43 +01:00
Florian Steurer	fa9627b883	unify case 1	2016-03-17 16:35:33 +01:00
JanUlrich	1762101330	Type Factory in unifyNew bewegen	2016-03-16 14:56:02 +01:00
Florian Steurer	6acc3c1366	step 4 rule 1	2016-03-14 14:46:10 +01:00
Florian Steurer	6778160315	various	2016-03-13 23:01:28 +01:00
Florian Steurer	27acee3385	standard martelli montanari unifiy fixed	2016-03-13 16:00:00 +01:00
Florian Steurer	bdd018d922	regel 4 für paare (a <. Theta') (funktioniert zu 99 Prozent noch nicht ... richtig)	2015-12-27 15:01:59 +01:00
Florian Steurer	98cbe9b389	package rename + Mapping Klasse	2015-12-27 00:29:23 +01:00
Florian Steurer	039dd3b3f4	step 5 and 6 implemented	2015-12-26 18:49:11 +01:00
Florian Steurer	3ff45a01de	fixed cartesian products in step 4	2015-12-26 16:22:35 +01:00
Florian Steurer	53dd7b019e	cartesian products	2015-11-27 19:52:59 +01:00
Florian Steurer	97e0e2fc72	unifyTest	2015-11-23 01:03:01 +01:00
Florian Steurer	c83697dedb	Unfifier	2015-11-09 14:39:26 +01:00
Florian Steurer	1b1fae6b13	swap rule test	2015-11-07 20:37:29 +01:00
Florian Steurer	b0153be1cd	.	2015-10-24 17:47:46 +02:00
JanUlrich	05187aa49f	Merge mit bytecode	2015-10-23 14:44:55 +02:00
Florian Steurer	edf1d817d2	implemented equal for menge	2015-10-19 11:45:49 +02:00
Florian Steurer	cfc6711897	unit tests for simple types	2015-10-19 09:34:44 +02:00
Florian Steurer	9e1f417280	factories, builder and first unit test	2015-10-18 15:13:28 +02:00
Florian Steurer	7484ace724	first call to unify	2015-10-18 12:51:07 +02:00
Florian Steurer	bd8a62cda7	created unit test class	2015-10-17 19:04:32 +02:00