Commit Graph

604 Commits

Author SHA1 Message Date
841ac5fcbf PackageCrawler durch ClassLoader ersetzen 2017-07-14 17:47:02 +02:00
JanUlrich
0ad97251ca Change Parser FileInput to InputStream 2017-07-05 17:50:38 +02:00
JanUlrich
87d2edaaa6 Change TIP creation 2017-07-05 17:42:41 +02:00
JanUlrich
fc6040da39 Fehler in TYPE beseitigen 2017-06-30 13:48:59 +02:00
JanUlrich
d64823ea30 Fehler bei GenericInsertPoints beheben 2017-06-30 12:14:07 +02:00
JanUlrich
3b8ef58222 ASTTypePrinter anfügen 2017-06-30 11:13:15 +02:00
JanUlrich
726eb60eb3 ASTPrinter einführen 2017-06-28 21:10:28 +02:00
JanUlrich
afd3f32f23 ASTVisitor implementieren 2017-06-28 17:20:26 +02:00
JanUlrich
3173cccefa Typen einsetzen um Wildcards erweitern 2017-06-26 18:19:56 +02:00
JanUlrich
e6c58d44c2 Type für Return fixen 2017-06-26 16:59:10 +02:00
JanUlrich
1be1bb83ca FunN-Typen erstellen bei Methodenaufrufen 2017-06-23 21:33:27 +02:00
JanUlrich
920eea43ad Lambda Test angepasst 2017-06-15 02:57:49 +02:00
JanUlrich
70ca62202d Typeinsetzen erweitert 2017-06-15 02:17:46 +02:00
JanUlrich
44481b4140 Merge branch 'bigRefactoring' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bigRefactoring 2017-06-14 04:07:43 +02:00
JanUlrich
7a337843e6 Lambda-TYPE anpassen. Beginnen mit TypeInsert 2017-06-14 04:07:27 +02:00
Martin Plümicke
fcca50ed78 modified: .classpath
modified:   src/de/dhbwstuttgart/parser/SyntaxTreeGenerator/SyntaxTreeGenerator.java
	modified:   src/de/dhbwstuttgart/syntaxtree/SourceFile.java
	modified:   src/de/dhbwstuttgart/syntaxtree/statement/LambdaExpression.java
	modified:   src/de/dhbwstuttgart/typecheck/GenericTypeName.java
	modified:   src/de/dhbwstuttgart/typeinference/typeAlgo/TYPE.java
	modified:   test/astfactory/ASTFactoryTest.java

