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

Commit Graph

  • 23e0be2572 extended all cases / fixed random placeholder generation Florian Steurer 2016-04-09 15:07:41 +02:00
  • d080eb4a0a extended case 6 Florian Steurer 2016-04-08 18:48:35 +02:00
  • 41b3e4f6c2 extended case 5 Florian Steurer 2016-04-08 18:28:34 +02:00
  • 5c73224f8f support for extended case 1 // tests // bugfix in "big" cases Florian Steurer 2016-04-08 18:04:11 +02:00
  • e06888f5f7 organized imports Florian Steurer 2016-04-07 22:33:14 +02:00
  • 3a2a5510b9 removed printLn-tests fuer smArg und grArg Florian Steurer 2016-04-07 22:32:42 +02:00
  • b7f41c4d13 funN greater Florian Steurer 2016-04-07 22:30:30 +02:00
  • 53cfb4b046 Support for FunN in FC added // swap for unifiers Florian Steurer 2016-04-07 22:24:35 +02:00
  • 284447aad2 removed unify old test Florian Steurer 2016-04-07 21:45:27 +02:00
  • b707a0f03e Bugfix: Methodenparameter Enrico Schrödter 2016-04-07 15:44:29 +02:00
  • d63f08bf33 BytecodeTest falsch aufgerufen JanUlrich 2016-04-07 15:08:11 +02:00
  • d3ebee1b3c Merge branch 'bytecode' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into refactoring JanUlrich 2016-04-07 14:55:46 +02:00
  • 45cad9f675 - getDescription ist nicht die Descripiton im Bytecode Enrico Schrödter 2016-04-07 14:53:29 +02:00
  • 74c2b5e323 Merge branch 'bytecode' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into refactoring JanUlrich 2016-04-07 14:52:04 +02:00
  • e537a76cd9 Merge branch 'unify' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into refactoring JanUlrich 2016-04-07 14:39:15 +02:00
  • 44318ee5d8 Aufräumen JanUlrich 2016-04-07 14:39:07 +02:00
  • 8d69f6c82b adapt rule fixed Florian Steurer 2016-04-07 14:30:23 +02:00
  • 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 +02:00
  • 7b78cf8471 Bugfix: Store and Load Enrico Schrödter 2016-04-07 12:19:42 +02:00
  • 3a8f1252a4 Merge branch 'bytecode' into refactoring JanUlrich 2016-04-06 14:23:26 +02:00
  • e1c925b9bc Unnötige Kommentare löschen JanUlrich 2016-04-06 12:42:15 +02:00
  • 6793b0bd24 rename mpair to unify pair / refactoring Florian Steurer 2016-04-04 11:23:14 +02:00
  • 2e30429252 added wildcardtype Florian Steurer 2016-04-04 10:18:34 +02:00
  • 2c642cb6ef permute params test with assert Florian Steurer 2016-04-03 22:57:11 +02:00
  • 20d1106e07 refactored Types // Florian Steurer 2016-04-03 22:43:55 +02:00
  • 6c2d71d005 random with seed Florian Steurer 2016-04-03 17:36:44 +02:00
  • 0d5b515a47 added extra set level / fixed subst rule bug / Florian Steurer 2016-04-03 16:53:45 +02:00
  • 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 +02:00
  • 0be7534b98 . Florian Steurer 2016-04-02 11:29:31 +02:00
  • 1bf208b833 Merge mit refactoring JanUlrich 2016-04-01 18:24:36 +02:00
  • a3e7b4567a Merge mit refactoring JanUlrich 2016-04-01 18:21:51 +02:00
  • 4cdcde8fef Neuen Unify Algorithmus eingebaut JanUlrich 2016-04-01 16:12:30 +02:00
  • d89d06797e isInSolvedForm(), Unit-Tests, removed PairOp.Equals Florian Steurer 2016-03-31 22:09:46 +02:00
  • 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 +02:00
  • 098cafac00 - IdentityFieldTest erstellt Enrico Schrödter 2016-03-31 08:52:23 +02:00
  • 4deb91b99f Merge branch 'bytecode' into refactoring JanUlrich 2016-03-31 11:50:53 +02:00
  • 8d8e27c84c - Bugfix new Statement, Deskription darf nicht mit Semikolon enden Enrico Schrödter 2016-03-31 08:52:23 +02:00
  • e2d384e7f9 Merge mit Unify und Einbinden der neuen Unifizierung. Nich lauffähige Version JanUlrich 2016-03-30 18:16:27 +02:00
  • 304a5693a6 wc regeln angepasst, triviale tests fertig Florian Steurer 2016-03-30 16:25:26 +02:00
  • 5b07d58093 - Klassenvariable ohne Wert Enrico Schrödter 2016-03-30 10:14:05 +02:00
  • b51079280e - New Statement, Problem Syntax des Klassennamens Enrico Schrödter 2016-03-30 10:09:17 +02:00
  • 5030410978 finitclosure tests angepasst Florian Steurer 2016-03-29 19:07:54 +02:00
  • 23142adc70 reduce rules Florian Steurer 2016-03-29 17:52:38 +02:00
  • 43a8c9e647 Umstellung auf MPair beginnen JanUlrich 2016-03-29 13:23:15 +02:00
  • fa337c5546 Umstellung auf MPair beginnen JanUlrich 2016-03-29 13:23:05 +02:00
  • 639ac8430c adapted adaptRules Florian Steurer 2016-03-28 20:56:24 +02:00
  • 332dd57de3 greater und testy Florian Steurer 2016-03-28 15:00:34 +02:00
  • ac3ce7d214 smaller Florian Steurer 2016-03-28 11:40:21 +02:00
  • b4d7ab02eb - UnitTest für MultiExtends Problem - Verhindern von doppelten Methoden von Class -> ClassGen Enrico Schrödter 2016-03-28 10:33:04 +02:00
  • 67e1c5c736 15ter testcase Florian Steurer 2016-03-28 01:26:53 +02:00
  • de607cfd53 noch ein smaller test Florian Steurer 2016-03-28 01:19:57 +02:00
  • 26cc9b85ef smalller und neue testcases Florian Steurer 2016-03-28 01:01:46 +02:00
  • 257edfc0b3 fc smaller test Florian Steurer 2016-03-26 14:09:45 +01:00
  • 5e18496847 smaller and test cases Florian Steurer 2016-03-26 12:59:38 +01:00
  • bbfd8699e8 smaller / smArg / grArg / TODO: greater Florian Steurer 2016-03-26 00:03:26 +01:00
  • ad2804fab9 Umstellung auf MPair beginnen JanUlrich 2016-03-24 11:57:31 +01:00
  • 1e9d0517f2 Umstellung auf MPair beginnen JanUlrich 2016-03-24 11:57:17 +01:00
  • a5b86dc84c freshPlaceholder / implemented funn rules Florian Steurer 2016-03-23 11:44:31 +01:00
  • 11bcf5735a freshPlaceholder Method // funN rules (not implemented yet) Florian Steurer 2016-03-23 10:59:41 +01:00
  • 88726ccb70 added funN Florian Steurer 2016-03-23 09:45:36 +01:00
  • 14e00913e8 application of new rules Florian Steurer 2016-03-22 20:47:39 +01:00
  • 0e524caae7 Added missing rules Florian Steurer 2016-03-22 20:41:24 +01:00
  • f788b74f26 Merge mit Unify und Bytecode JanUlrich 2016-03-22 15:13:51 +01:00
  • 47c9be5488 Aufräumen JanUlrich 2016-03-22 13:17:56 +01:00
  • c80dc162d9 - Verhindern von der Generierung von doppelte Methoden Enrico Schrödter 2016-03-20 18:55:36 +01:00
  • 21c6aef7fd cartesische produkte überarbeitet Florian Steurer 2016-03-20 18:05:34 +01:00
  • 299f8f56ca added missing cases Florian Steurer 2016-03-20 15:09:12 +01:00
  • 1f825360df Test GenerateFiniteClosure anfügen JanUlrich 2016-03-17 16:54:43 +01:00
  • fa9627b883 unify case 1 Florian Steurer 2016-03-17 16:35:33 +01:00
  • d19a79bd63 finite closure greater smaller funktioniert jetzt auch mit wildcards (muss noch getestet werden) Florian Steurer 2016-03-16 23:27:45 +01:00
  • 1762101330 Type Factory in unifyNew bewegen JanUlrich 2016-03-16 14:56:02 +01:00
  • e061dea7f5 Aufräumen SourceFile JanUlrich 2016-03-16 14:54:41 +01:00
  • a8d8dec899 Merge branch 'unify' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into refactoring JanUlrich 2016-03-15 13:57:21 +01:00
  • 4681b03838 Unify Paper anfügen JanUlrich 2016-03-15 13:26:22 +01:00
  • 6acc3c1366 step 4 rule 1 Florian Steurer 2016-03-14 14:46:10 +01:00
  • 863904a4e8 unifier fixed (no iterated application necessary anymore) Florian Steurer 2016-03-14 12:59:31 +01:00
  • 6778160315 various Florian Steurer 2016-03-13 23:01:28 +01:00
  • 27acee3385 standard martelli montanari unifiy fixed Florian Steurer 2016-03-13 16:00:00 +01:00
  • b1d6b44fb9 BCEL Library aktualisiert, Stackmaptable angefügt, Tests angepasst JanUlrich 2016-03-10 15:28:03 +01:00
  • a4ea466fe6 Methode generiert StackMapTable JanUlrich 2016-02-18 18:28:08 +01:00
  • 7c00940cba Merge branch 'unify' into refactoring JanUlrich 2016-01-12 13:32:45 +01:00
  • b069bb7b8f StackMapTable Notizen JanUlrich 2016-01-12 13:32:16 +01:00
  • bdd018d922 regel 4 für paare (a <. Theta') (funktioniert zu 99 Prozent noch nicht richtig) Florian Steurer 2015-12-27 15:01:59 +01:00
  • 98cbe9b389 package rename + Mapping Klasse Florian Steurer 2015-12-27 00:29:23 +01:00
  • 039dd3b3f4 step 5 and 6 implemented Florian Steurer 2015-12-26 18:49:11 +01:00
  • 8eecda2a8f subst rule Florian Steurer 2015-12-26 16:52:18 +01:00
  • 3ff45a01de fixed cartesian products in step 4 Florian Steurer 2015-12-26 16:22:35 +01:00
  • 264910bfa4 tests Florian Steurer 2015-12-23 22:53:24 +01:00
  • 89b53351ce martelli montanari unifikation Florian Steurer 2015-12-23 13:25:43 +01:00
  • ab7f56db6f martelli montanari unification (unfinished) Florian Steurer 2015-12-21 15:44:13 +01:00
  • ac42bdf0a2 Merge mit Unify und Bytecode JanUlrich 2015-12-11 15:44:44 +01:00
  • cd569a8374 Fehler in AutoOverloadingVector beheben JanUlrich 2015-12-08 16:27:15 +01:00
  • bb165e007d Filter entfernen JanUlrich 2015-12-08 15:48:35 +01:00
  • 5f428894ea Merge mit bytecode JanUlrich 2015-12-08 13:34:16 +01:00
  • 116232df57 AutoOverloadingVector Test hinzugefügt Enrico Schrödter 2015-12-05 15:15:28 +01:00
  • 53dd7b019e cartesian products Florian Steurer 2015-11-27 19:52:59 +01:00
  • 3c80cb275b Doppelte Methodengenerierungen verhindert Enrico Schrödter 2015-11-27 18:10:46 +01:00
  • 1017b02704 Fehler in Bytecodegen der Methode beheben JanUlrich 2015-11-27 16:53:01 +01:00
  • 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 +01:00
  • dd478961e2 TypeinferenceResultSet von ClassGenerator getrennt Enrico Schrödter 2015-11-27 16:10:35 +01:00