JanUlrich
|
4173733ada
|
Merge branch 'unify' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into refactoring
|
2016-04-12 14:00:53 +02:00 |
|
Florian Steurer
|
1b9a9c0841
|
commenting / refactoring
|
2016-04-12 13:39:08 +02:00 |
|
Florian Steurer
|
ff0d1e907f
|
fixed flattening of sets
|
2016-04-12 13:21:17 +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
|
b0aeaae80e
|
Merge branch 'unify' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into refactoring
|
2016-04-12 11:54:46 +02:00 |
|
Florian Steurer
|
f8d7a95731
|
commenting
|
2016-04-12 11:36:43 +02:00 |
|
Florian Steurer
|
8b6a4d1746
|
refactoring and commenting
|
2016-04-12 11:28:07 +02:00 |
|
Florian Steurer
|
a16e62f4bd
|
refactoring and commenting
|
2016-04-12 11:18:55 +02:00 |
|
Florian Steurer
|
ea32cd5680
|
commenting and refactoring
|
2016-04-12 11:12:57 +02:00 |
|
Florian Steurer
|
1e96811127
|
refactoring and commenting
|
2016-04-12 10:54:17 +02:00 |
|
JanUlrich
|
f630f93a3d
|
Debug Ausgabe anfügen
|
2016-04-12 10:06:58 +02:00 |
|
JanUlrich
|
3bb2153b6a
|
Java Parser an umbenennung anpassen
|
2016-04-11 18:36:43 +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 |
|
JanUlrich
|
de238b90df
|
Assumptions erweitern
|
2016-04-11 18:35:18 +02:00 |
|
Florian Steurer
|
55f288022a
|
commenting, refactoring
|
2016-04-11 16:31:55 +02:00 |
|
Florian Steurer
|
0313d297e1
|
comments and refactoring
|
2016-04-11 16:26:59 +02:00 |
|
Florian Steurer
|
044e6fbc3f
|
comments & refactoring
|
2016-04-11 16:05:36 +02:00 |
|
Florian Steurer
|
aa692c2f25
|
comments
|
2016-04-11 15:30:01 +02:00 |
|
Florian Steurer
|
6616d78dcb
|
.
|
2016-04-11 09:56:29 +02:00 |
|
Florian Steurer
|
5dd90cb30c
|
refactored standard unification
|
2016-04-11 09:56:06 +02:00 |
|
Florian Steurer
|
64247b689b
|
signature from getLeftHandedType from type to string
|
2016-04-10 14:52:07 +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
|
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 |
|
|
|
b707a0f03e
|
Bugfix: Methodenparameter
|
2016-04-07 15:44:29 +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 |
|
|
|
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 |
|
JanUlrich
|
e1c925b9bc
|
Unnötige Kommentare löschen
|
2016-04-06 12:42:15 +02:00 |
|
Florian Steurer
|
6793b0bd24
|
rename mpair to unify pair / refactoring
|
2016-04-04 11:23:14 +02:00 |
|
Florian Steurer
|
2e30429252
|
added wildcardtype
|
2016-04-04 10:18:34 +02:00 |
|
Florian Steurer
|
20d1106e07
|
refactored Types //
|
2016-04-03 22:43:55 +02:00 |
|
Florian Steurer
|
6c2d71d005
|
random with seed
|
2016-04-03 17:36:44 +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
|
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 |
|
|
|
8d8e27c84c
|
- Bugfix new Statement, Deskription darf nicht mit Semikolon enden
|
2016-03-31 08:52:23 +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 |
|
|
|
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
|
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
|
26cc9b85ef
|
smalller und neue testcases
|
2016-03-28 01:01:46 +02: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 |
|
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 |
|
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 |
|
Florian Steurer
|
ab7f56db6f
|
martelli montanari unification (unfinished)
|
2015-12-21 15:44:13 +01:00 |
|
JanUlrich
|
ac42bdf0a2
|
Merge mit Unify und Bytecode
|
2015-12-11 15:44:44 +01:00 |
|
JanUlrich
|
bb165e007d
|
Filter entfernen
|
2015-12-08 15:48:35 +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 |
|
|
|
3c80cb275b
|
Doppelte Methodengenerierungen verhindert
|
2015-11-27 18:10:46 +01:00 |
|
JanUlrich
|
1017b02704
|
Fehler in Bytecodegen der Methode beheben
|
2015-11-27 16:53:01 +01:00 |
|
|
|
dd478961e2
|
TypeinferenceResultSet von ClassGenerator getrennt
|
2015-11-27 16:10:35 +01:00 |
|
JanUlrich
|
141e952c7a
|
Merge mit refactoring
|
2015-11-27 15:47:09 +01:00 |
|
|
|
8ae7bda535
|
Mehrere Lösungen in einer Classfile
|
2015-11-25 10:41:57 +01:00 |
|
|
|
a27b4f9d3b
|
Mehrere Lösungen in einer Classfile
|
2015-11-25 10:23:06 +01:00 |
|
|
|
e4374c06fd
|
Mehrere Lösungen in einer Classfile
|
2015-11-25 09:41:26 +01:00 |
|
Florian Steurer
|
97e0e2fc72
|
unifyTest
|
2015-11-23 01:03:01 +01:00 |
|
Florian Steurer
|
7ff9554d78
|
application of adaptRules
|
2015-11-23 00:15:12 +01:00 |
|
Florian Steurer
|
4576efe3ec
|
implemented step 4 (some cases still missing)
|
2015-11-23 00:12:08 +01:00 |
|
Florian Steurer
|
e2ba4490b1
|
step 4 grundgerüst
|
2015-11-22 21:57:16 +01:00 |
|
Florian Steurer
|
6fd382580a
|
Fixed AdaptSup
|
2015-11-22 15:58:10 +01:00 |
|
Florian Steurer
|
9552831d4e
|
AdaptExt and Sup revisit
|
2015-11-22 15:54:18 +01:00 |
|
Florian Steurer
|
3f4f2cd27b
|
adapt revisit
|
2015-11-22 15:26:17 +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
|
c45c426011
|
unifier
|
2015-11-15 18:09:21 +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
|
82c0736fee
|
adapt Rule
|
2015-11-13 23:24:22 +01:00 |
|
Florian Steurer
|
8a40acb73e
|
application of unifiers
|
2015-11-13 23:17:14 +01:00 |
|
Florian Steurer
|
fd5902f6dd
|
stricter equality condition for typeParams
|
2015-11-13 22:49:26 +01:00 |
|
Florian Steurer
|
9f37139ab3
|
real immutability
|
2015-11-13 22:45:13 +01:00 |
|
JanUlrich
|
ed246e0f88
|
Fehler in NewClass und Constructor beheben
|
2015-11-13 16:29:41 +01:00 |
|
JanUlrich
|
c646a34745
|
Fehler durch Änderung von Unify beheben. Merge mit bytecode
|
2015-11-13 13:11:10 +01:00 |
|
JanUlrich
|
b8c0d87056
|
Unify auf commit 144c31a4cb ändern
|
2015-11-13 12:55:34 +01:00 |
|
|
|
61891177a1
|
BytecodeTests erweitert
ASTFacotry überarbeitet
|
2015-11-12 14:50: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
|
eeba9fb734
|
reduceSup Test
|
2015-11-08 22:21:28 +01:00 |
|
Florian Steurer
|
176ec7b707
|
subst rule interface
|
2015-11-08 21:30:17 +01:00 |
|
Florian Steurer
|
777a9b5beb
|
reduce1 and reduceEq Tests
|
2015-11-08 21:23:20 +01:00 |
|
Florian Steurer
|
b3514a8375
|
reduceUp and reduceLow tests
|
2015-11-08 17:02:25 +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
|
84641d4abf
|
application of the rules
|
2015-11-07 18:03:21 +01:00 |
|
Florian Steurer
|
a263ba5fd4
|
reduceSup
|
2015-11-07 16:49:20 +01:00 |
|
Florian Steurer
|
e49c2a35de
|
implemented grArg and smArg
|
2015-11-07 14:53:23 +01:00 |
|
Florian Steurer
|
28e0e8e94d
|
visitor pattern for grarg smarg
|
2015-11-07 14:35:54 +01:00 |
|
Florian Steurer
|
6b709f0198
|
fc smaller greater tests
|
2015-11-07 13:57:54 +01:00 |
|
Florian Steurer
|
b93f1dd376
|
fixed greater()
|
2015-11-07 11:47:54 +01:00 |
|
Florian Steurer
|
c08a8fd347
|
reduceExt
|
2015-11-07 11:41:06 +01:00 |
|
Florian Steurer
|
2483044e0c
|
rules
|
2015-11-07 10:57:17 +01:00 |
|
Florian Steurer
|
a86b70e672
|
reduce1 regel
|
2015-11-06 21:02:43 +01:00 |
|
