Dr. Martin Pluemicke
|
ffdffa8371
|
Merge branch 'master' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore
|
2015-01-20 14:40:57 +01:00 |
|
Dr. Martin Pluemicke
|
e9b2564484
|
Unify.java: in subst rekursiver Aufruf fuer Wildcardargumente eingefuegt
|
2015-01-20 14:40:05 +01:00 |
|
JanUlrich
|
24caa58998
|
Merge branch 'master' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore
|
2015-01-20 13:36:15 +01:00 |
|
JanUlrich
|
3a58694a02
|
Einsetzen von Generischen Variablen angepasst
|
2015-01-20 13:35:56 +01:00 |
|
Dr. Martin Pluemicke
|
9ebe0d3850
|
Merge branch 'refactoring'
|
2015-01-20 11:54:32 +01:00 |
|
Martin Plümicke
|
6c4090bc4b
|
in Subst = in &= umgeaendert
|
2015-01-18 23:22:32 +01:00 |
|
Martin Plümicke
|
56c5ec7e18
|
Bug in subst in Unfify.java gepatched
|
2015-01-16 22:02:05 +01:00 |
|
JanUlrich
|
7d4009b6ae
|
parser.jay Fehler beheben
|
2015-01-16 14:48:20 +01:00 |
|
Martin Plümicke
|
b910584c29
|
Merge branch 'master' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore
|
2015-01-16 14:04:49 +01:00 |
|
Martin Plümicke
|
6057bc72a5
|
jay.darwin aktualisiert
|
2015-01-16 14:03:29 +01:00 |
|
JanUlrich
|
7ef990ef08
|
merged
|
2015-01-04 23:29:56 +01:00 |
|
JanUlrich
|
b44584bc7e
|
Tests angefügt
|
2015-01-04 19:34:23 +01:00 |
|
JanUlrich
|
f20b978b14
|
Kleine Anpassungen
|
2015-01-04 19:30:37 +01:00 |
|
Pluemicke Martin
|
18c9464a1e
|
Pfad von forschung aus ResearchPapers angepasst
|
2015-01-02 16:21:20 +01:00 |
|
Martin Plümicke
|
e49a8463b8
|
merge conlict in bin/.gitignore behoben
|
2015-01-02 16:13:03 +01:00 |
|
Martin Plümicke
|
a22f8c98cf
|
merge conlict in bin/.gitignore behoben
|
2015-01-02 15:59:22 +01:00 |
|
Martin Plümicke
|
e8b03d5717
|
Pfad in Bytecode/Classfile angepasst
|
2015-01-02 15:54:59 +01:00 |
|
Martin Plümicke
|
5b9cabb3e1
|
Wildcards im Subst im Unify eingefuegt Kommentare
|
2014-12-05 17:47:34 +01:00 |
|
JanUlrich
|
66da1d2638
|
merge
|
2014-12-05 17:27:17 +01:00 |
|
Martin Plümicke
|
4046066b7c
|
Wildcards im Subst im Unify eingefuegt
|
2014-12-05 17:25:46 +01:00 |
|
JanUlrich
|
09d1acab93
|
Testfälle angefügt
|
2014-12-05 17:11:22 +01:00 |
|
Martin Plümicke
|
9861fb2f3b
|
Merge branch 'master' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore
|
2014-12-05 16:40:56 +01:00 |
|
Martin Plümicke
|
aca4ee05a0
|
Bytecode ergaenzt
|
2014-12-05 16:38:32 +01:00 |
|
JanUlrich
|
e6ca6fefa2
|
Fehler in Karthesischem Produkt behoben
|
2014-11-20 02:13:01 +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
|
4401414b67
|
Anderen Logger angefügt
|
2014-11-04 13:47:31 +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
|
aeef4aed34
|
.classpath angepasst
|
2014-10-13 10:42:14 +02:00 |
|
JanUlrich
|
36efc62cc9
|
Merge branch 'refactoring' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into refactoring
|
2014-10-13 10:39:34 +02:00 |
|
JanUlrich
|
c62c31db6d
|
Kleine Änderungen am Logger
|
2014-10-13 10:39:14 +02:00 |
|
Dr. Martin Pluemicke
|
3ae2d8cfa1
|
ANTLR Library hinzugefuegt
|
2014-10-09 18:05:15 +02:00 |
|
pl
|
80e286b05a
|
Merge branch 'refactoring' of ssh://pl@gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into refactoring
|
2014-10-09 17:47:49 +02:00 |
|
JanUlrich
|
b31f770fe3
|
Logger angefügt
|
2014-10-09 17:38:29 +02:00 |
|
JanUlrich
|
1141417c0b
|
Weitere Aussonderung von Constraints durch Unify
|
2014-10-09 17:38:10 +02:00 |
|
JanUlrich
|
8723ced9b0
|
Merge branch 'refactoring' into bytecode
|
2014-10-09 13:54:55 +02:00 |
|
JanUlrich
|
efa79da5d5
|
filterUndConstraints
|
2014-10-09 13:54:44 +02:00 |
|
JanUlrich
|
4e394ae12c
|
Neuer Testfall angefügt
|
2014-10-09 12:01:41 +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
|
51e0d96174
|
Reduziertes Testbeispiel angefügt
|
2014-10-07 17:47:59 +02:00 |
|
JanUlrich
|
383e5bd883
|
NullPointerException in Unify beseitigt
|
2014-10-07 17:47:23 +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
|
0fc7e18935
|
Merge branch 'antlr' into refactoring
|
2014-10-06 14:56:16 +02:00 |
|
JanUlrich
|
ab20e2c5e8
|
FC enthält Supertklassen
|
2014-10-01 17:13:08 +02:00 |
|
JanUlrich
|
4c9d696905
|
FC enthält superklassen
|
2014-10-01 17:12:16 +02:00 |
|
Dr. Martin Pluemicke
|
e9b7fdc139
|
Merge branch 'refactoring' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into refactoring
|
2014-09-18 16:34:13 +02:00 |
|