Achim D. Brucker
|
1b9374388d
|
cleanup
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@8363 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-12-22 09:16:05 +00:00 |
Achim D. Brucker
|
c9853fadbd
|
minor cleanup
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@8362 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-12-21 17:20:31 +00:00 |
Achim D. Brucker
|
7aebe05143
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@8349 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-12-09 05:49:14 +00:00 |
Achim D. Brucker
|
39b5a102b8
|
reorganizing top-level interface and new command line client
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@8342 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-12-07 20:58:07 +00:00 |
Achim D. Brucker
|
99aa587eba
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@8341 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-12-07 14:13:46 +00:00 |
Achim D. Brucker
|
2cedf99f8e
|
removed examples for uml2cdl which are also stored in uml2cdl/examples
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@8340 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-12-07 12:10:10 +00:00 |
Achim D. Brucker
|
79fbdc7d86
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@8261 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-10-13 11:03:18 +00:00 |
Achim D. Brucker
|
e27423792a
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@8260 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-10-13 09:01:11 +00:00 |
Achim D. Brucker
|
4ab2a26ae3
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@8257 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-10-12 15:04:28 +00:00 |
Achim D. Brucker
|
cd540c763f
|
root file for use with Isabelle based environments
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@8253 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-09-27 08:44:04 +00:00 |
Achim D. Brucker
|
943edd38cd
|
added orginal copyright information
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@8252 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-09-27 08:43:31 +00:00 |
Achim D. Brucker
|
3055396f06
|
bringing ml-lpt-lib 110.68 into the main branch
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@8251 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-09-27 08:39:47 +00:00 |
Achim D. Brucker
|
7b67e892cf
|
next generation OCL parser using ml-antlr
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@8250 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-09-27 08:38:27 +00:00 |
Achim D. Brucker
|
5397e3e5ab
|
raise exception if declared (OCL-) context ist not correct with respect to the model
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@8235 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-07-16 22:36:43 +00:00 |
Achim D. Brucker
|
6ac9a2077f
|
moved ToDo items into trac
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@8226 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-07-13 11:15:51 +00:00 |
Achim D. Brucker
|
1234d94925
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@8223 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-07-13 10:28:58 +00:00 |
Achim D. Brucker
|
a82f1d7c13
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@8222 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-07-12 18:32:01 +00:00 |
Achim D. Brucker
|
b0bd4d57c2
|
added support for poly/ml 5.2 (fixes #10)
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@8221 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-07-12 18:23:24 +00:00 |
Achim D. Brucker
|
b0aced2531
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@8215 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-07-09 04:22:45 +00:00 |
Achim D. Brucker
|
01a55393b8
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@8211 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-07-04 11:04:51 +00:00 |
Achim D. Brucker
|
5aaa1a9d64
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@8210 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-07-03 20:48:24 +00:00 |
Achim D. Brucker
|
756eae9db9
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@8208 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-07-03 20:08:13 +00:00 |
Achim D. Brucker
|
b548c0dd22
|
renamed joinModel to union and added operations intersection and minus for models
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@8207 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-07-03 19:54:36 +00:00 |
Achim D. Brucker
|
fa830684a5
|
add conc_ and abs_ to variable names
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@8037 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-24 20:52:30 +00:00 |
Manuel Krucker
|
5724bb6413
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@8036 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-24 19:13:51 +00:00 |
Manuel Krucker
|
dbfb970d1a
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@8018 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-22 11:35:00 +00:00 |
Manuel Krucker
|
34913331cb
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@8017 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-21 18:18:15 +00:00 |
Manuel Krucker
|
de3e3db36b
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@8016 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-21 17:49:08 +00:00 |
Manuel Krucker
|
027f90afb2
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@8015 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-21 17:46:33 +00:00 |
Manuel Krucker
|
e278279dea
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@8014 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-21 17:27:19 +00:00 |
Manuel Krucker
|
4a82159c2f
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@8013 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-21 17:09:47 +00:00 |
Manuel Krucker
|
6af7d2319a
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@8012 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-21 16:46:56 +00:00 |
Manuel Krucker
|
54dc6303a5
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@8011 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-21 16:26:22 +00:00 |
Manuel Krucker
|
91250678c7
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@8010 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-21 16:18:10 +00:00 |
Manuel Krucker
|
2604528279
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@8008 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-20 17:10:49 +00:00 |
Manuel Krucker
|
f8437c39e1
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@8007 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-20 17:10:42 +00:00 |
Manuel Krucker
|
d2539cf1ea
|
force initialize attributes added
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@8005 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-20 14:56:45 +00:00 |
Manuel Krucker
|
c53511b0e7
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@8004 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-20 14:37:27 +00:00 |
Manuel Krucker
|
1b8b96ea07
|
order of files changed
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@8003 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-20 13:49:07 +00:00 |
Manuel Krucker
|
58396a34e7
|
order of files changed
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@8002 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-20 13:46:05 +00:00 |
Manuel Krucker
|
dad9e75fb4
|
refinement adjusted
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@8001 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-20 13:40:27 +00:00 |
Achim D. Brucker
|
43e4a5e0a0
|
switched (wrong) order of S and T
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@8000 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-20 06:37:26 +00:00 |
Achim D. Brucker
|
bab0b57e07
|
added support for refinement extentensions (OclLocalValidR and OclForwardRefinement)
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7997 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-20 06:28:07 +00:00 |
Manuel Krucker
|
08e6396b77
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7994 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-19 18:09:57 +00:00 |
Manuel Krucker
|
f32e23d477
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7992 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-19 11:30:00 +00:00 |
Manuel Krucker
|
240db4206e
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7991 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-19 11:00:06 +00:00 |
Manuel Krucker
|
de5c581fdf
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7990 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-19 10:59:51 +00:00 |
Manuel Krucker
|
3d38ea1f0e
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7989 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-16 16:10:17 +00:00 |
Achim D. Brucker
|
b3db1b74f8
|
first ideas and comments regarding naming
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7988 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-16 15:26:52 +00:00 |
Manuel Krucker
|
ce9fce1b56
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7987 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-16 14:51:07 +00:00 |