Commit Graph

96 Commits

Author SHA1 Message Date
JanUlrich
c1cbb78fe5 Aufräumen 2016-12-07 14:32:48 +01:00
JanUlrich
5d760d4222 Aufruf im UnifyTest OverloadingVector ändern 2016-05-03 22:15:19 +02:00
Florian Steurer
78794e377a fixed vector 2016-05-03 20:44:55 +02:00
JanUlrich
0a6aa450db OverloadingVector Test 2016-05-03 13:03:14 +02:00
JanUlrich
ca8952a43c Void Reference-Typen wieder zu Void RefTypes konvertieren 2016-05-03 12:46:32 +02:00
Florian Steurer
7c0a91e624 unitTest for lambda6, alternative sequential execution, minor bugs 2016-04-28 21:24:52 +02:00
Florian Steurer
7d75f18319 Parallelisierung mit Fork-Join Pool 2016-04-22 16:51:05 +02:00
JanUlrich
5c12a61699 Merge branch 'unify' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into unify 2016-04-14 14:22:53 +02:00
JanUlrich
4b9eda962e Tests anfügen 2016-04-14 14:22:41 +02:00
Florian Steurer
e26f87afba fixed rule set test 2016-04-14 14:21:19 +02:00
JanUlrich
3cd7dba316 Merge branch 'unify' into refactoring 2016-04-14 14:03:15 +02:00
Florian Steurer
e8c46dcdbd rename unify to typeUnify 2016-04-13 18:32:09 +02:00
JanUlrich
f4d0dbf95d Unify Test anfügen 2016-04-12 12:14:31 +02:00
JanUlrich
03b1321a45 UnifyTestSubclasses anfügen 2016-04-12 11:54:26 +02:00
JanUlrich
6cc0d462ab Merge branch 'unify' into refactoring 2016-04-11 18:35:50 +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
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
Florian Steurer
6793b0bd24 rename mpair to unify pair / refactoring 2016-04-04 11:23:14 +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
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
JanUlrich
e2d384e7f9 Merge mit Unify und Einbinden der neuen Unifizierung. Nich lauffähige Version 2016-03-30 18:16:27 +02:00
Florian Steurer
304a5693a6 wc regeln angepasst, triviale tests fertig 2016-03-30 16:25:26 +02:00
Florian Steurer
5030410978 finitclosure tests angepasst 2016-03-29 19:07:54 +02:00
Florian Steurer
332dd57de3 greater und testy 2016-03-28 15:00:34 +02:00
Florian Steurer
ac3ce7d214 smaller 2016-03-28 11:40:21 +02:00
Florian Steurer
67e1c5c736 15ter testcase 2016-03-28 01:26:53 +02:00
Florian Steurer
de607cfd53 noch ein smaller test 2016-03-28 01:19:57 +02:00
Florian Steurer
26cc9b85ef smalller und neue testcases 2016-03-28 01:01:46 +02:00
Florian Steurer
257edfc0b3 fc smaller test 2016-03-26 14:09:45 +01:00
Florian Steurer
5e18496847 smaller and test cases 2016-03-26 12:59:38 +01:00
JanUlrich
1e9d0517f2 Umstellung auf MPair beginnen 2016-03-24 11:57:17 +01:00
JanUlrich
f788b74f26 Merge mit Unify und Bytecode 2016-03-22 15:13:51 +01:00
JanUlrich
47c9be5488 Aufräumen 2016-03-22 13:17:56 +01:00