imports auskommentiert
2017-06-13 17:38:43 +02:00
JanUlrich
5f31150dc8 TYPE-Algo für LambdaExpression implementieren 2017-06-12 18:57:12 +02:00
JanUlrich
2129299eed Auto-Keyword an Grammatik anfügen 2017-05-31 17:10:50 +02:00
JanUlrich
810164ac17 LocalVar bekommt den Typ beim Parsen 2017-05-19 17:40:47 +02:00
JanUlrich
4a52bc0e6e TypeInsertFactory anfügen, convert UnifyPair->Pair implementieren 2017-05-18 13:17:52 +02:00
JanUlrich
2c999d0eb6 Umstellung auf Visitor Pattern des TYPE-Algos 2017-05-15 13:15:49 +02:00
JanUlrich
058402e056 StatementVisitor einführen 2017-05-11 17:39:48 +02:00
JanUlrich
43bfc551ff Fehler in Test beheben 2017-05-09 20:15:42 +02:00
JanUlrich
4261ce2603 Interfaces angefügt. Generierung von Generics im Parser geändert 2017-05-05 16:20:12 +02:00
JanUlrich
a9909d5f32 Merge mit Antlr 2017-04-20 18:55:34 +02:00
JanUlrich
caa7f7deee Lambdas einführen 2017-04-20 18:51:27 +02:00
JanUlrich
3d835304cf Lambda Ausdruck dem Parser anfügen 2017-04-19 15:26:37 +02:00
JanUlrich
29a17731fd NewClass Constraints generieren angefügt 2017-04-18 21:06:04 +02:00
JanUlrich
af1f7f28e2 New Aufruf im Parser anfügen 2017-04-07 02:33:20 +02:00
JanUlrich
e1af4e1f65 Tests ändern 2017-04-06 16:22:36 +02:00
JanUlrich
c02a3480e8 Cast Test 2017-04-06 12:26:04 +02:00
JanUlrich
30099f5e50 Parser um Cast erweitern 2017-04-06 11:23:25 +02:00
JanUlrich
4ecf526b14 Generics anfügen 2017-03-29 17:28:29 +02:00
JanUlrich
c480e25805 Bug im convert(Feld) gefixt 2017-03-22 16:16:38 +01:00
JanUlrich
47f1f9ad54 Generics angefügt 2017-03-22 16:05:59 +01:00
JanUlrich
c8beb9579e UnifyTypeFactory angefügt 2017-03-16 20:02:53 +01:00
JanUlrich
92c284a04b Constraints generieren. Fehler beheben 2017-03-15 16:54:43 +01:00
JanUlrich
5fab817154 MethodCall Constraints erstellen 2017-03-15 16:17:07 +01:00
JanUlrich
a38b796a6f ImportTest2 2017-03-09 16:20:05 +01:00
JanUlrich
2cdca93077 ASTFactory erweitert 2017-03-08 17:51:59 +01:00
JanUlrich
9fae52e1e6 Factory angefügt. java.lang.reflect.Modifier benutzen 2017-03-08 03:43:47 +01:00
JanUlrich
a44baeaa34 Beginnen mit Typinferenzalgorithmus 2017-03-02 18:16:14 +01:00
JanUlrich
40d87c8636 Method Parsen verbessert 2017-02-17 17:20:50 +01:00
JanUlrich
656b014ad4 Parser um return und method call erweitern 2017-02-17 16:34:40 +01:00
JanUlrich
fa4a24c653 Reflections Library anfügen. PackageCrawler anfügen 2017-02-15 16:29:11 +01:00
JanUlrich
60a304667a ANTLR Parser erweitert 2017-02-10 17:37:42 +01:00
JanUlrich
39747f4138 ANTLR Parser SyntaxtreeGenerator erweitern. 2017-02-03 15:20:26 +01:00
JanUlrich
3ab96a3ed7 Syntaxbaum bereinigen. Allen Code löschen. Nur Struktur bleibt erhalten 2016-12-16 00:00:37 +01:00
JanUlrich
c1cbb78fe5 Aufräumen 2016-12-07 14:32:48 +01:00
JanUlrich
accbe5bbfc Beginnen der BytecodeTypeFactory 2016-11-09 16:59:08 +01:00
JanUlrich
107201c00c Fehler in FunN Generierung beheben 2016-10-28 18:31:42 +02:00
JanUlrich
e60e6b622c Bugfix 2016-10-07 14:12:18 +02:00
Martin Plümicke
a33ce04734 modified 2016-09-30 12:48:41 +02:00
JanUlrich
a5c34896ba Fehler in Lambda-Generierung fixen 2016-09-16 14:26:18 +02:00
JanUlrich
aa6a6beb93 StackMapTable-Fix 2016-08-25 19:52:06 +02:00
JanUlrich
25329cd39e Einführen von BCEL 6.1 2016-07-21 16:36:33 +02:00
JanUlrich
81c8764fc6 Aufräumen, neue BCEL-Version 2016-06-23 16:49:30 +02:00
JanUlrich
e19dee4c99 Umstellung auf Intellij IDEA 2016-06-17 13:55:14 +02:00
JanUlrich
fe35a1f56d Merge mit bytecode 2016-06-03 13:47:22 +02:00
5821839cbc Test für Methodenparameter erstellt 2016-06-03 10:57:48 +02:00
JanUlrich
52b6f438b0 Merge mit Bytecode 2016-05-25 18:18:05 +02:00
47c2b78713 Testfall für Bug 48: Uninizierte Variablen erstellt 2016-05-12 21:14:57 +02:00
58db64ad22 WildCardTest implementiert 2016-05-12 20:50:36 +02:00
Martin Plümicke
223f6facc7 modified: ../../../src/de/dhbwstuttgart/bytecode/ClassGenerator.java
in addMethod :
String methodNameAndTypes = m.getName()+Arrays.toString(m.getArgumentTypes());
durch
String methodNameAndTypes = m.getReturnType().getSignature()+m.getName()+Arrays.toString(m.getArgumentTypes());
ersetzt
	modified:   OL.jav
