JavaTX/JavaCompilerCore
3
1
Fork 3
Code Issues 116 Pull Requests Actions Packages Projects Releases Wiki Activity

Commit Graph

  • fb77f9192f Merge branch 'bigRefactoring' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bigRefactoring JanUlrich 2018-03-21 11:28:35 +01:00
  • a71e56ea97 Fix JanUlrich 2018-03-21 11:15:59 +01:00
  • 5dfa6769b2 Merge branch 'bigRefactoring' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into unify-test Pluemicke Martin 2018-03-21 11:16:45 +01:00
  • 77be216ee5 Fix JanUlrich 2018-03-21 11:15:59 +01:00
  • 100db9baac Merge branch 'bigRefactoring' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into unify-test Pluemicke Martin 2018-03-21 11:13:20 +01:00
  • e1f579664a Fix Generics in MethodCall JanUlrich 2018-03-21 11:12:06 +01:00
  • 7a9c0a1e69 LambdaRunnableTest fix JanUlrich 2018-03-21 11:09:29 +01:00
  • 7e5aa852d7 Fehler fix JanUlrich 2018-03-21 10:35:46 +01:00
  • 5d39863cc6 modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java Maximumsbildung auf maximale Elemente soweit fertig Argument von mul funktion nicht, liefret nur Vec<TypPl> Martin Plümicke 2018-03-20 22:30:57 +01:00
  • 6fc78b9ad3 Construct bis auf Generics fertig, Printausgabe fuer generics angepasst Aldaron7 2018-03-20 21:24:48 +01:00
  • 01dd4e57e6 modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java modified: src/de/dhbwstuttgart/typeinference/unify/model/OrderingUnifyPair.java Letzte Version bevor MatchUnifyTask Martin Plümicke 2018-03-20 10:14:01 +01:00
  • 6faffdf90c modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java Martin Plümicke 2018-03-19 17:43:27 +01:00
  • f4bc057aff modified: src/de/dhbwstuttgart/core/JavaTXCompiler.java LogAusgabe FC Martin Plümicke 2018-03-19 15:25:40 +01:00
  • 78db0f0177 modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java Errorrueckgabe auskommentiert new file: src/de/dhbwstuttgart/typeinference/unify/interfaces/UnifyTypeVisitor.java eingecheckt vorher vergessen modified: test/javFiles/Matrix.jav add und mul aktiviert Martin Plümicke 2018-03-19 09:38:37 +01:00
  • 3233ccd845 Overloading funktioniert. Erzeugt Bytecode für Postincrement (für Integers). Fayez Abu Alia 2018-03-18 16:08:52 +01:00
  • b0b1426e20 modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java new file: src/de/dhbwstuttgart/typeinference/unify/freshPlaceholder.java modified: src/de/dhbwstuttgart/typeinference/unify/model/ExtendsType.java modified: src/de/dhbwstuttgart/typeinference/unify/model/FunNType.java modified: src/de/dhbwstuttgart/typeinference/unify/model/PlaceholderType.java modified: src/de/dhbwstuttgart/typeinference/unify/model/ReferenceType.java modified: src/de/dhbwstuttgart/typeinference/unify/model/SuperType.java modified: src/de/dhbwstuttgart/typeinference/unify/model/UnifyType.java freshtypevraiable Vistor soweit fertig noch nicht getestet Martin Plümicke 2018-03-18 15:11:45 +01:00
  • 103c7e4b14 modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java modified: src/de/dhbwstuttgart/typeinference/unify/model/ExtendsType.java modified: src/de/dhbwstuttgart/typeinference/unify/model/FunNType.java modified: src/de/dhbwstuttgart/typeinference/unify/model/PlaceholderType.java modified: src/de/dhbwstuttgart/typeinference/unify/model/ReferenceType.java modified: src/de/dhbwstuttgart/typeinference/unify/model/SuperType.java modified: src/de/dhbwstuttgart/typeinference/unify/model/TypeParams.java modified: src/de/dhbwstuttgart/typeinference/unify/model/UnifyType.java visitor freshPlaceholder implements UnifyTypeVisitor Martin Plümicke 2018-03-17 15:01:03 +01:00
  • 651c9ee68c TypeExpr angepasst bei method und fieldvar um den receiver This erkennen und verarbeiten zu koennen, Typen in Constraints werden mit den inferredTypes abgeleitet Aldaron7 2018-03-16 22:20:13 +01:00
  • 2eeb54e16a TypeExpr angepasst bei method und fieldvar um den receiver This erkennen und verarbeiten zu koennen, Typen in Constraints werden mit den inferredTypes abgeleitet Aldaron7 2018-03-16 22:19:06 +01:00
  • 492f11a91e Construct added, InferredTypes ausgelagert, TypeExpr fieldVar bei receiver = This keine Constraints mehr, InferredTypes transitive Typen aufgeloest Aldaron7 2018-03-16 19:39:11 +01:00
  • 3638edfa73 modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java modified: test/javFiles/Matrix.jav Fehler entdeckt, in unifyCase1 fuer die Typen aus FC keine fresh TV getsetzt werden. Martin Plümicke 2018-03-16 14:10:40 +01:00
  • bd98bed5ca Merge branch 'unify-test' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into unify-test Martin Plümicke 2018-03-15 20:50:59 +01:00
  • 6299086297 modified: typeinference/unify/TypeUnifyTask.java modified: typeinference/unify/model/UnifyPair.java Martin Plümicke 2018-03-15 20:47:16 +01:00
  • de5b43d72b 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 Martin Plümicke 2018-03-15 17:00:26 +01:00
  • 7e6dee8e1d modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java modified: ../javFiles/Matrix.jav Martin Plümicke 2018-03-14 17:48:04 +01:00
  • 89b7d99621 modified: TypeUnifyTask.java modified: model/UnifyPair.java Pluemicke Martin 2018-03-14 17:45:16 +01:00
  • dafcd2f125 Bytecode für While-Schleifen Fayez Abu Alia 2018-03-14 15:51:38 +01:00
  • 6a5ababa51 ANTLR Parsetreewalker für ASP Result implementieren JanUlrich 2018-03-14 14:32:36 +01:00
  • 273ddb92d7 modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java modified: ../javFiles/Matrix.jav Martin Plümicke 2018-03-14 13:56:28 +01:00
  • 7e88ddc3d5 Type implementiert Aldaron7 2018-03-14 13:02:10 +01:00
  • 4a2b901465 aufräumen JanUlrich 2018-03-13 14:53:27 +01:00
  • dea3da3b69 Merge branch 'bigRefactoring' into unify-test Martin Plümicke 2018-03-13 10:41:57 +01:00
  • 13c70148a8 modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/OrderingUnifyPair.java modified: ../javFiles/Matrix.jav mul1 und add ergaenzt. Fehler bei elementAt: Liefert Object als Returntyp Martin Plümicke 2018-03-13 08:46:25 +01:00
  • bb5945898a Bug in ASTFactory beseitigen JanUlrich 2018-03-13 01:57:21 +01:00
  • 123f94aea7 ANTLR Parser für ASP Statements implementieren JanUlrich 2018-03-13 00:24:40 +01:00
  • dff72b0c97 ResultSetOutputGenerator JanUlrich 2018-03-12 00:38:02 +01:00
  • 1667b394f2 modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/OrderingUnifyPair.java Variancen gesetzt Martin Plümicke 2018-03-11 20:39:38 +01:00
  • 95943b1627 modified: src/de/dhbwstuttgart/typeinference/unify/model/OrderingUnifyPair.java Martin Plümicke 2018-03-10 12:32:07 +01:00
  • 0315a1f144 modified: ../../src/de/dhbwstuttgart/core/JavaTXCompiler.java modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnify.java modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java compare(Matrix, Vector<gen_ab>, ? extends Vector<? extends Integer>> <.? gen_ab funktioniert nicht Martin Plümicke 2018-03-10 01:04:19 +01:00
  • 52a5fd7904 erzeugt Bytecode für relationale Operatoren. Getestet. Fayez Abu Alia 2018-03-09 21:57:39 +01:00
  • b5b5b5d9c9 modified: ../../src/de/dhbwstuttgart/typeinference/constraints/Pair.java modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java Varinace in UnfyPair eingefuegt und Abfrage in computeCartesianRecursive eingefuegt Pruefen, ob Varianve bei Subst und andrene erhalten bleibt. Martin Plümicke 2018-03-09 01:23:02 +01:00
  • 83aaff140c Aufräumen JanUlrich 2018-03-08 01:44:40 +01:00
  • 3deaceec01 UnifyWithoutWildcards Test läuft durch JanUlrich 2018-03-08 01:41:38 +01:00
  • 9862df9e63 modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/OrderingUnifyPair.java Martin Plümicke 2018-03-08 01:12:17 +01:00
  • 9f2702276f Fehler beheben JanUlrich 2018-03-08 00:03:26 +01:00
  • 87cf674352 Fehler in FCGenerator beheben JanUlrich 2018-03-07 23:07:53 +01:00
  • dfd6a1f532 erge branch 'bigRefactoring' into sat JanUlrich 2018-03-07 23:04:16 +01:00
  • e8388e2748 Aufräumen JanUlrich 2018-03-07 22:42:05 +01:00
  • 095f9a7956 Tests an neue ASPFactory anpassen JanUlrich 2018-03-07 22:41:00 +01:00
  • c4aec8379e Erste Version von ASPFactory implementieren JanUlrich 2018-03-07 21:52:46 +01:00
  • 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 Martin Plümicke 2018-03-07 13:09:47 +01:00
  • 54cf24926e Bytecode arithmetische Operatoren unterschiedlischer Typen vollständig und getestet Fayez Abu Alia 2018-03-07 12:26:30 +01:00
  • 94d39ee21a Merge branch 'bigRefactoring' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2 Fayez Abu Alia 2018-03-07 11:49:16 +01:00
  • 725b071d28 Problem mit BinaryExpr gefixt JanUlrich 2018-03-07 08:47:43 +01:00
  • 284af1246b Nicht lauffähig. ASPFactory neu implementieren JanUlrich 2018-03-07 07:41:46 +01:00
  • f453343f1c Bytecode für arithmetische Operatoren mit Parametern unterschiedlicher Typen. Testfälle bereinigt und aufgeräumt. Fayez Abu Alia 2018-03-06 19:14:27 +01:00
  • 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 Martin Plümicke 2018-03-05 20:04:10 +01:00
  • 831bf1fe17 modified: src/de/dhbwstuttgart/typeinference/unify/model/OrderingUnifyPair.java weitere Fälle in die Ordnung eingebaut Martin Plümicke 2018-03-04 22:58:31 +01:00
  • 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 Martin Plümicke 2018-03-03 01:07:25 +01:00
  • 9f3439a15e x Martin Plümicke 2018-03-02 14:12:06 +01:00
  • 356b8a7a34 modified: src/de/dhbwstuttgart/typeinference/unify/RuleSet.java modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java Eq for Unify vereinfachen noch nicht fertig Martin Plümicke 2018-03-01 18:00:38 +01:00
  • ab37e1a607 Merge branch 'bigRefactoring' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bigRefactoring JanUlrich 2018-03-01 15:03:48 +01:00
  • 18545cff9a GenericRefType umgestalten. Unnötige Backreferenzen entfernen JanUlrich 2018-03-01 13:25:03 +01:00
  • 9840281d83 Test für ASP anfügen JanUlrich 2018-03-01 12:31:56 +01:00
  • 6256bdfe2e modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java In Unfy: - Bildung des kartesischen Produkts auf secondlevel-Ebene entfernt Martin Plümicke 2018-03-01 12:27:38 +01:00
  • 6a9db81981 Merge Martin Plümicke 2018-02-28 17:16:28 +01:00
  • 53087a8e04 result.add wieder aktiviert Pluemicke Martin 2018-02-28 17:11:50 +01:00
  • aa631b5099 UnifyTest korrekt benennen JanUlrich 2018-02-28 16:35:45 +01:00
  • a3a02fe475 Merge branch 'bigRefactoring' into unify-Test JanUlrich 2018-02-28 16:34:48 +01:00
  • 99ce7c1122 <, > Operatoren einführen JanUlrich 2018-02-28 16:33:18 +01:00
  • cef82c6359 Typgenerator auf alten Stand setzen, damit Matrix test lauft Martin Plümicke 2018-02-28 16:27:08 +01:00
  • 67fe88215a eigenerTest Martin Plümicke 2018-02-28 16:25:45 +01:00
  • f31023b4fa merge2 Martin Plümicke 2018-02-28 16:16:22 +01:00
  • a733eee8b5 merge Martin Plümicke 2018-02-28 16:12:57 +01:00
  • 15f5a2dc76 Merge branch 'bigRefactoring' into unify-Test Martin Plümicke 2018-02-28 16:10:08 +01:00
  • 6fcaafe477 test Martin Plümicke 2018-02-28 16:07:02 +01:00
  • 35b99a4095 Bytecode kann für folgende Operationen +,-,*,/,% erzeugt werden Fayez Abu Alia 2018-02-28 15:59:21 +01:00
  • 327f36f1c2 Faculty Test ändern. UnifyTypeFactory konvertiert automatisch FunN Typen korrekt JanUlrich 2018-02-28 15:21:12 +01:00
  • 6b57aacef0 Merge branch 'bigRefactoring' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2 Fayez Abu Alia 2018-02-28 14:58:58 +01:00
  • f023754328 TypeStmt für +,-,/,*,% einführen JanUlrich 2018-02-28 14:50:16 +01:00
  • 77aaa0ecb6 Merge branch 'bigRefactoring' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bigRefactoring JanUlrich 2018-02-28 13:32:51 +01:00
  • 9f9a94b5cf Testfälle bereinigen JanUlrich 2018-02-28 13:22:07 +01:00
  • b66d06a165 Merge branch 'parser' into bigRefactoring JanUlrich 2018-02-28 11:53:53 +01:00
  • 92b110a971 Funktionierender Clingo Test JanUlrich 2018-02-27 19:10:16 +01:00
  • 2277f68509 Ordner manually/ in .gitignore hinzugefügt Fayez Abu Alia 2018-02-25 13:20:19 +01:00
  • 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 Martin Plümicke 2018-02-24 19:56:22 +01:00
  • 59569380ed Kleiner Bug beseitigt 1760533057357130864/tmp_refs/heads/parser 1760533057357130864/parser 1758969549746166859/tmp_refs/heads/parser 1758969549746166859/parser 1758581621921415606/tmp_refs/heads/parser 1758581621921415606/parser 1758435844592354004/tmp_refs/heads/parser 1758435844592354004/parser 1753222310427927308/tmp_refs/heads/parser 1753222310427927308/parser parser Fayez Abu Alia 2018-02-23 20:17:32 +01:00
  • 4fbcf87e0c Methoden visit(assign)/visit(literal) angepasst und generiert bytecode für Binaryexpressions. noch nicht fertig Fayez Abu Alia 2018-02-23 20:10:11 +01:00
  • 10b5d87119 Merge branch 'bigRefactoring' into sat JanUlrich 2018-02-23 11:14:47 +01:00
  • 73c37027d9 Fehler in TypeStmt UnaryExpression beheben JanUlrich 2018-02-23 09:16:12 +01:00
  • 8e198679c7 Instabiler Zustand reduce funktionert nicht Martin Plümicke 2018-02-23 00:37:59 +01:00
  • 419e4a6d0e MERGE Merge branch 'unify-test' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into unify-test Martin Plümicke 2018-02-21 17:55:47 +01:00
  • 5cd2ee7d80 geändert: src/de/dhbwstuttgart/core/JavaTXCompiler.java geändert: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java recursiveCartesionProduct wieder entfernt Pluemicke Martin 2018-02-21 17:54:26 +01:00
  • 9c35f04a09 modified: src/de/dhbwstuttgart/typeinference/unify/RuleSet.java Martin Plümicke 2018-02-21 17:22:23 +01:00
  • 6808535f67 Merge branch 'parser' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2 Fayez Abu Alia 2018-02-21 15:45:22 +01:00
  • ac4a79f0e7 Additive/multiplicativeExpression und UnaryExpression implementiert Fayez Abu Alia 2018-02-21 15:43:28 +01:00
  • 89246ece5c modified: src/de/dhbwstuttgart/core/JavaTXCompiler.java modified: src/de/dhbwstuttgart/typeinference/unify/RuleSet.java modified: test/javFiles/Matrix.jav Martin Plümicke 2018-02-21 14:02:48 +01:00
  • 7c2f7c54dd Kleine Änderung Fayez Abu Alia 2018-02-21 11:44:03 +01:00
  • c747ab0885 Additive Expression implementieren JanUlrich 2018-02-21 11:40:54 +01:00
  • 6cf98f200b Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2 JanUlrich 2018-02-21 11:05:57 +01:00