Commits · eeb628acf3b716e2ef274e36e7fb1eed0827d09b · Descartes Research / dml-adaptation

Jun 03, 2013

· eeb628ac

Nikolaus Huber authored 11 years ago

git-svn-id: https://se1.informatik.uni-wuerzburg.de/usvn/svn/code/code/DMM/trunk@11905 9e42b895-fcda-4063-8a3b-11be15eb1bbd

eeb628ac

Feb 04, 2013

testing RE scaling · ba4303e2

Nikolaus Huber authored 12 years ago

git-svn-id: https://se1.informatik.uni-wuerzburg.de/usvn/svn/code/code/DMM/trunk@10131 9e42b895-fcda-4063-8a3b-11be15eb1bbd

ba4303e2

adjusted to metamodel changes · 4c0c0fd4

Nikolaus Huber authored 12 years ago

git-svn-id: https://se1.informatik.uni-wuerzburg.de/usvn/svn/code/code/DMM/trunk@10119 9e42b895-fcda-4063-8a3b-11be15eb1bbd

4c0c0fd4

Jan 21, 2013

· 5a069608

Nikolaus Huber authored 12 years ago

git-svn-id: https://se1.informatik.uni-wuerzburg.de/usvn/svn/code/code/DMM/trunk@9875 9e42b895-fcda-4063-8a3b-11be15eb1bbd

5a069608

· 2e162292

Nikolaus Huber authored 12 years ago

git-svn-id: https://se1.informatik.uni-wuerzburg.de/usvn/svn/code/code/DMM/trunk@9866 9e42b895-fcda-4063-8a3b-11be15eb1bbd

2e162292

· 944748ca

Nikolaus Huber authored 12 years ago

git-svn-id: https://se1.informatik.uni-wuerzburg.de/usvn/svn/code/code/DMM/trunk@9864 9e42b895-fcda-4063-8a3b-11be15eb1bbd

944748ca

· 78df8da0

Nikolaus Huber authored 12 years ago

git-svn-id: https://se1.informatik.uni-wuerzburg.de/usvn/svn/code/code/DMM/trunk@9849 9e42b895-fcda-4063-8a3b-11be15eb1bbd

78df8da0

Jan 18, 2013

· 1776dd90

Nikolaus Huber authored 12 years ago

git-svn-id: https://se1.informatik.uni-wuerzburg.de/usvn/svn/code/code/DMM/trunk@9829 9e42b895-fcda-4063-8a3b-11be15eb1bbd

1776dd90

· e805a573

Nikolaus Huber authored 12 years ago

git-svn-id: https://se1.informatik.uni-wuerzburg.de/usvn/svn/code/code/DMM/trunk@9819 9e42b895-fcda-4063-8a3b-11be15eb1bbd

e805a573

· dd8c7af1

Nikolaus Huber authored 12 years ago

git-svn-id: https://se1.informatik.uni-wuerzburg.de/usvn/svn/code/code/DMM/trunk@9814 9e42b895-fcda-4063-8a3b-11be15eb1bbd

dd8c7af1

Jan 17, 2013

· 65734272

Nikolaus Huber authored 12 years ago

git-svn-id: https://se1.informatik.uni-wuerzburg.de/usvn/svn/code/code/DMM/trunk@9805 9e42b895-fcda-4063-8a3b-11be15eb1bbd

65734272

further refactorings. now only the STA model and perfdatarepo model are used as input models · bd531949
Nikolaus Huber authored 12 years ago
```
git-svn-id: https://se1.informatik.uni-wuerzburg.de/usvn/svn/code/code/DMM/trunk@9804 9e42b895-fcda-4063-8a3b-11be15eb1bbd
```
bd531949

· 2241518b

Nikolaus Huber authored 12 years ago

git-svn-id: https://se1.informatik.uni-wuerzburg.de/usvn/svn/code/code/DMM/trunk@9802 9e42b895-fcda-4063-8a3b-11be15eb1bbd

2241518b

· 3639c9bd

Nikolaus Huber authored 12 years ago

git-svn-id: https://se1.informatik.uni-wuerzburg.de/usvn/svn/code/code/DMM/trunk@9790 9e42b895-fcda-4063-8a3b-11be15eb1bbd

3639c9bd

· 620b7eaa

Nikolaus Huber authored 12 years ago

git-svn-id: https://se1.informatik.uni-wuerzburg.de/usvn/svn/code/code/DMM/trunk@9789 9e42b895-fcda-4063-8a3b-11be15eb1bbd

620b7eaa

Jan 10, 2013

added branch condition context element · 4177faf0

Nikolaus Huber authored 12 years ago

git-svn-id: https://se1.informatik.uni-wuerzburg.de/usvn/svn/code/code/DMM/trunk@9711 9e42b895-fcda-4063-8a3b-11be15eb1bbd

4177faf0

Jan 09, 2013

· 07535d96

Nikolaus Huber authored 12 years ago

git-svn-id: https://se1.informatik.uni-wuerzburg.de/usvn/svn/code/code/DMM/trunk@9702 9e42b895-fcda-4063-8a3b-11be15eb1bbd

07535d96

testing BranchAction · 6d9d9c59

Nikolaus Huber authored 12 years ago

git-svn-id: https://se1.informatik.uni-wuerzburg.de/usvn/svn/code/code/DMM/trunk@9701 9e42b895-fcda-4063-8a3b-11be15eb1bbd

6d9d9c59

· 5c524824

Nikolaus Huber authored 12 years ago

git-svn-id: https://se1.informatik.uni-wuerzburg.de/usvn/svn/code/code/DMM/trunk@9692 9e42b895-fcda-4063-8a3b-11be15eb1bbd

5c524824

Jan 07, 2013

test loop action · d58f2b7a

Nikolaus Huber authored 12 years ago

git-svn-id: https://se1.informatik.uni-wuerzburg.de/usvn/svn/code/code/DMM/trunk@9672 9e42b895-fcda-4063-8a3b-11be15eb1bbd

d58f2b7a

Dec 21, 2012
- placed platform:/resource into the model file to test "platform path uri" · 45ffa9fd
  Nikolaus Huber authored 12 years ago
  
  git-svn-id: https://se1.informatik.uni-wuerzburg.de/usvn/svn/code/code/DMM/trunk@9623 9e42b895-fcda-4063-8a3b-11be15eb1bbd
  45ffa9fd
Dec 19, 2012

· 561c7f5e

Nikolaus Huber authored 12 years ago

git-svn-id: https://se1.informatik.uni-wuerzburg.de/usvn/svn/code/code/DMM/trunk@9576 9e42b895-fcda-4063-8a3b-11be15eb1bbd

561c7f5e

added some test models · 9c1a557d

Nikolaus Huber authored 12 years ago

git-svn-id: https://se1.informatik.uni-wuerzburg.de/usvn/svn/code/code/DMM/trunk@9572 9e42b895-fcda-4063-8a3b-11be15eb1bbd

9c1a557d