i21023/JavaTXCompilerInJavaTX
2
0
Fork 0
forked from JavaTX/JavaCompilerCore
Code Pull Requests Activity

Commit Graph

  • 943c4e6043 Test für System.out.println erstellt. Umsetzung vorerst nicht möglich, da ein Fehler der Typeinferenz auftritt Enrico Schrödter 2016-04-07 13:54:29 +0200
  • 7b78cf8471 Bugfix: Store and Load Enrico Schrödter 2016-04-07 12:19:42 +0200
  • 3a8f1252a4 Merge branch 'bytecode' into refactoring JanUlrich 2016-04-06 14:23:26 +0200
  • e1c925b9bc Unnötige Kommentare löschen JanUlrich 2016-04-06 12:42:15 +0200
  • 6793b0bd24 rename mpair to unify pair / refactoring Florian Steurer 2016-04-04 11:23:14 +0200
  • 2e30429252 added wildcardtype Florian Steurer 2016-04-04 10:18:34 +0200
  • 2c642cb6ef permute params test with assert Florian Steurer 2016-04-03 22:57:11 +0200
  • 20d1106e07 refactored Types // Florian Steurer 2016-04-03 22:43:55 +0200
  • 6c2d71d005 random with seed Florian Steurer 2016-04-03 17:36:44 +0200
  • 0d5b515a47 added extra set level / fixed subst rule bug / Florian Steurer 2016-04-03 16:53:45 +0200
  • b12f301656 Merge branch 'unify' of ssh://i13029@gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into unify Florian Steurer 2016-04-02 11:29:43 +0200
  • 0be7534b98 . Florian Steurer 2016-04-02 11:29:31 +0200
  • 1bf208b833 Merge mit refactoring JanUlrich 2016-04-01 18:24:36 +0200
  • a3e7b4567a Merge mit refactoring JanUlrich 2016-04-01 18:21:51 +0200
  • 4cdcde8fef Neuen Unify Algorithmus eingebaut JanUlrich 2016-04-01 16:12:30 +0200
  • d89d06797e isInSolvedForm(), Unit-Tests, removed PairOp.Equals Florian Steurer 2016-03-31 22:09:46 +0200
  • 336dc52be6 Merge branch 'bytecode' of ssh://i13026@gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode Enrico Schrödter 2016-03-31 18:09:16 +0200
  • 098cafac00 - IdentityFieldTest erstellt Enrico Schrödter 2016-03-31 08:52:23 +0200
  • 4deb91b99f Merge branch 'bytecode' into refactoring JanUlrich 2016-03-31 11:50:53 +0200
  • 8d8e27c84c - Bugfix new Statement, Deskription darf nicht mit Semikolon enden Enrico Schrödter 2016-03-31 08:52:23 +0200
  • e2d384e7f9 Merge mit Unify und Einbinden der neuen Unifizierung. Nich lauffähige Version JanUlrich 2016-03-30 18:16:27 +0200
  • 304a5693a6 wc regeln angepasst, triviale tests fertig Florian Steurer 2016-03-30 16:25:26 +0200
  • 5b07d58093 - Klassenvariable ohne Wert Enrico Schrödter 2016-03-30 10:14:05 +0200
  • b51079280e - New Statement, Problem Syntax des Klassennamens Enrico Schrödter 2016-03-30 10:09:17 +0200
  • 5030410978 finitclosure tests angepasst Florian Steurer 2016-03-29 19:07:54 +0200
  • 23142adc70 reduce rules Florian Steurer 2016-03-29 17:52:38 +0200
  • 43a8c9e647 Umstellung auf MPair beginnen JanUlrich 2016-03-29 13:23:15 +0200
  • fa337c5546 Umstellung auf MPair beginnen JanUlrich 2016-03-29 13:23:05 +0200
  • 639ac8430c adapted adaptRules Florian Steurer 2016-03-28 20:56:24 +0200
  • 332dd57de3 greater und testy Florian Steurer 2016-03-28 15:00:34 +0200
  • ac3ce7d214 smaller Florian Steurer 2016-03-28 11:40:21 +0200
  • b4d7ab02eb - UnitTest für MultiExtends Problem - Verhindern von doppelten Methoden von Class -> ClassGen Enrico Schrödter 2016-03-28 10:33:04 +0200
  • 67e1c5c736 15ter testcase Florian Steurer 2016-03-28 01:26:53 +0200
  • de607cfd53 noch ein smaller test Florian Steurer 2016-03-28 01:19:57 +0200
  • 26cc9b85ef smalller und neue testcases Florian Steurer 2016-03-28 01:01:46 +0200
  • 257edfc0b3 fc smaller test Florian Steurer 2016-03-26 14:09:45 +0100
  • 5e18496847 smaller and test cases Florian Steurer 2016-03-26 12:59:38 +0100
  • bbfd8699e8 smaller / smArg / grArg / TODO: greater Florian Steurer 2016-03-26 00:03:26 +0100
  • ad2804fab9 Umstellung auf MPair beginnen JanUlrich 2016-03-24 11:57:31 +0100
  • 1e9d0517f2 Umstellung auf MPair beginnen JanUlrich 2016-03-24 11:57:17 +0100
  • a5b86dc84c freshPlaceholder / implemented funn rules Florian Steurer 2016-03-23 11:44:31 +0100
  • 11bcf5735a freshPlaceholder Method // funN rules (not implemented yet) Florian Steurer 2016-03-23 10:59:41 +0100
  • 88726ccb70 added funN Florian Steurer 2016-03-23 09:45:36 +0100
  • 14e00913e8 application of new rules Florian Steurer 2016-03-22 20:47:39 +0100
  • 0e524caae7 Added missing rules Florian Steurer 2016-03-22 20:41:24 +0100
  • f788b74f26 Merge mit Unify und Bytecode JanUlrich 2016-03-22 15:13:51 +0100
  • 47c9be5488 Aufräumen JanUlrich 2016-03-22 13:17:56 +0100
  • c80dc162d9 - Verhindern von der Generierung von doppelte Methoden Enrico Schrödter 2016-03-20 18:55:36 +0100
  • 21c6aef7fd cartesische produkte überarbeitet Florian Steurer 2016-03-20 18:05:34 +0100
  • 299f8f56ca added missing cases Florian Steurer 2016-03-20 15:09:12 +0100
  • 1f825360df Test GenerateFiniteClosure anfügen JanUlrich 2016-03-17 16:54:43 +0100
  • fa9627b883 unify case 1 Florian Steurer 2016-03-17 16:35:33 +0100
  • d19a79bd63 finite closure greater smaller funktioniert jetzt auch mit wildcards (muss noch getestet werden) Florian Steurer 2016-03-16 23:27:45 +0100
  • 1762101330 Type Factory in unifyNew bewegen JanUlrich 2016-03-16 14:56:02 +0100
  • e061dea7f5 Aufräumen SourceFile JanUlrich 2016-03-16 14:54:41 +0100
  • a8d8dec899 Merge branch 'unify' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into refactoring JanUlrich 2016-03-15 13:57:21 +0100
  • 4681b03838 Unify Paper anfügen JanUlrich 2016-03-15 13:26:22 +0100
  • 6acc3c1366 step 4 rule 1 Florian Steurer 2016-03-14 14:46:10 +0100
  • 863904a4e8 unifier fixed (no iterated application necessary anymore) Florian Steurer 2016-03-14 12:59:31 +0100
  • 6778160315 various Florian Steurer 2016-03-13 23:01:28 +0100
  • 27acee3385 standard martelli montanari unifiy fixed Florian Steurer 2016-03-13 16:00:00 +0100
  • b1d6b44fb9 BCEL Library aktualisiert, Stackmaptable angefügt, Tests angepasst JanUlrich 2016-03-10 15:28:03 +0100
  • a4ea466fe6 Methode generiert StackMapTable JanUlrich 2016-02-18 18:28:08 +0100
  • 7c00940cba Merge branch 'unify' into refactoring JanUlrich 2016-01-12 13:32:45 +0100
  • b069bb7b8f StackMapTable Notizen JanUlrich 2016-01-12 13:32:16 +0100
  • bdd018d922 regel 4 für paare (a <. Theta') (funktioniert zu 99 Prozent noch nicht richtig) Florian Steurer 2015-12-27 15:01:59 +0100
  • 98cbe9b389 package rename + Mapping Klasse Florian Steurer 2015-12-27 00:29:23 +0100
  • 039dd3b3f4 step 5 and 6 implemented Florian Steurer 2015-12-26 18:49:11 +0100
  • 8eecda2a8f subst rule Florian Steurer 2015-12-26 16:52:18 +0100
  • 3ff45a01de fixed cartesian products in step 4 Florian Steurer 2015-12-26 16:22:35 +0100
  • 264910bfa4 tests Florian Steurer 2015-12-23 22:53:24 +0100
  • 89b53351ce martelli montanari unifikation Florian Steurer 2015-12-23 13:25:43 +0100
  • ab7f56db6f martelli montanari unification (unfinished) Florian Steurer 2015-12-21 15:44:13 +0100
  • ac42bdf0a2 Merge mit Unify und Bytecode JanUlrich 2015-12-11 15:44:44 +0100
  • cd569a8374 Fehler in AutoOverloadingVector beheben JanUlrich 2015-12-08 16:27:15 +0100
  • bb165e007d Filter entfernen JanUlrich 2015-12-08 15:48:35 +0100
  • 5f428894ea Merge mit bytecode JanUlrich 2015-12-08 13:34:16 +0100
  • 116232df57 AutoOverloadingVector Test hinzugefügt Enrico Schrödter 2015-12-05 15:15:28 +0100
  • 53dd7b019e cartesian products Florian Steurer 2015-11-27 19:52:59 +0100
  • 3c80cb275b Doppelte Methodengenerierungen verhindert Enrico Schrödter 2015-11-27 18:10:46 +0100
  • 1017b02704 Fehler in Bytecodegen der Methode beheben JanUlrich 2015-11-27 16:53:01 +0100
  • f7804b754d Merge branch 'bytecode' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode Enrico Schrödter 2015-11-27 16:11:06 +0100
  • dd478961e2 TypeinferenceResultSet von ClassGenerator getrennt Enrico Schrödter 2015-11-27 16:10:35 +0100
  • 141e952c7a Merge mit refactoring JanUlrich 2015-11-27 15:47:09 +0100
  • 63b2224f46 Datei für Logausgabe in compileToBytecode ändern JanUlrich 2015-11-27 13:15:13 +0100
  • 8ae7bda535 Mehrere Lösungen in einer Classfile Enrico Schrödter 2015-11-25 10:41:57 +0100
  • a27b4f9d3b Mehrere Lösungen in einer Classfile Enrico Schrödter 2015-11-25 10:23:06 +0100
  • e4374c06fd Mehrere Lösungen in einer Classfile Enrico Schrödter 2015-11-25 09:41:26 +0100
  • 8b0005ecee AuoOverloadingTest vervollständigt Enrico Schrödter 2015-11-25 08:00:50 +0100
  • 97e0e2fc72 unifyTest Florian Steurer 2015-11-23 01:03:01 +0100
  • 7ff9554d78 application of adaptRules Florian Steurer 2015-11-23 00:15:12 +0100
  • 4576efe3ec implemented step 4 (some cases still missing) Florian Steurer 2015-11-23 00:12:08 +0100
  • e2ba4490b1 step 4 grundgerüst Florian Steurer 2015-11-22 21:57:16 +0100
  • 6fd382580a Fixed AdaptSup Florian Steurer 2015-11-22 15:58:10 +0100
  • 9552831d4e AdaptExt and Sup revisit Florian Steurer 2015-11-22 15:54:18 +0100
  • 3f4f2cd27b adapt revisit Florian Steurer 2015-11-22 15:26:17 +0100
  • 2958c52610 NewClass Statement Enrico Schrödter 2015-11-18 18:10:29 +0100
  • fc03a744fe Ünnötige Tests gelöscht Tests die noch nicht laufen können Ignoriert Enrico Schrödter 2015-11-17 17:35:17 +0100
  • be6a719433 adaptSup + tests Florian Steurer 2015-11-15 18:39:22 +0100
  • c45c426011 unifier Florian Steurer 2015-11-15 18:09:21 +0100