i21023/JavaTXCompilerInJavaTX
2
0
Fork 0
forked from JavaTX/JavaCompilerCore
Code Pull Requests Activity
641 Commits 54 Branches 0 Tags 621 MiB
b14c264435
Commit Graph

641 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
JanUlrich
b14c264435 Merge branch 'bytecode' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode 2016-04-12 12:24:15 +02:00
Pluemicke Martin
7363758603 new file: OL.jav 
new file:   OLTest.java
	modified:   Overloading.jav
main Methode angefuegt
 2016-04-12 11:37:00 +02:00
JanUlrich
22393888f1 Merge branch 'refactoring' into bytecode 2016-04-12 10:28:20 +02:00
JanUlrich
b68107286a Merge branch 'bytecode' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode 2016-04-12 10:23:15 +02:00
JanUlrich
f630f93a3d Debug Ausgabe anfügen 2016-04-12 10:06:58 +02:00
Martin Plümicke
0438ef9af4 Merge branch 'bytecode' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode 2016-04-12 09:57:09 +02:00
JanUlrich
3bb2153b6a Java Parser an umbenennung anpassen 2016-04-11 18:36:43 +02:00
JanUlrich
6cc0d462ab Merge branch 'unify' into refactoring 2016-04-11 18:35:50 +02:00
JanUlrich
df1881bf41 Merge branch 'bytecode' into refactoring 2016-04-11 18:35:44 +02:00
JanUlrich
de238b90df Assumptions erweitern 2016-04-11 18:35:18 +02:00
Florian Steurer
55f288022a commenting, refactoring 2016-04-11 16:31:55 +02:00
Florian Steurer
0313d297e1 comments and refactoring 2016-04-11 16:26:59 +02:00
Florian Steurer
044e6fbc3f comments & refactoring 2016-04-11 16:05:36 +02:00
Florian Steurer
aa692c2f25 comments 2016-04-11 15:30:01 +02:00
Florian Steurer
6616d78dcb . 2016-04-11 09:56:29 +02:00
Florian Steurer
5dd90cb30c refactored standard unification 2016-04-11 09:56:06 +02:00
Florian Steurer
64247b689b signature from getLeftHandedType from type to string 2016-04-10 14:52:07 +02:00
Florian Steurer
23e0be2572 extended all cases / fixed random placeholder generation 2016-04-09 15:07:41 +02:00
Florian Steurer
d080eb4a0a extended case 6 2016-04-08 18:48:35 +02:00
Florian Steurer
41b3e4f6c2 extended case 5 2016-04-08 18:28:34 +02:00
Florian Steurer
5c73224f8f support for extended case 1 // tests // bugfix in "big" cases 2016-04-08 18:04:11 +02:00
Florian Steurer
e06888f5f7 organized imports 2016-04-07 22:33:14 +02:00
Florian Steurer
3a2a5510b9 removed printLn-tests fuer smArg und grArg 2016-04-07 22:32:42 +02:00
Florian Steurer
b7f41c4d13 funN greater 2016-04-07 22:30:30 +02:00
Florian Steurer
53cfb4b046 Support for FunN in FC added // swap for unifiers 2016-04-07 22:24:35 +02:00
Florian Steurer
284447aad2 removed unify old test 2016-04-07 21:45:27 +02:00
Enrico Schrödter
b707a0f03e Bugfix: Methodenparameter 2016-04-07 15:44:29 +02:00
JanUlrich
d63f08bf33 BytecodeTest falsch aufgerufen 2016-04-07 15:08:11 +02:00
JanUlrich
d3ebee1b3c Merge branch 'bytecode' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into refactoring 2016-04-07 14:55:46 +02:00
Enrico Schrödter
45cad9f675 - getDescription ist nicht die Descripiton im Bytecode 2016-04-07 14:53:29 +02:00
JanUlrich
74c2b5e323 Merge branch 'bytecode' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into refactoring 2016-04-07 14:52:04 +02:00
JanUlrich
e537a76cd9 Merge branch 'unify' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into refactoring 2016-04-07 14:39:15 +02:00
JanUlrich
44318ee5d8 Aufräumen 2016-04-07 14:39:07 +02:00
Florian Steurer
8d69f6c82b adapt rule fixed 2016-04-07 14:30:23 +02:00
Enrico Schrödter
943c4e6043 Test für System.out.println erstellt. Umsetzung vorerst nicht möglich, da ein Fehler der Typeinferenz auftritt 2016-04-07 13:54:29 +02:00
Enrico Schrödter
7b78cf8471 Bugfix: Store and Load 2016-04-07 12:19:42 +02:00
JanUlrich
3a8f1252a4 Merge branch 'bytecode' into refactoring 2016-04-06 14:23:26 +02:00
JanUlrich
e1c925b9bc Unnötige Kommentare löschen 2016-04-06 12:42:15 +02:00
Florian Steurer
6793b0bd24 rename mpair to unify pair / refactoring 2016-04-04 11:23:14 +02:00
Florian Steurer
2e30429252 added wildcardtype 2016-04-04 10:18:34 +02:00
Florian Steurer
2c642cb6ef permute params test with assert 2016-04-03 22:57:11 +02:00
Florian Steurer
20d1106e07 refactored Types // 2016-04-03 22:43:55 +02:00
Florian Steurer
6c2d71d005 random with seed 2016-04-03 17:36:44 +02:00
Florian Steurer
0d5b515a47 added extra set level / fixed subst rule bug / 2016-04-03 16:53:45 +02:00
Florian Steurer
b12f301656 Merge branch 'unify' of ssh://i13029@gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into unify 2016-04-02 11:29:43 +02:00
Florian Steurer
0be7534b98 . 2016-04-02 11:29:31 +02:00
JanUlrich
1bf208b833 Merge mit refactoring 2016-04-01 18:24:36 +02:00
JanUlrich
a3e7b4567a Merge mit refactoring 2016-04-01 18:21:51 +02:00
JanUlrich
4cdcde8fef Neuen Unify Algorithmus eingebaut 2016-04-01 16:12:30 +02:00
Florian Steurer
d89d06797e isInSolvedForm(), Unit-Tests, removed PairOp.Equals 2016-03-31 22:09:46 +02:00