Main-Klasse hinzugefuegt
2016-05-04 00:28:57 +02: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
ae01af7a40 Bugfix: OverloadingTest 2016-05-03 18:15:14 +02:00
JanUlrich
0a6aa450db OverloadingVector Test 2016-05-03 13:03:14 +02:00
JanUlrich
dc52dc5dec Merge branch 'bytecode' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode 2016-05-03 12:47:35 +02:00
JanUlrich
ca8952a43c Void Reference-Typen wieder zu Void RefTypes konvertieren 2016-05-03 12:46:32 +02:00
e5fc8c8288 - Div und MulOperatoren für alle numerischen Datentypen implementiert (Nur wenn beide Operanten den gleichen Typ haben) 2016-04-30 11:14:24 +02:00
JanUlrich
8134bbb297 Merge branch 'bytecode' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into refactoring 2016-04-29 16:03:50 +02:00
32741f41e9 - Addition für alle Typen implementiert
- Mehrere Klassen in einer jav Datei möglich
- OLTest läuft
2016-04-29 15:52:20 +02:00
JanUlrich
d19414c513 Merge mit Bytecode 2016-04-29 14:05:25 +02:00
ba6ae74ad1 -Tests für for und While Schleife korrigiert
- While teilweise implementiert
2016-04-29 10:00:33 +02:00
dad06a5626 Alle Bytecode Tests in SourceBytecodeTests transformiert 2016-04-29 09:43:36 +02:00
JanUlrich
324864f8d8 FunN Typen werden zu den entsprechenden UnifyTypen konvertiert 2016-04-29 04:00:46 +02:00
JanUlrich
f2410154aa Merge branch 'unify' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into refactoring 2016-04-29 03:09:31 +02:00
Florian Steurer
7c0a91e624 unitTest for lambda6, alternative sequential execution, minor bugs 2016-04-28 21:24:52 +02:00
JanUlrich
9a51e79f2a Merge branch 'unify' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into refactoring 2016-04-28 16:42:16 +02:00
bbb79b1a1d - Tests für Vergleichsoperatoren angelegt 2016-04-27 15:41:49 +02:00
b3e13d09b9 - Alle Operatoren implementiert
- Tests für Sub, Mul, Div
2016-04-27 15:08:17 +02:00
362be98c30 -Test für Stackmaptable ifstatement verbessert
- IFStatementCreator erstellt
2016-04-26 15:52:22 +02:00
Florian Steurer
7d75f18319 Parallelisierung mit Fork-Join Pool 2016-04-22 16:51:05 +02:00
JanUlrich
07d63a9586 Merge mit bytecode 2016-04-19 16:59:59 +02:00
8bad95f774 -AndOperator erweitert 2016-04-19 15:24:43 +02:00
5a7c2310a1 -Test für Methodenaufrufe und Variablen erstellt 2016-04-19 14:40:29 +02:00
a23f77c337 -Test für Variablen erstellt 2016-04-14 14:36:18 +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
9a07201498 And, Or, Plus Operator implementiert 2016-04-14 12:00:15 +02:00
dfe79a8030 Equal Operator implementiert 2016-04-13 19:31:35 +02:00
Florian Steurer
e8c46dcdbd rename unify to typeUnify 2016-04-13 18:32:09 +02:00
11e149110a - OLTest verbessert, ist aber nicht positiv, da Autoboxing fehlt 2016-04-12 20:06:22 +02:00
JanUlrich
7a47de7bfa Merge branch 'bytecode' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into refactoring 2016-04-12 12:14:38 +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
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
377987abda Aufräumen in test/bytecode 2016-04-12 11:08:39 +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
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
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
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
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
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
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
098cafac00 - IdentityFieldTest erstellt 2016-03-31 18:08:48 +02:00
JanUlrich
4deb91b99f Merge branch 'bytecode' into refactoring 2016-03-31 11:50:53 +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
b51079280e - New Statement, Problem Syntax des Klassennamens 2016-03-30 10:09:17 +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
b4d7ab02eb - UnitTest für MultiExtends Problem
- Verhindern von doppelten Methoden von Class -> ClassGen
2016-03-28 10:33:04 +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
c80dc162d9 - Verhindern von der Generierung von doppelte Methoden 2016-03-20 18:55:36 +01:00
Florian Steurer
21c6aef7fd cartesische produkte überarbeitet 2016-03-20 18:05:34 +01:00
Florian Steurer
299f8f56ca added missing cases 2016-03-20 15:09:12 +01:00
JanUlrich
1f825360df Test GenerateFiniteClosure anfügen 2016-03-17 16:54:43 +01:00
Florian Steurer
fa9627b883 unify case 1 2016-03-17 16:35:33 +01:00
Florian Steurer
d19a79bd63 finite closure greater smaller funktioniert jetzt auch mit wildcards
(muss noch getestet werden)
2016-03-16 23:27:45 +01:00
JanUlrich
1762101330 Type Factory in unifyNew bewegen 2016-03-16 14:56:02 +01:00
JanUlrich
a8d8dec899 Merge branch 'unify' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into refactoring 2016-03-15 13:57:21 +01:00
Florian Steurer
6acc3c1366 step 4 rule 1 2016-03-14 14:46:10 +01:00
Florian Steurer
6778160315 various 2016-03-13 23:01:28 +01:00
Florian Steurer
27acee3385 standard martelli montanari unifiy fixed 2016-03-13 16:00:00 +01:00
JanUlrich
b1d6b44fb9 BCEL Library aktualisiert, Stackmaptable angefügt, Tests angepasst 2016-03-10 15:28:03 +01:00
JanUlrich
a4ea466fe6 Methode generiert StackMapTable 2016-02-18 18:28:08 +01:00
JanUlrich
7c00940cba Merge branch 'unify' into refactoring 2016-01-12 13:32:45 +01:00
Florian Steurer
bdd018d922 regel 4 für paare (a <. Theta') (funktioniert zu 99 Prozent noch nicht
richtig)
2015-12-27 15:01:59 +01:00
Florian Steurer
98cbe9b389 package rename + Mapping Klasse 2015-12-27 00:29:23 +01:00
Florian Steurer
039dd3b3f4 step 5 and 6 implemented 2015-12-26 18:49:11 +01:00
Florian Steurer
3ff45a01de fixed cartesian products in step 4 2015-12-26 16:22:35 +01:00
Florian Steurer
264910bfa4 tests 2015-12-23 22:53:24 +01:00
JanUlrich
ac42bdf0a2 Merge mit Unify und Bytecode 2015-12-11 15:44:44 +01:00
JanUlrich
cd569a8374 Fehler in AutoOverloadingVector beheben 2015-12-08 16:27:15 +01:00
JanUlrich
5f428894ea Merge mit bytecode 2015-12-08 13:34:16 +01:00
116232df57 AutoOverloadingVector Test hinzugefügt 2015-12-05 15:15:28 +01:00
Florian Steurer
53dd7b019e cartesian products 2015-11-27 19:52:59 +01:00
JanUlrich
141e952c7a Merge mit refactoring 2015-11-27 15:47:09 +01:00
JanUlrich
63b2224f46 Datei für Logausgabe in compileToBytecode ändern 2015-11-27 13:15:13 +01:00
8ae7bda535 Mehrere Lösungen in einer Classfile 2015-11-25 10:41:57 +01:00
8b0005ecee AuoOverloadingTest vervollständigt 2015-11-25 08:00:50 +01:00
Florian Steurer
97e0e2fc72 unifyTest 2015-11-23 01:03:01 +01:00
2958c52610 NewClass Statement 2015-11-18 18:10:29 +01:00
fc03a744fe Ünnötige Tests gelöscht
Tests die noch nicht laufen können Ignoriert
2015-11-17 17:35:17 +01:00
Florian Steurer
be6a719433 adaptSup + tests 2015-11-15 18:39:22 +01:00
Florian Steurer
ae37dd6255 fc identifier from string to type 2015-11-15 18:08:46 +01:00
Florian Steurer
480c7dca61 adaptExt + tests 2015-11-15 15:06:34 +01:00
Florian Steurer
e447e1cd46 adapt + tests 2015-11-15 14:39:08 +01:00
Florian Steurer
3739747eca adapt 2015-11-14 18:51:46 +01:00
Florian Steurer
fb82d8c3eb changed typeplaceholders 2015-11-13 22:45:30 +01:00
JanUlrich
c646a34745 Fehler durch Änderung von Unify beheben. Merge mit bytecode 2015-11-13 13:11:10 +01:00
61891177a1 BytecodeTests erweitert
ASTFacotry überarbeitet
2015-11-12 14:50:27 +01:00
dc0cf0cd34 ExtendsVectorString erweitert 2015-11-11 11:11:50 +01:00
f18fcd2b12 ExtendsVecorStringTest teilweise in ASTBytecodeTest überführt 2015-11-10 19:28:47 +01:00
ecad9e138c BytecodeTest in SourceFileBytecodeTest umbenannt
ExtendsObjectTest von SourceFileBytecodeTest zu ASTBytecodeTest überführt
2015-11-10 18:26:29 +01:00
0c63695f7b ASTBytecodeTest erstellt 2015-11-10 17:54:27 +01:00
Florian Steurer
c83697dedb Unfifier 2015-11-09 14:39:26 +01:00
54a11c8779 Mehrere Lösungen in einer Class file 2015-11-09 09:38:49 +01:00
Florian Steurer
01ef0e9385 organize imports 2015-11-08 22:25:58 +01:00
Florian Steurer
c1e4fce67f reduce Ext Tests 2015-11-08 22:25:23 +01:00
Florian Steurer
eeba9fb734 reduceSup Test 2015-11-08 22:21:28 +01:00
Florian Steurer
7ada9cbd47 reduce 2 Test 2015-11-08 21:41:24 +01:00
Florian Steurer
777a9b5beb reduce1 and reduceEq Tests 2015-11-08 21:23:20 +01:00
Florian Steurer
e695429262 reduceUpLow test 2015-11-08 17:05:35 +01:00