Florian Steurer
|
6793b0bd24
|
rename mpair to unify pair / refactoring
|
2016-04-04 11:23:14 +02:00 |
|
JanUlrich
|
a3e7b4567a
|
Merge mit refactoring
|
2016-04-01 18:21:51 +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
|
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 |
|
JanUlrich
|
1f825360df
|
Test GenerateFiniteClosure anfügen
|
2016-03-17 16:54:43 +01:00 |
|
JanUlrich
|
1762101330
|
Type Factory in unifyNew bewegen
|
2016-03-16 14:56:02 +01:00 |
|
Florian Steurer
|
98cbe9b389
|
package rename + Mapping Klasse
|
2015-12-27 00:29:23 +01:00 |
|
Florian Steurer
|
fb82d8c3eb
|
changed typeplaceholders
|
2015-11-13 22:45:30 +01:00 |
|
Florian Steurer
|
777a9b5beb
|
reduce1 and reduceEq Tests
|
2015-11-08 21:23:20 +01:00 |
|
Florian Steurer
|
4765c2afe0
|
smarg and grarg tests
|
2015-11-07 16:21:17 +01:00 |
|