Commit Graph

95 Commits

Author SHA1 Message Date
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
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
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
Florian Steurer
53dd7b019e cartesian products 2015-11-27 19:52:59 +01:00
Florian Steurer
97e0e2fc72 unifyTest 2015-11-23 01:03:01 +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
Florian Steurer
c83697dedb Unfifier 2015-11-09 14:39:26 +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
Florian Steurer
b3514a8375 reduceUp and reduceLow tests 2015-11-08 17:02:25 +01:00
Florian Steurer
4c6c77929f erase3 test 2015-11-08 16:42:57 +01:00
Florian Steurer
2eb11748ca erase1 and erase2 tests 2015-11-08 16:29:40 +01:00
Florian Steurer
1b1fae6b13 swap rule test 2015-11-07 20:37:29 +01:00
Florian Steurer
a263ba5fd4 reduceSup 2015-11-07 16:49:20 +01:00
Florian Steurer
4765c2afe0 smarg and grarg tests 2015-11-07 16:21:17 +01:00
Florian Steurer
2483044e0c rules 2015-11-07 10:57:17 +01:00
Florian Steurer
b0153be1cd . 2015-10-24 17:47:46 +02:00
JanUlrich
05187aa49f Merge mit bytecode 2015-10-23 14:44:55 +02:00
Florian Steurer
edf1d817d2 implemented equal for menge 2015-10-19 11:45:49 +02:00
Florian Steurer
cfc6711897 unit tests for simple types 2015-10-19 09:34:44 +02:00
Florian Steurer
9e1f417280 factories, builder and first unit test 2015-10-18 15:13:28 +02:00
Florian Steurer
7484ace724 first call to unify 2015-10-18 12:51:07 +02:00
Florian Steurer
bd8a62cda7 created unit test class 2015-10-17 19:04:32 +02:00
JanUlrich
442da87f48 Debug-Code einfügen für Karthesisches Produkt in Unify 2015-06-26 12:25:46 +02:00
JanUlrich
2b6ffdef11 Java Compliance auf JRE 8 erhöhen 2015-05-26 10:13:35 +02:00
JanUlrich
19d0198d2a Unify Test 2015-05-20 15:20:56 +02:00