343 Commits

Author	SHA1	Message	Date
JanUlrich	df1881bf41	Merge branch 'bytecode' into refactoring	2016-04-11 18:35:44 +02:00
JanUlrich	d63f08bf33	BytecodeTest falsch aufgerufen	2016-04-07 15:08:11 +02:00
JanUlrich	d3ebee1b3c	Merge branch 'bytecode' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into refactoring	2016-04-07 14:55:46 +02:00
Enrico Schrödter	45cad9f675	- getDescription ist nicht die Descripiton im Bytecode	2016-04-07 14:53:29 +02:00
JanUlrich	74c2b5e323	Merge branch 'bytecode' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into refactoring	2016-04-07 14:52:04 +02:00
JanUlrich	e537a76cd9	Merge branch 'unify' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into refactoring	2016-04-07 14:39:15 +02:00
JanUlrich	44318ee5d8	Aufräumen	2016-04-07 14:39:07 +02:00
Florian Steurer	8d69f6c82b	adapt rule fixed	2016-04-07 14:30:23 +02:00
Enrico Schrödter	943c4e6043	Test für System.out.println erstellt. Umsetzung vorerst nicht möglich, da ein Fehler der Typeinferenz auftritt	2016-04-07 13:54:29 +02:00
Enrico Schrödter	7b78cf8471	Bugfix: Store and Load	2016-04-07 12:19:42 +02:00
JanUlrich	3a8f1252a4	Merge branch 'bytecode' into refactoring	2016-04-06 14:23:26 +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	1bf208b833	Merge mit refactoring	2016-04-01 18:24:36 +02:00
JanUlrich	a3e7b4567a	Merge mit refactoring	2016-04-01 18:21:51 +02:00
JanUlrich	4cdcde8fef	Neuen Unify Algorithmus eingebaut	2016-04-01 16:12:30 +02:00
Florian Steurer	d89d06797e	isInSolvedForm(), Unit-Tests, removed PairOp.Equals	2016-03-31 22:09:46 +02:00
Enrico Schrödter	098cafac00	- IdentityFieldTest erstellt	2016-03-31 18:08:48 +02:00
JanUlrich	4deb91b99f	Merge branch 'bytecode' into refactoring	2016-03-31 11:50:53 +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	304a5693a6	wc regeln angepasst, triviale tests fertig	2016-03-30 16:25:26 +02:00
Enrico Schrödter	b51079280e	- New Statement, Problem Syntax des Klassennamens	2016-03-30 10:09:17 +02:00
Florian Steurer	5030410978	finitclosure tests angepasst	2016-03-29 19:07:54 +02:00
Florian Steurer	332dd57de3	greater und testy	2016-03-28 15:00:34 +02:00
Florian Steurer	ac3ce7d214	smaller	2016-03-28 11:40:21 +02:00
Enrico Schrödter	b4d7ab02eb	- UnitTest für MultiExtends Problem ... - Verhindern von doppelten Methoden von Class -> ClassGen	2016-03-28 10:33:04 +02:00
Florian Steurer	67e1c5c736	15ter testcase	2016-03-28 01:26:53 +02:00
Florian Steurer	de607cfd53	noch ein smaller test	2016-03-28 01:19:57 +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
Florian Steurer	5e18496847	smaller and test cases	2016-03-26 12:59:38 +01: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
JanUlrich	47c9be5488	Aufräumen	2016-03-22 13:17:56 +01:00
Enrico Schrödter	c80dc162d9	- Verhindern von der Generierung von doppelte Methoden	2016-03-20 18:55:36 +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
Florian Steurer	d19a79bd63	finite closure greater smaller funktioniert jetzt auch mit wildcards ... (muss noch getestet werden)	2016-03-16 23:27:45 +01:00
JanUlrich	1762101330	Type Factory in unifyNew bewegen	2016-03-16 14:56:02 +01:00
JanUlrich	a8d8dec899	Merge branch 'unify' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into refactoring	2016-03-15 13:57:21 +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
JanUlrich	b1d6b44fb9	BCEL Library aktualisiert, Stackmaptable angefügt, Tests angepasst	2016-03-10 15:28:03 +01:00