JanUlrich
|
629d2dcc4d
|
Merge branch 'unify' into refactoring
|
2016-04-21 14:27:49 +02:00 |
|
Florian Steurer
|
1a32ea9ce9
|
size of unify result
|
2016-04-20 18:38:20 +02:00 |
|
Florian Steurer
|
d8feb04938
|
time log
|
2016-04-20 17:10:26 +02:00 |
|
JanUlrich
|
07d63a9586
|
Merge mit bytecode
|
2016-04-19 16:59:59 +02:00 |
|
JanUlrich
|
9e114207ce
|
Fehler mit SMALLER und SMALLERDOT behoben
|
2016-04-14 14:50:31 +02:00 |
|
Florian Steurer
|
e8c46dcdbd
|
rename unify to typeUnify
|
2016-04-13 18:32:09 +02:00 |
|
JanUlrich
|
f630f93a3d
|
Debug Ausgabe anfügen
|
2016-04-12 10:06:58 +02:00 |
|
JanUlrich
|
44318ee5d8
|
Aufräumen
|
2016-04-07 14:39:07 +02:00 |
|
Florian Steurer
|
6793b0bd24
|
rename mpair to unify pair / refactoring
|
2016-04-04 11:23:14 +02:00 |
|
JanUlrich
|
e2d384e7f9
|
Merge mit Unify und Einbinden der neuen Unifizierung. Nich lauffähige Version
|
2016-03-30 18:16:27 +02:00 |
|
JanUlrich
|
fa337c5546
|
Umstellung auf MPair beginnen
|
2016-03-29 13:23:05 +02:00 |
|
JanUlrich
|
1e9d0517f2
|
Umstellung auf MPair beginnen
|
2016-03-24 11:57:17 +01:00 |
|
JanUlrich
|
1f825360df
|
Test GenerateFiniteClosure anfügen
|
2016-03-17 16:54:43 +01:00 |
|
JanUlrich
|
e061dea7f5
|
Aufräumen SourceFile
|
2016-03-16 14:54:41 +01:00 |
|
JanUlrich
|
bb165e007d
|
Filter entfernen
|
2015-12-08 15:48:35 +01:00 |
|
|
|
87e49a692a
|
Vorbereitung für "Mehrere Lösungen in einer Classfile"
|
2015-11-06 16:42:22 +01:00 |
|
JanUlrich
|
36a3aeddb3
|
main-Methode in .jav Files möglich
|
2015-10-23 16:22:44 +02:00 |
|
|
|
bfb00ac1d1
|
ClassGenerator hat eine Map von zusätzlichen Klassen die generiert werden müssen
MyCompiler und MyCompilerApi aufgeräumt
ASTFactory Klasse angefangen
|
2015-10-22 20:40:33 +02:00 |
|
|
|
1a07c186a6
|
generateBytecode von Class gibt eine Menge an ByteCodeResults zurück, wird benötigt um zusätzliche Klassen anzulegen
|
2015-10-16 10:39:34 +02:00 |
|
JanUlrich
|
86e06a6e7a
|
Erweitern des Bytecode Gen.
|
2015-09-22 18:43:36 +02:00 |
|
JanUlrich
|
ccd25ab865
|
Bytecode erweitert. BCEL6-SNAPSHOT eingebunden.
|
2015-09-02 17:11:32 +02:00 |
|
JanUlrich
|
64bed0c60d
|
MethodCall implementiert
|
2015-08-27 16:36:19 +02:00 |
|
JanUlrich
|
d0267aa960
|
Bytecode erweitert
|
2015-08-27 13:36:14 +02:00 |
|
JanUlrich
|
2d8adb5c69
|
Beginn der Implementierung von Bytecode für Lambda Expression
|
2015-08-26 14:48:51 +02:00 |
|
JanUlrich
|
3601d11b0b
|
Fehler in deepCopy behoben
|
2015-07-15 17:09:49 +02:00 |
|
JanUlrich
|
2c4f735935
|
ConstraintType entfernt. Constructor erbt jetzt von Methode. Fehler in Constructor.pareserPostProcessing behoben
|
2015-06-16 22:08:17 +02:00 |
|
JanUlrich
|
21cf019ac4
|
Unnötige Typen gelöscht. char, int, bool, etc. Können vom Unify-Algorithmus nicht verwertet werden
|
2015-06-10 11:36:40 +02:00 |
|
JanUlrich
|
2b47b8e5bf
|
Javadoc generieren und Aufräumen: Sämtliche codegen-Methoden und Hilfsklassen zu Generierung von Bytecode löschen. Unnötige Tests entfernen. ANTLR-Package entfernen
|
2015-05-12 19:49:27 +02:00 |
|
JanUlrich
|
ae40372a8b
|
Encoding auf UTF-8 geändert
|
2015-05-12 14:57:12 +02:00 |
|
JanUlrich
|
1cb335b46b
|
ConstraintsSet umgebaut in eine KomplexeMenge von Pairs
|
2015-04-28 15:27:16 +02:00 |
|
JanUlrich
|
7ba9688702
|
Menge eingeführt und dadurch Vector abgelöst. KomplexeMenge eingeführt, ConstraintSet baut nun darauf auf
|
2015-04-22 21:40:22 +02:00 |
|
JanUlrich
|
144c31a4cb
|
Bei der Generierung der FiniteClosure werden nun Beziehungen zu Superklassen, welche Importiert wurden, korrekt angefügt
|
2015-04-08 21:23:28 +02:00 |
|
Martin Plümicke
|
47b5b2a288
|
1. BUG 15: TPH1 <. ? super TPH2 führt zu TPH1 <. TPH2 und zu Eq1 einzugefuegt 1. BUG 16: Unify in Zusammenhangskomponenten aufgeteit, muss wieder zurueckgenommen werden
|
2013-01-01 02:56:34 +01:00 |
|
Dr. Martin Pluemicke
|
7889783e8a
|
Unify Bugfix Bug 5 geloest und fuer TypVar <. RefType: ? extends Ty <. RefType eingefuegt
|
2015-03-05 13:55:21 +01:00 |
|
JanUlrich
|
da70abf954
|
Tests anfügen. Probleme mit Constructor beheben.
|
2015-02-25 18:29:44 +01:00 |
|
Pluemicke Martin
|
acd20842e2
|
oderConstraints.filterWrongConstraints(unifier); oderConstraints.unifyUndConstraints(unifier); auskommentiert
|
2015-02-17 22:12:31 +01:00 |
|
Martin Plümicke
|
56c5ec7e18
|
Bug in subst in Unfify.java gepatched
|
2015-01-16 22:02:05 +01:00 |
|
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 |
|
