|
|
5b07d58093
|
- Klassenvariable ohne Wert
|
2016-03-30 10:14:05 +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
|
23142adc70
|
reduce rules
|
2016-03-29 17:52:38 +02:00 |
|
JanUlrich
|
43a8c9e647
|
Umstellung auf MPair beginnen
|
2016-03-29 13:23:15 +02:00 |
|
JanUlrich
|
fa337c5546
|
Umstellung auf MPair beginnen
|
2016-03-29 13:23:05 +02:00 |
|
Florian Steurer
|
639ac8430c
|
adapted adaptRules
|
2016-03-28 20:56:24 +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 |
|
Florian Steurer
|
bbfd8699e8
|
smaller / smArg / grArg / TODO: greater
|
2016-03-26 00:03:26 +01:00 |
|
JanUlrich
|
ad2804fab9
|
Umstellung auf MPair beginnen
|
2016-03-24 11:57:31 +01:00 |
|
JanUlrich
|
1e9d0517f2
|
Umstellung auf MPair beginnen
|
2016-03-24 11:57:17 +01:00 |
|
Florian Steurer
|
a5b86dc84c
|
freshPlaceholder / implemented funn rules
|
2016-03-23 11:44:31 +01:00 |
|
Florian Steurer
|
11bcf5735a
|
freshPlaceholder Method // funN rules (not implemented yet)
|
2016-03-23 10:59:41 +01:00 |
|
Florian Steurer
|
88726ccb70
|
added funN
|
2016-03-23 09:45:36 +01:00 |
|
Florian Steurer
|
14e00913e8
|
application of new rules
|
2016-03-22 20:47:39 +01:00 |
|
Florian Steurer
|
0e524caae7
|
Added missing rules
|
2016-03-22 20:41:24 +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
|
e061dea7f5
|
Aufräumen SourceFile
|
2016-03-16 14:54:41 +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 |
|
JanUlrich
|
4681b03838
|
Unify Paper anfügen
|
2016-03-15 13:26:22 +01:00 |
|
Florian Steurer
|
6acc3c1366
|
step 4 rule 1
|
2016-03-14 14:46:10 +01:00 |
|
Florian Steurer
|
863904a4e8
|
unifier fixed (no iterated application necessary anymore)
|
2016-03-14 12:59:31 +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 |
|
JanUlrich
|
b069bb7b8f
|
StackMapTable Notizen
|
2016-01-12 13:32:16 +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
|
8eecda2a8f
|
subst rule
|
2015-12-26 16:52:18 +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
|
89b53351ce
|
martelli montanari unifikation
|
2015-12-23 13:25:43 +01:00 |
|
