Manuel Krucker
|
3f6b0e28a9
|
exception added
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7897 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-07 09:48:02 +00:00 |
Manuel Krucker
|
875611fd51
|
supported ajusted
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7896 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-07 09:34:33 +00:00 |
Manuel Krucker
|
f7038391e3
|
cleaned up source code
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7895 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-07 09:18:25 +00:00 |
Manuel Krucker
|
1e7bfc3e7a
|
debugging level added
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7894 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-07 08:33:57 +00:00 |
Manuel Krucker
|
1665f14711
|
improved tests
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7893 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-07 07:20:22 +00:00 |
Manuel Krucker
|
778a140064
|
process_depends bug fixed
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7892 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-07 07:19:56 +00:00 |
Manuel Krucker
|
92145daf85
|
invariant OclAnyC ajusted
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7891 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-07 06:56:14 +00:00 |
Manuel Krucker
|
0dcd86776d
|
trivial inv added to OclAnyC
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7890 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-07 06:51:13 +00:00 |
Manuel Krucker
|
cbe5ee02b7
|
weiss nicht mehr
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7888 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-06 20:12:20 +00:00 |
Manuel Krucker
|
07d3cbb728
|
bug get_attributes gefixt
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7887 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-06 20:12:02 +00:00 |
Manuel Krucker
|
d16d9ad01e
|
subconstraint of visibility added
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7886 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-06 20:11:36 +00:00 |
Manuel Krucker
|
d310dca0a7
|
add subconstraints
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7885 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-06 19:24:26 +00:00 |
Manuel Krucker
|
8a85c00740
|
updated test-suite & registry
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7884 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-06 19:24:08 +00:00 |
Manuel Krucker
|
824dd8fcd5
|
Operation oclIsDefined added
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7883 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-06 19:10:13 +00:00 |
Manuel Krucker
|
bf640b128e
|
pattern match extended: visibility (Primitive{...}) = public
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7882 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-06 18:21:46 +00:00 |
Manuel Krucker
|
4a5335c4e8
|
new subconstraint added
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7881 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-06 13:36:05 +00:00 |
Manuel Krucker
|
2fd5ab4c6f
|
add functionality
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7880 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-06 13:21:56 +00:00 |
Manuel Krucker
|
6ca517c3c1
|
logging messages inserted
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7879 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-06 12:47:13 +00:00 |
Manuel Krucker
|
9d8e528328
|
new subconstraint added
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7878 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-06 11:32:06 +00:00 |
Manuel Krucker
|
f2f54c7c48
|
new constraints added
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7877 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-06 09:43:26 +00:00 |
Manuel Krucker
|
57ada7dc96
|
bug syntax check fixed
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7876 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-06 09:42:45 +00:00 |
Manuel Krucker
|
ffc7936c85
|
proceeding with implementation
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7870 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-05 14:13:02 +00:00 |
Manuel Krucker
|
3a46471189
|
subconstraint conjugate invariant added
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7869 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-05 14:12:37 +00:00 |
Manuel Krucker
|
ee74f65b81
|
operational consistency implementation
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7868 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-05 12:52:47 +00:00 |
Manuel Krucker
|
6f76cef9a2
|
test data ajusted
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7867 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-05 08:32:12 +00:00 |
Manuel Krucker
|
1a38083914
|
Optimized depending-wfpos support
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7866 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-05 08:30:58 +00:00 |
Manuel Krucker
|
25f7686a5c
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7857 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-02 14:31:14 +00:00 |
Manuel Krucker
|
2887fba15a
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7856 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-02 14:30:29 +00:00 |
Manuel Krucker
|
d4bbc7c196
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7834 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-30 11:00:06 +00:00 |
Manuel Krucker
|
545bed1fe6
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7832 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-30 10:28:06 +00:00 |
Manuel Krucker
|
2156e1e852
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7831 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-30 10:27:20 +00:00 |
Manuel Krucker
|
75b67b53f2
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7830 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-30 10:16:00 +00:00 |
Manuel Krucker
|
eb57a59228
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7829 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-30 10:14:26 +00:00 |
Manuel Krucker
|
876fc95e44
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7824 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-30 08:21:42 +00:00 |
Achim D. Brucker
|
92d3cdcfcb
|
removed superflous gen_unique_string and narrowed some types in the generated POs
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7821 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-30 07:10:04 +00:00 |
Achim D. Brucker
|
540f76c072
|
use OclState instead of DummyT
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7817 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-29 22:14:26 +00:00 |
Achim D. Brucker
|
aec7a75615
|
added new type OclState
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7815 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-29 20:17:06 +00:00 |
Manuel Krucker
|
300e133fd5
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7813 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-29 18:48:45 +00:00 |
Manuel Krucker
|
3fa9ba196b
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7806 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-29 16:20:38 +00:00 |
Manuel Krucker
|
bb485e91e2
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7805 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-29 16:17:43 +00:00 |
Manuel Krucker
|
7ab60569f2
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7800 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-29 14:21:17 +00:00 |
Manuel Krucker
|
7e7c141f5f
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7795 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-29 11:39:18 +00:00 |
Manuel Krucker
|
d355eaec98
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7794 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-29 10:36:05 +00:00 |
Manuel Krucker
|
6a1a18b365
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7793 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-29 10:35:46 +00:00 |
Manuel Krucker
|
327f757f3b
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7790 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-29 09:28:32 +00:00 |
Manuel Krucker
|
ca98fa3f8b
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7788 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-29 07:34:43 +00:00 |
Achim D. Brucker
|
5a15799e86
|
improved printing of hol-ocl stuff
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7786 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-29 06:20:50 +00:00 |
Manuel Krucker
|
a1dab033cb
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7784 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-28 13:30:51 +00:00 |
Manuel Krucker
|
9b5229f61b
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7782 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-28 13:02:07 +00:00 |
Manuel Krucker
|
91262dd326
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7781 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-28 12:44:57 +00:00 |