Commit Graph

  • 9281786db4 Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2 Fayez Abu Alia 2018-08-13 18:29:30 +0200
  • 77d397fc53 modified: src/de/dhbwstuttgart/bytecode/BytecodeGen.java modified: src/de/dhbwstuttgart/bytecode/signature/Signature.java modified: src/de/dhbwstuttgart/bytecode/signature/TypeToSignature.java modified: test/bytecode/javFiles/Merge.jav modified: test/bytecode/javFiles/OL.jav modified: test/bytecode/javFiles/Tph.jav modified: test/bytecode/javFiles/Tph3.jav new file: test/bytecode/javFiles/WC.jav Fayez Abu Alia 2018-08-13 18:28:41 +0200
  • 5f89188d00 new file: ../../test/bytecode/Tph5Test.java new file: ../../test/bytecode/javFiles/Tph5.jav erzeugt Typfehler zur Laufzeit mit mport java.util.Vector; Martin Plümicke 2018-08-13 18:19:02 +0200
  • 2c9f085cca modified: src/de/dhbwstuttgart/core/JavaTXCompiler.java modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java Zeilen 606 - 623 eingefuegt, um die parallel berechneten Ergebnisse richtig zu filtern TODO - Fuer Variance -1 muss das gleiche gemacht werden - ab Zeile 550: nextSetasListRest muss nach jedem fork aufruf gefiltert werden. unifyOptimierung Martin Plümicke 2018-08-09 18:41:28 +0200
  • 6bdd347298 Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2 Martin Plümicke 2018-08-09 15:34:57 +0200
  • 9b131c48b0 modified: test/bytecode/LambdaTest.java modified: test/bytecode/javFiles/Lambda.jav aufgeraeumt Martin Plümicke 2018-08-09 15:32:48 +0200
  • 5e14acfa12 modified: ../../test/bytecode/javFiles/Merge.jav modified: ../../test/bytecode/javFiles/OL.jav Martin Plümicke 2018-08-08 18:12:24 +0200
  • 7d9976e638 modified: ../../src/de/dhbwstuttgart/typeinference/typeAlgo/GenericsResolverSameName.java Martin Plümicke 2018-08-08 15:32:42 +0200
  • 2bbb6e0b6b Bug in Signature gefixt. Merge Test tut. Fayez Abu Alia 2018-08-08 14:33:31 +0200
  • 6d34ae89ae modified: src/de/dhbwstuttgart/core/JavaTXCompiler.java modified: src/de/dhbwstuttgart/typeinference/unify/RuleSet.java modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnify.java modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java logging für TypeUnify aus commit d6364040 wiederhergestellt Martin Plümicke 2018-08-07 17:38:40 +0200
  • 9492c43e70 Merge mit bigRefactoring JanUlrich 2018-08-06 16:43:24 +0200
  • f18083ba06 Merge JanUlrich 2018-08-06 16:39:35 +0200
  • b9aee4da77 Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2 JanUlrich 2018-08-06 16:40:08 +0200
  • 70972a5cbf Fehler mit GenericRefTypes in Wildcards beheben JanUlrich 2018-08-06 16:39:35 +0200
  • f99d4dae5a DUP Befehl fuer UnaryExpr Fayez Abu Alia 2018-08-06 16:14:09 +0200
  • dc535ad9b7 Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2 Fayez Abu Alia 2018-08-06 14:47:26 +0200
  • dd8b4f322e BinaryTest funktioniert Fayez Abu Alia 2018-08-06 14:46:54 +0200
  • af894ebfe4 Fehler mit Wildcards in ASTFactory beheben JanUlrich 2018-08-06 14:01:31 +0200
  • cc676f32c5 Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2 JanUlrich 2018-08-06 14:01:53 +0200
  • 272948f70d Fehler mit Wildcards in ASTFactory beheben JanUlrich 2018-08-06 14:01:31 +0200
  • 5d0603f423 Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2 Fayez Abu Alia 2018-08-06 13:53:19 +0200
  • 3e9e222d73 Merge branch 'plugin' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2 Martin Plümicke 2018-08-06 13:45:20 +0200
  • d6364040fa merge Fayez Abu Alia 2018-08-06 13:34:34 +0200
  • 52c445435d MergeTest Fayez Abu Alia 2018-08-06 13:25:41 +0200
  • 6264d928b2 modified: test/bytecode/javFiles/Merge.jav modified: test/bytecode/javFiles/OL.jav Martin Plümicke 2018-08-06 13:14:08 +0200
  • 89387d2718 new file: ../../test/bytecode/MergeTest.java new file: ../../test/bytecode/javFiles/Merge.jav Martin Plümicke 2018-08-06 10:03:03 +0200
  • 3e4e66d60d modified: ../../src/de/dhbwstuttgart/core/JavaTXCompiler.java modified: ../../src/de/dhbwstuttgart/syntaxtree/factory/UnifyTypeFactory.java modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnify2Task.java modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java modified: ../../test/bytecode/javFiles/Matrix.jav modified: ../../test/bytecode/javFiles/applyLambda.jav ? extends gen_nv =. ? super gen_nv sind in den RES Martin Plümicke 2018-08-05 15:05:17 +0200
  • 0443f1e528 Lambda Test angepasst Fayez Abu Alia 2018-08-03 14:02:09 +0200
  • 34969e66ba bug in Signature gefixt Fayez Abu Alia 2018-08-03 13:48:45 +0200
  • dcbcf873e4 Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2 Fayez Abu Alia 2018-08-01 14:04:06 +0200
  • deb632050a LDC2_W fuer Long verwendet. Tests bereinigt. Fayez Abu Alia 2018-08-01 14:03:23 +0200
  • 883ab50f94 modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnify.java modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java modified: ../bytecode/javFiles/Matrix.jav einige Aenderungen Martin Plümicke 2018-07-29 00:07:00 +0200
  • acf8c108e8 Diamantoperator JanUlrich 2018-07-26 14:57:13 +0200
  • 968dc06edc Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2 JanUlrich 2018-07-26 15:16:28 +0200
  • 47808c4e6f Diamantoperator JanUlrich 2018-07-26 14:57:13 +0200
  • 5029cca0f1 Transivitaet Berechnung bei TPHs korrigiert Fayez Abu Alia 2018-07-26 14:37:11 +0200
  • 79eb3135d6 Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2 JanUlrich 2018-07-26 14:04:12 +0200
  • 9d37e8f637 modified: ../../src/de/dhbwstuttgart/core/JavaTXCompiler.java modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnify2Task.java modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java Martin Plümicke 2018-07-25 20:15:29 +0200
  • adf675e595 Bug 98 gefixt, kleine Aenderung in Signature Klasse und Tph4 Test eingefuegt Fayez Abu Alia 2018-07-25 16:45:59 +0200
  • f3e60e50ef Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2 Fayez Abu Alia 2018-07-25 11:01:33 +0200
  • 30f75f2f17 LambdaTest Fayez Abu Alia 2018-07-25 11:01:03 +0200
  • 496842a3bf new file: test/bytecode/FacultyTest.java Martin Plümicke 2018-07-25 00:55:01 +0200
  • 608d73452a new file: src/de/dhbwstuttgart/typeinference/unify/TypeUnify2Task.java Martin Plümicke 2018-07-25 00:53:40 +0200
  • 421169a72d modified: src/de/dhbwstuttgart/core/JavaTXCompiler.java modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java modified: test/bytecode/MatrixTest.java src/de/dhbwstuttgart/typeinference/unify/TypeUnify2Task.java Martin Plümicke 2018-07-25 00:52:28 +0200
  • c43d9ab9f5 Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into unifyOptimierung Martin Plümicke 2018-07-23 17:23:47 +0200
  • 4e5c75673d new file: ../../test/bytecode/Tph3Test.java new file: ../../test/bytecode/javFiles/Tph3.jav Test mit wechselseitiger Rekursion Martin Plümicke 2018-07-19 13:57:01 +0200
  • 2421dd0222 modified: ../../test/bytecode/LambdaTest.java jetzt korrekt modified: ../../test/bytecode/Tph2Test.java jetzt korrekt modified: ../../test/bytecode/TphTest.java jetzt korrekt modified: ../../test/bytecode/applyLambdaTest.java jetzt korrekt modified: ../../test/bytecode/javFiles/Tph.jav Rueckgabewert veraendert Martin Plümicke 2018-07-19 13:54:31 +0200
  • 14be882b7b LambdaTest Funktioniert. Fayez Abu Alia 2018-07-18 22:49:21 +0200
  • 448d3e04f8 modified: ../../test/bytecode/LambdaTest.java Martin Plümicke 2018-07-18 17:56:20 +0200
  • fe99db81b3 modified: ../../test/bytecode/LambdaTest.java Lambda-Ausruck wird ausgewertet. Funktioniert nicht, vermutich, weil Lambda-Methode apply private Martin Plümicke 2018-07-18 17:54:44 +0200
  • c3ca4777bb modified: ../../test/bytecode/LambdaTest.java noch unvllstaendig Martin Plümicke 2018-07-18 17:01:01 +0200
  • 16b7db9218 modified: test/bytecode/MatrixTest.java Test einfeguegt nicht getestet modified: test/bytecode/OLTest.java Test eingefuegt modified: test/bytecode/javFiles/OL.jav - Main in OLMain umbenannt - Klassen publich gemacht Martin Plümicke 2018-07-18 15:34:49 +0200
  • 2d5f03a3e0 Bugs 89 und 90 Fayez Abu Alia 2018-07-18 13:51:05 +0200
  • dad9e58763 Fehler beheben JanUlrich 2018-07-17 19:56:01 +0200
  • d0e7ea86ed Tests bereinigen JanUlrich 2018-07-17 19:51:50 +0200
  • fd64b84072 modified: TYPEStmt.java Bei der Addition + Abfragen eingefuegt, ob die Subtypen von Number jeweils import sind. Nur dann werden Annahmen erstellt. Martin Plümicke 2018-07-17 17:38:00 +0200
  • 2a5c727400 new file: applyLambdaTest.java modified: javFiles/Lambda.jav new file: javFiles/applyLambda.jav An das JavaTXExamples angepasst Martin Plümicke 2018-07-14 09:28:13 +0200
  • 3fedbcc4a0 modified: target/JavaTXcompiler-0.1-jar-with-dependencies.jar Martin Plümicke 2018-07-13 11:49:43 +0200
  • 4f84e60246 Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into plugin Martin Plümicke 2018-07-12 16:17:07 +0200
  • d373b3dbf8 merge Fayez Abu Alia 2018-07-10 22:26:52 +0200
  • 7c3ca93c0b Bug 88 gefixt. new file: src/de/dhbwstuttgart/bytecode/ArgumentVisitor.java Visitor für Argumente des Method Call einer Methode aus Standard-Bibliothek und dient dazu, wenn die Argument eine primitive Typ besitzt dann wird unboxing gemacht. Signatur von Konstruktoren angepasst. Fayez Abu Alia 2018-07-10 22:15:26 +0200
  • e9c87f6bf6 FCGenerator sortiert unnötige Paare aus JanUlrich 2018-07-08 21:04:24 +0200
  • 0ae743f446 Benchmark Endgültig JanUlrich 2018-07-07 02:10:33 +0200
  • ef9f9157f3 Benchmark JanUlrich 2018-07-06 10:54:56 +0200
  • 72a4c64c5c modified: ../../test/bytecode/javFiles/Matrix.jav Konstruktoren eingefuegt Martin Plümicke 2018-07-06 10:37:59 +0200
  • 3d57a3929c Result anfügen JanUlrich 2018-07-05 21:15:06 +0200
  • a71c1f3893 Gencoy ASP Generator fertig stellen JanUlrich 2018-07-05 16:33:20 +0200
  • 72c2e19def Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into plugin Martin Plümicke 2018-07-05 00:54:40 +0200
  • bd0bfed2cb Matrix Test läuft. Code muss noch aufgeräumt werden Fayez Abu Alia 2018-07-04 22:18:16 +0200
  • 80b4f631ed Verzeichnis test/logfiles anfügen JanUlrich 2018-07-04 12:36:59 +0200
  • 1f8421db27 ASP Generate Gencay JanUlrich 2018-07-04 12:29:02 +0200
  • cee86a6b61 Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2 Martin Plümicke 2018-07-04 12:07:21 +0200
  • f1f34a6733 modified: test/javFiles/Matrix.jav Martin Plümicke 2018-07-04 12:07:11 +0200
  • 1a2454e00b modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java Kommentare zur Max Min optimierung rasugenommen UnifyDependentSubstitutions Martin Plümicke 2018-07-04 11:47:02 +0200
  • 23786184ad modified: test/strucType/javFiles/testLocalVar.jav strucTypesNew Martin Plümicke 2018-07-04 11:05:25 +0200
  • bc1a796e28 modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java UnifyAllSolutions Martin Plümicke 2018-07-03 11:54:24 +0200
  • 9f53d1fdc2 Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2 Fayez Abu Alia 2018-07-03 11:20:33 +0200
  • 69706ee1d2 Bug 82 gefixt und getestet. Descriptor von MethodCall von Interface korrigiert. Fayez Abu Alia 2018-07-03 11:15:58 +0200
  • b8e229cf3f modified: ../../src/de/dhbwstuttgart/typeinference/unify/RuleSet.java modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/Unifier.java modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java modified: ../javFiles/Matrix.jav Martin Plümicke 2018-07-02 17:24:16 +0200
  • e0c5afcd6d modified: test/bytecode/javFiles/Lambda.jav modified: test/javFiles/Vector.jav modified: test/typeinference/UnifyTest.java Martin Plümicke 2018-07-02 11:11:29 +0200
  • 9123e222f4 Vector TEst anfügen JanUlrich 2018-06-28 16:47:05 +0200
  • 3dfbddf693 Vector Test anpasen JanUlrich 2018-06-28 16:41:13 +0200
  • 79fb15f269 MAsterarbeit JanUlrich 2018-06-28 16:04:12 +0200
  • 29bd9a3f4f remove logFile Fayez Abu Alia 2018-06-27 15:39:04 +0200
  • 7926c25c7d Soviel wie möglich unnötige TPHs aus Signaturen von Paramtrisierten Typen entfernt Fayez Abu Alia 2018-06-27 15:20:35 +0200
  • b4c604e2b1 Bug in der Methode simplifyPairs gefixt. Bug 82 gefixt. TPHs in paramtrisierten Typen als TypeVariablen in Signature hinzugefügt. Lambda.jav funktioniert. Fayez Abu Alia 2018-06-27 14:49:22 +0200
  • d8bb4d6188 modified: test/bytecode/javFiles/Lambda.jav Lambda auf apply angepasst Martin Plümicke 2018-06-23 10:54:14 +0200
  • 0ecaf36648 modified: src/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java Bei Literal die Zuweisung des Typs eingefuegt aber wieder auskommentiert, weil es im Moment nur double Literals gibt. modified: test/javFiles/Lambda.jav Martin Plümicke 2018-06-23 10:42:46 +0200
  • 2eb7a63480 modified: src/de/dhbwstuttgart/syntaxtree/factory/UnifyTypeFactory.java FunN$$ eingefuegt Martin Plümicke 2018-06-23 01:05:13 +0200
  • 1991bbbcd3 modified: src/de/dhbwstuttgart/syntaxtree/factory/UnifyTypeFactory.java FunN-Types werden nach RefTypes mit FunN$$ nach Unifikation zurueckkonvertiert. Martin Plümicke 2018-06-21 09:51:05 +0200
  • b5bc9fa01a modified: target/JavaTXcompiler-0.1-jar-with-dependencies.jar Martin Plümicke 2018-06-20 20:27:19 +0200
  • a92521f04a Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into plugin Martin Plümicke 2018-06-20 20:06:37 +0200
  • 895b5a972e new file: doc/PluginBau.pdf modified: src/de/dhbwstuttgart/typedeployment/TypeInsert.java modified: src/de/dhbwstuttgart/typedeployment/TypeInsertPoint.java equals Methoden eingefuegt um Marker nur einmal im Plugin zu haben Martin Plümicke 2018-06-20 19:52:58 +0200
  • 11649b39d3 generateBCForFun() um Parameter path erweitert. Fayez Abu Alia 2018-06-20 18:15:44 +0200
  • 303cfa5409 log entfernt Fayez Abu Alia 2018-06-20 18:08:25 +0200
  • 660ef68f7e generateBytecode() um Parameter path erweitert. Alle Tests angepasst Fayez Abu Alia 2018-06-20 18:07:17 +0200
  • 23eab0c9a4 TPHs, die nicht in ParameterListe der Methode vorkommen, werden in Signature geschrieben Fayez Abu Alia 2018-06-19 14:56:22 +0200
  • 162ca3eb27 Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2 Fayez Abu Alia 2018-06-19 13:32:24 +0200
  • 6d70464a1c TPH X < TPH Y <...< TPH Z vereinfacht => TPH X < TPH Z und Signature-Erzeugung wird angepasst Fayez Abu Alia 2018-06-19 13:31:39 +0200
  • 1437788f5a Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into plugin Martin Plümicke 2018-06-18 11:50:55 +0200