JanUlrich
3deaceec01
UnifyWithoutWildcards Test läuft durch
2018-03-08 01:41:38 +01:00
Martin Plümicke
9862df9e63
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/OrderingUnifyPair.java
Minimum funktion soweit
2018-03-08 01:12:17 +01:00
JanUlrich
9f2702276f
Fehler beheben
2018-03-08 00:03:26 +01:00
JanUlrich
87cf674352
Fehler in FCGenerator beheben
2018-03-07 23:07:53 +01:00
JanUlrich
dfd6a1f532
erge branch 'bigRefactoring' into sat
2018-03-07 23:04:16 +01:00
JanUlrich
e8388e2748
Aufräumen
2018-03-07 22:42:05 +01:00
JanUlrich
095f9a7956
Tests an neue ASPFactory anpassen
2018-03-07 22:41:00 +01:00
JanUlrich
c4aec8379e
Erste Version von ASPFactory implementieren
2018-03-07 21:52:46 +01:00
Martin Plümicke
ccc16fd22b
modified: ../../src/de/dhbwstuttgart/typeinference/unify/RuleSet.java
...
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
modified: ../../src/de/dhbwstuttgart/typeinference/unify/interfaces/IRuleSet.java
modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/FiniteClosure.java
modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/OrderingUnifyPair.java
1. Version mit compare von UnifyPairs
2018-03-07 13:09:47 +01:00
Fayez Abu Alia
54cf24926e
Bytecode arithmetische Operatoren unterschiedlischer Typen vollständig und getestet
2018-03-07 12:26:30 +01:00
Fayez Abu Alia
94d39ee21a
Merge branch 'bigRefactoring' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2018-03-07 11:49:16 +01:00
JanUlrich
725b071d28
Problem mit BinaryExpr gefixt
2018-03-07 08:47:43 +01:00
JanUlrich
284af1246b
Nicht lauffähig. ASPFactory neu implementieren
2018-03-07 07:41:46 +01:00
Fayez Abu Alia
f453343f1c
Bytecode für arithmetische Operatoren mit Parametern unterschiedlicher Typen. Testfälle bereinigt und aufgeräumt.
2018-03-06 19:14:27 +01:00
Martin Plümicke
bb016e6417
modified: src/de/dhbwstuttgart/typeinference/unify/interfaces/IFiniteClosure.java
...
modified: src/de/dhbwstuttgart/typeinference/unify/model/FiniteClosure.java
modified: src/de/dhbwstuttgart/typeinference/unify/model/OrderingUnifyPair.java
2018-03-05 20:04:10 +01:00
Martin Plümicke
831bf1fe17
modified: src/de/dhbwstuttgart/typeinference/unify/model/OrderingUnifyPair.java
...
weitere Fälle in die Ordnung eingebaut
2018-03-04 22:58:31 +01:00
Martin Plümicke
cba489f279
modified: src/de/dhbwstuttgart/typeinference/unify/model/OrderingUnifyPair.java
...
eine Variable korrigiert
TODO eingefuegt
compare muss fuer ale moeglichen Faelle aus calculatePairSets erstellt werden
2018-03-03 01:07:25 +01:00
Martin Plümicke
9f3439a15e
x
2018-03-02 14:12:06 +01:00
Martin Plümicke
356b8a7a34
modified: src/de/dhbwstuttgart/typeinference/unify/RuleSet.java
...
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
Eq for Unify vereinfachen noch nicht fertig
2018-03-01 18:00:38 +01:00
JanUlrich
ab37e1a607
Merge branch 'bigRefactoring' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bigRefactoring
2018-03-01 15:03:48 +01:00
JanUlrich
18545cff9a
GenericRefType umgestalten. Unnötige Backreferenzen entfernen
2018-03-01 13:25:03 +01:00
JanUlrich
9840281d83
Test für ASP anfügen
2018-03-01 12:31:56 +01:00
Martin Plümicke
6256bdfe2e
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
In Unfy:
- Bildung des kartesischen Produkts auf secondlevel-Ebene entfernt
In computeCartesianRecursive:
- Vereinigung der Ergebnisse ueber die Schleifen und die Rekursion eingefuegt
- Minimumbestimmung korrigiert
2018-03-01 12:27:38 +01:00
Martin Plümicke
6a9db81981
Merge
2018-02-28 17:16:28 +01:00
Pluemicke Martin
53087a8e04
result.add wieder aktiviert
2018-02-28 17:11:50 +01:00
JanUlrich
aa631b5099
UnifyTest korrekt benennen
2018-02-28 16:35:45 +01:00
JanUlrich
a3a02fe475
Merge branch 'bigRefactoring' into unify-Test
2018-02-28 16:34:48 +01:00
JanUlrich
99ce7c1122
<, > Operatoren einführen
2018-02-28 16:33:18 +01:00
Martin Plümicke
cef82c6359
Typgenerator auf alten Stand setzen, damit Matrix test lauft
2018-02-28 16:27:08 +01:00
Martin Plümicke
67fe88215a
eigenerTest
2018-02-28 16:25:45 +01:00
Martin Plümicke
f31023b4fa
merge2
2018-02-28 16:16:22 +01:00
Martin Plümicke
a733eee8b5
merge
2018-02-28 16:12:57 +01:00
Martin Plümicke
15f5a2dc76
Merge branch 'bigRefactoring' into unify-Test
2018-02-28 16:10:08 +01:00
Martin Plümicke
6fcaafe477
test
2018-02-28 16:07:02 +01:00
Fayez Abu Alia
35b99a4095
Bytecode kann für folgende Operationen +,-,*,/,% erzeugt werden
2018-02-28 15:59:21 +01:00
JanUlrich
327f36f1c2
Faculty Test ändern. UnifyTypeFactory konvertiert automatisch FunN Typen korrekt
2018-02-28 15:21:12 +01:00
Fayez Abu Alia
6b57aacef0
Merge branch 'bigRefactoring' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2018-02-28 14:58:58 +01:00
JanUlrich
f023754328
TypeStmt für +,-,/,*,% einführen
2018-02-28 14:50:16 +01:00
JanUlrich
77aaa0ecb6
Merge branch 'bigRefactoring' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bigRefactoring
2018-02-28 13:32:51 +01:00
JanUlrich
9f9a94b5cf
Testfälle bereinigen
2018-02-28 13:32:36 +01:00
JanUlrich
b66d06a165
Merge branch 'parser' into bigRefactoring
2018-02-28 11:53:53 +01:00
JanUlrich
92b110a971
Funktionierender Clingo Test
2018-02-27 19:10:16 +01:00
Fayez Abu Alia
2277f68509
Ordner manually/ in .gitignore hinzugefügt
2018-02-25 13:20:19 +01:00
Martin Plümicke
1c0fa6a820
modified: de/dhbwstuttgart/typeinference/unify/RuleSet.java
...
modified: de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
modified: de/dhbwstuttgart/typeinference/unify/model/FiniteClosure.java
logFile eingefuegt
2018-02-24 19:56:22 +01:00
Fayez Abu Alia
59569380ed
Kleiner Bug beseitigt
2018-02-23 20:17:32 +01:00
Fayez Abu Alia
4fbcf87e0c
Methoden visit(assign)/visit(literal) angepasst und generiert bytecode für Binaryexpressions. noch nicht fertig
2018-02-23 20:10:11 +01:00
JanUlrich
10b5d87119
Merge branch 'bigRefactoring' into sat
2018-02-23 11:14:47 +01:00
JanUlrich
73c37027d9
Fehler in TypeStmt UnaryExpression beheben
2018-02-23 09:16:12 +01:00
Martin Plümicke
8e198679c7
Instabiler Zustand reduce funktionert nicht
2018-02-23 00:37:59 +01:00
Martin Plümicke
419e4a6d0e
MERGE
...
Merge branch 'unify-test' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into unify-test
2018-02-21 17:55:47 +01:00
