Manuel Krucker
|
938e825bb7
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7982 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-16 10:43:11 +00:00 |
|
Manuel Krucker
|
392cd38d5f
|
description adjusted
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7980 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-15 20:13:17 +00:00 |
|
Manuel Krucker
|
689bbc29db
|
misc
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7975 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-14 13:21:30 +00:00 |
|
Manuel Krucker
|
a0f2191de0
|
improved output for testsuite
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7973 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-14 12:15:34 +00:00 |
|
Manuel Krucker
|
b4300e78fd
|
misc
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7972 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-14 11:12:46 +00:00 |
|
Manuel Krucker
|
090c099c32
|
updated status
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7969 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-13 15:53:40 +00:00 |
|
Manuel Krucker
|
62144f01cf
|
conjuagte inv with holocl and and not ocl and
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7967 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-13 15:07:24 +00:00 |
|
Manuel Krucker
|
0fefeed582
|
logging string added class_of
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7965 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-13 12:03:39 +00:00 |
|
Manuel Krucker
|
88b844f45a
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7962 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-12 15:16:08 +00:00 |
|
Manuel Krucker
|
22ac7ba523
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7959 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-12 13:02:41 +00:00 |
|
Manuel Krucker
|
30cf12552a
|
rep_secureuml.sig removed
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7958 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-12 13:01:51 +00:00 |
|
Manuel Krucker
|
e0cb52c9e0
|
rep_secureuml.sig removed
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7957 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-12 13:01:33 +00:00 |
|
Manuel Krucker
|
d59880b811
|
open Rep_Core added
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7956 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-12 13:01:03 +00:00 |
|
Manuel Krucker
|
e7f20c0095
|
rep_secureuml.sig removed
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7955 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-12 12:58:18 +00:00 |
|
Manuel Krucker
|
1a5c4d08ac
|
signature added to file rep_secureuml.sml
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7954 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-12 12:53:22 +00:00 |
|
Manuel Krucker
|
b5f62db977
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7953 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-12 12:52:16 +00:00 |
|
Manuel Krucker
|
1b795ceaf7
|
bug fixed in class_of
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7952 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-12 12:36:42 +00:00 |
|
Manuel Krucker
|
9e8c307793
|
subconstraints query added
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7951 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-12 09:35:16 +00:00 |
|
Manuel Krucker
|
446d932ffc
|
side_effect_free adjusted
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7950 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-12 09:00:03 +00:00 |
|
Manuel Krucker
|
7bd8d4f363
|
side_effect_free operation added
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7949 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-12 08:11:21 +00:00 |
|
Manuel Krucker
|
5c4a0c52ff
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7945 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-11 10:33:07 +00:00 |
|
Manuel Krucker
|
951257917b
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7943 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-10 10:23:41 +00:00 |
|
Manuel Krucker
|
29e59315cf
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7942 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-10 10:23:32 +00:00 |
|
Manuel Krucker
|
830ba5a179
|
d >= depth not >
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7941 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-10 09:21:51 +00:00 |
|
Manuel Krucker
|
90adbedab6
|
holOclLib.forall -> holOclLib.forAll
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7940 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-10 09:16:18 +00:00 |
|
Manuel Krucker
|
8e8a95c260
|
logging strings added
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7939 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-10 08:28:13 +00:00 |
|
Manuel Krucker
|
a3bb081ae5
|
logging strings added
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7938 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-10 08:22:08 +00:00 |
|
Manuel Krucker
|
c0d4d6f621
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7936 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-09 15:21:34 +00:00 |
|
Manuel Krucker
|
efbad20313
|
set data adjusted
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7935 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-09 14:42:28 +00:00 |
|
Manuel Krucker
|
8f9d1dc99d
|
logging strings added
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7934 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-09 14:38:55 +00:00 |
|
Manuel Krucker
|
c104e1e43c
|
set_data added
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7933 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-09 14:37:06 +00:00 |
|
Manuel Krucker
|
1ff167b556
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7932 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-09 14:13:05 +00:00 |
|
Manuel Krucker
|
e6eb4d1aba
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7931 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-09 13:45:49 +00:00 |
|
Manuel Krucker
|
52a2d223ba
|
exception handling adjusted
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7929 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-09 12:48:55 +00:00 |
|
Manuel Krucker
|
50a69449ff
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7928 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-09 07:43:56 +00:00 |
|
Manuel Krucker
|
7e35a497fc
|
new exception added
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7924 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-09 00:19:36 +00:00 |
|
Manuel Krucker
|
5635051340
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7923 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-08 23:10:38 +00:00 |
|
Manuel Krucker
|
34f2cbe5dd
|
RFM_args changed from (Path*Path) list to (Path*Path)
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7922 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-08 17:26:00 +00:00 |
|
Manuel Krucker
|
8f911612ec
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7921 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-08 09:59:02 +00:00 |
|
Manuel Krucker
|
e5202a9f04
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7918 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-08 09:27:56 +00:00 |
|
Manuel Krucker
|
e57edf3ad5
|
adjusted paths
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7917 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-08 09:10:10 +00:00 |
|
Manuel Krucker
|
a81945e35d
|
added new functionality
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7916 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-08 09:02:03 +00:00 |
|
Manuel Krucker
|
ceea613988
|
cleaned up
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7910 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-08 07:15:39 +00:00 |
|
Manuel Krucker
|
cd2fae9e97
|
cleaned up interface consistency
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7907 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-07 16:00:56 +00:00 |
|
Manuel Krucker
|
539cb292a9
|
status which wfs/pos are finiished
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7906 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-07 15:22:23 +00:00 |
|
Manuel Krucker
|
6db5e3c967
|
adusted
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7902 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-07 14:42:18 +00:00 |
|
Manuel Krucker
|
6adf41cd4b
|
cleaned up taxonomy consistency
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7901 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-07 14:42:03 +00:00 |
|
Manuel Krucker
|
09a398d5b6
|
debuggin level added
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7900 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-07 13:24:45 +00:00 |
|
Manuel Krucker
|
1acb029018
|
bug fix conjugate_invariants
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7899 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-07 13:06:02 +00:00 |
|
Manuel Krucker
|
477adca8d8
|
subconstraint added constructor consistency
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7898 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-05-07 10:30:02 +00:00 |