yakindu@itemis.de
|
947fce8560
Tagged by Jenkins Task SVNTagging. Build:jenkins-YAKINDU_Base_CI-610.
|
10 лет назад |
Andreas Mülder
|
1323f9b19a
Added support for super types
|
10 лет назад |
yakindu@itemis.de
|
879de86d69
Tagged by Jenkins Task SVNTagging. Build:jenkins-YAKINDU_Base_CI-609.
|
10 лет назад |
Andreas Mülder
|
650eee0c9d
updated type inference for Property
|
10 лет назад |
Andreas Mülder
|
31582306a0
updated type inference for Property
|
10 лет назад |
Andreas Mülder
|
fd140a4c5c
updated type inference for Property
|
10 лет назад |
Andreas Mülder
|
910c2b6e59
updated type inference for Property
|
10 лет назад |
yakindu@itemis.de
|
22eaa179d2
Tagged by Jenkins Task SVNTagging. Build:jenkins-YAKINDU_Base_CI-608.
|
10 лет назад |
Andreas Mülder
|
28c8c15bce
Added type inference for operations
|
10 лет назад |
Andreas Mülder
|
61929a4aca
Changed loading of TypeSystems from Registry
|
10 лет назад |
yakindu@itemis.de
|
e88800e078
Tagged by Jenkins Task SVNTagging. Build:jenkins-YAKINDU_Base_CI-607.
|
10 лет назад |
Andreas Mülder
|
5d07475b15
Allow registration of different Type Systems
|
10 лет назад |
yakindu@itemis.de
|
faf0b97749
Tagged by Jenkins Task SVNTagging. Build:jenkins-YAKINDU_Base_CI-606.
|
10 лет назад |
Andreas Mülder
|
43f1522bbd
use type system registry during type inferrence
|
10 лет назад |
yakindu@itemis.de
|
eb583feaff
Tagged by Jenkins Task SVNTagging. Build:jenkins-YAKINDU_Base_CI-605.
|
10 лет назад |
Andreas Mülder
|
1865307271
Fixed assingment issue
|
10 лет назад |
yakindu@itemis.de
|
596206b08a
Tagged by Jenkins Task SVNTagging. Build:jenkins-YAKINDU_Base_CI-604.
|
10 лет назад |
Andreas Mülder
|
f1421fcf23
enhanced type inferrer
|
10 лет назад |
yakindu@itemis.de
|
24cac7e1d4
Tagged by Jenkins Task SVNTagging. Build:jenkins-YAKINDU_Base_CI-603.
|
10 лет назад |
Andreas Mülder
|
88195336e2
Changed assertions
|
10 лет назад |
yakindu@itemis.de
|
6146a9b6e9
Tagged by Jenkins Task SVNTagging. Build:jenkins-YAKINDU_Base_CI-602.
|
10 лет назад |
Andreas Mülder
|
3bf2340c69
removed
|
10 лет назад |
Andreas Mülder
|
1d7709d359
removed scope feature
|
10 лет назад |
Andreas Mülder
|
555c3affa9
Moved typescope to stext
|
10 лет назад |
Andreas Mülder
|
29c7714292
removed scopes plugin, added abstract attribute to Type class
|
10 лет назад |
yakindu@itemis.de
|
963665f7b0
Tagged by Jenkins Task SVNTagging. Build:jenkins-YAKINDU_Base_CI-600.
|
10 лет назад |
Andreas Mülder
|
65d6eda450
First draft of new type system implementation
|
10 лет назад |
Andreas Mülder
|
ba12a53938
First draft of new type system implementation
|
10 лет назад |
yakindu@itemis.de
|
fd6c094ae8
Tagged by Jenkins Task SVNTagging. Build:jenkins-YAKINDU_Base_CI-599.
|
10 лет назад |
Andreas Mülder
|
7e45dd98f8
Removed Kepler target
|
10 лет назад |