Manuel Krucker
|
dbbfed17cc
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7777 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-28 09:40:26 +00:00 |
Manuel Krucker
|
87d62dd320
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7776 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-28 09:23:15 +00:00 |
Manuel Krucker
|
6da8f2773d
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7775 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-28 09:15:24 +00:00 |
Manuel Krucker
|
53e2526ae4
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7770 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-28 08:17:52 +00:00 |
Achim D. Brucker
|
509cefb636
|
fixed naming
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7764 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-26 17:40:02 +00:00 |
Manuel Krucker
|
db2517626e
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7762 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-26 12:06:20 +00:00 |
Manuel Krucker
|
f34a9d514e
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7760 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-25 14:06:29 +00:00 |
Manuel Krucker
|
5d93f4da12
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7759 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-25 13:03:55 +00:00 |
Manuel Krucker
|
6c60f3c497
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7758 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-25 07:53:21 +00:00 |
Manuel Krucker
|
38c9493c48
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7751 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-24 19:37:02 +00:00 |
Manuel Krucker
|
1de3c190ac
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7750 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-24 18:36:12 +00:00 |
Manuel Krucker
|
0ea55bc7ac
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7745 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-23 23:05:22 +00:00 |
Manuel Krucker
|
6728e849ab
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7744 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-23 22:13:57 +00:00 |
Manuel Krucker
|
efa84893da
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7743 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-23 21:51:23 +00:00 |
Manuel Krucker
|
ac4158e60d
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7742 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-23 21:35:17 +00:00 |
Manuel Krucker
|
dd46fc74a8
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7740 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-23 20:37:14 +00:00 |
Manuel Krucker
|
09020e8be8
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7739 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-23 20:32:08 +00:00 |
Manuel Krucker
|
d6c241c408
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7736 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-23 19:37:23 +00:00 |
Manuel Krucker
|
40e3dac493
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7735 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-23 19:16:36 +00:00 |
Manuel Krucker
|
be61324a04
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7734 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-23 16:21:13 +00:00 |
Manuel Krucker
|
269a958bc6
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7733 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-23 16:12:00 +00:00 |
Manuel Krucker
|
b5168dfa1b
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7730 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-23 14:28:26 +00:00 |
Manuel Krucker
|
80b5105541
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7729 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-23 14:23:20 +00:00 |
Manuel Krucker
|
0c92e2a7da
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7728 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-23 14:17:56 +00:00 |
Manuel Krucker
|
55763cafb9
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7727 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-23 14:00:43 +00:00 |
Manuel Krucker
|
0502cc3352
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7726 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-23 13:55:56 +00:00 |
Manuel Krucker
|
d9bbf8a81c
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7725 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-23 13:55:46 +00:00 |
Achim D. Brucker
|
e8d51ae1e9
|
fixed invariant name
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7724 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-21 19:07:03 +00:00 |
Manuel Krucker
|
cf23383c9b
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7706 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-18 12:06:55 +00:00 |
Manuel Krucker
|
637484526f
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7705 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-18 11:56:31 +00:00 |
Manuel Krucker
|
fb1aa41fcb
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7703 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-18 10:33:14 +00:00 |
Manuel Krucker
|
d45973f02c
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7702 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-18 10:33:08 +00:00 |
Manuel Krucker
|
198bbe8d2d
|
\
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7701 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-17 21:07:49 +00:00 |
Manuel Krucker
|
ed211284a7
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7672 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-08 11:12:08 +00:00 |
Manuel Krucker
|
47ad9a103e
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7671 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-08 11:12:00 +00:00 |
Achim D. Brucker
|
3491196405
|
use HOL implication for Liskov
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7669 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-08 09:31:12 +00:00 |
Manuel Krucker
|
738efcbfc5
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7667 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-08 07:42:16 +00:00 |
Manuel Krucker
|
db445d4f3b
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7665 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-08 07:03:53 +00:00 |
Manuel Krucker
|
5ab0ed5d8a
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7651 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-07 09:46:39 +00:00 |
Achim D. Brucker
|
dcefee359e
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7618 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-06 16:47:08 +00:00 |
Achim D. Brucker
|
e9024753b5
|
simplified pre/post related pos
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7617 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-06 16:46:58 +00:00 |
Achim D. Brucker
|
75897a0a0f
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7616 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-06 16:46:30 +00:00 |
Achim D. Brucker
|
2c85758cbc
|
added names of pre/post
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7615 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-06 16:46:04 +00:00 |
Achim D. Brucker
|
92d1161bb0
|
added support for printing predicates
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7610 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-06 12:19:47 +00:00 |
Achim D. Brucker
|
7cfdcbcad6
|
added tests
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7609 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-04 22:42:44 +00:00 |
Achim D. Brucker
|
5ec56aac17
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7607 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-04 18:14:19 +00:00 |
Manuel Krucker
|
48cf6b98ec
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7605 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-03 17:29:03 +00:00 |
Manuel Krucker
|
857b63d2e5
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7604 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-03 17:20:58 +00:00 |
Manuel Krucker
|
7cc5f97bb1
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7603 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-03 16:08:22 +00:00 |
Manuel Krucker
|
daad3d18df
|
git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7602 3260e6d1-4efc-4170-b0a7-36055960796d
|
2008-04-03 16:02:47 +00:00 |