e9458b1a7a19a63aa4c179f9ab20f4d50681c168 |
|
25-Mar-2016 |
Jens Elkner <jel+git@iws.cs.uni-magdeburg.de> |
applied utils/replaceAllHeaders.sh
- all $Header$ tokens in doc comments replaced with corresponding filename |
1a38107941725211e7c3f051f7a8f5e12199f03a |
|
08-Oct-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
added a bunch of deriving Typeable and Data |
3d3889e0cefcdce9b3f43c53aaa201943ac2e895 |
|
29-Nov-2013 |
Jonathan von Schroeder <sternkinder@gmail.com> |
removed lots of hlint warnings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18342 cec4b9c1-7d33-0410-9eda-942365e851bb |
da5f197255c3e060416a2aa34cc94e7bf42365e3 |
|
05-Nov-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
relax test for VSE's Boolean result sort
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17605 cec4b9c1-7d33-0410-9eda-942365e851bb |
4e14c1bc2b97679b84c6ad996fa11c273b74ea02 |
|
24-Aug-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
added opSorts shortcut and extended CASL2OWL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17241 cec4b9c1-7d33-0410-9eda-942365e851bb |
51659cc7b3c1e644d4969b8c5e987e61626500c0 |
|
25-Jun-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
consider annotations in induced signatures
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16973 cec4b9c1-7d33-0410-9eda-942365e851bb |
b5056cf24da461ee868c4be7b803a76b677fa21d |
|
24-Aug-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
joined common code for CASL comorphisms to CASL extensions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16008 cec4b9c1-7d33-0410-9eda-942365e851bb |
656f17ae9b7610ff2de1b6eedeeadea0c3bcdc8d |
|
29-Jul-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed legal_mor
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15779 cec4b9c1-7d33-0410-9eda-942365e851bb |
935613eb8e67d724f1c4a4d4a37be3324ef6708d |
|
29-Jul-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
switched on morphism checking
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15771 cec4b9c1-7d33-0410-9eda-942365e851bb |
b2eb5854497af395cbf17a08c7ace5ab73e7eea2 |
|
08-Jul-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
fixed some failures
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15509 cec4b9c1-7d33-0410-9eda-942365e851bb |
e0f1794e365dd347e97b37d7d22b2fce27296fa1 |
|
07-Jul-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
re-established separate relation type
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15490 cec4b9c1-7d33-0410-9eda-942365e851bb |
4e3c46a1ca40d50a045342c5fab25b5db4fa9a87 |
|
06-Jul-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
filter reflexive subsort entries
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15474 cec4b9c1-7d33-0410-9eda-942365e851bb |
dece9056c18ada64bcc8f2fba285270374139ee8 |
|
06-Jul-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
use a reflexive sort relation and avoid a separate sort set
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15472 cec4b9c1-7d33-0410-9eda-942365e851bb |
e7ddd5495421698701a2bbc57a5b3390a11d12ca |
|
06-Jul-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added utilities for op types with kinds
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15457 cec4b9c1-7d33-0410-9eda-942365e851bb |
2a5b885d9350ec6dd8bc4992ee91d2f68aa592f4 |
|
06-Jul-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored CASL's op and pred maps
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15456 cec4b9c1-7d33-0410-9eda-942365e851bb |
2feea92963a4b1b7482a4b72ee85148d842d9ad6 |
|
29-Jun-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
simplified is inclusion test
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15407 cec4b9c1-7d33-0410-9eda-942365e851bb |
4072adb8c5d2c86123e8e1c1918263968f187829 |
|
15-Jun-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
reverted spechub/Hets@9fc874e95b74b7cbe32ea8de10c3cf09e8d4f373 because composition cannot be independent from source
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15147 cec4b9c1-7d33-0410-9eda-942365e851bb |
9fc874e95b74b7cbe32ea8de10c3cf09e8d4f373 |
|
14-Jun-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
define composition independent from sources
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15118 cec4b9c1-7d33-0410-9eda-942365e851bb |
918b811285443644af3234260977206df508f755 |
|
26-May-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed makeTotal
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15028 cec4b9c1-7d33-0410-9eda-942365e851bb |
351391e0e3226210e7ffb183b334da9f96de36ea |
|
26-May-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added export list to reduce warnings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15027 cec4b9c1-7d33-0410-9eda-942365e851bb |
ef60398f3b9f24614b074f8f0f1349ab527e1c77 |
|
26-May-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
implemented CASL function for subsort symbols
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15024 cec4b9c1-7d33-0410-9eda-942365e851bb |
e3169ed5885bb0888d8366c0d31ce1682e0fae74 |
|
25-May-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added symbols for subsorts
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15020 cec4b9c1-7d33-0410-9eda-942365e851bb |
b0442fc87b3d8a47626543df44e4227d6933f8bd |
|
15-Apr-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14922 cec4b9c1-7d33-0410-9eda-942365e851bb |
d6c6b2543c509ec7f6213e4cba675d96304a7fd6 |
|
24-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
enhanced CASL's and CspCASL's static symbol analysis wrt A_type
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14794 cec4b9c1-7d33-0410-9eda-942365e851bb |
7830e8fa7442fb7452af7ecdba102bc297ae367e |
|
22-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added pretty printing csp morphims
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14762 cec4b9c1-7d33-0410-9eda-942365e851bb |
fa373bc327620e08861294716b4454be8d25669f |
|
22-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
implemented csp morphism union
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14761 cec4b9c1-7d33-0410-9eda-942365e851bb |
67c2d6d51f019828c459f24435935d2ae7c9652e |
|
21-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
reverted spechub/Hets@8aca406a9fe81c8ce40d3f87cc434419eb303fde
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14759 cec4b9c1-7d33-0410-9eda-942365e851bb |
8aca406a9fe81c8ce40d3f87cc434419eb303fde |
|
21-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
reverted extension of morphism union
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14758 cec4b9c1-7d33-0410-9eda-942365e851bb |
7857a35e3af533dfbd0f0e18638ebd211e6358a0 |
|
21-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
extended morphism union
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14757 cec4b9c1-7d33-0410-9eda-942365e851bb |
9a6779c8495854bdf36e4a87f98f095e8d0a6e45 |
|
21-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added default implementation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14755 cec4b9c1-7d33-0410-9eda-942365e851bb |
d5833d2ee7bafcbf2fdd2bdfd9a728c769b100c7 |
|
21-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored class MorphismExtension
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14754 cec4b9c1-7d33-0410-9eda-942365e851bb |
fc033b8680245bf692c9c09723fd3046ff38971e |
|
18-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed unused stuff
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14752 cec4b9c1-7d33-0410-9eda-942365e851bb |
8cceb39f451593f3904acbf9d64bea6af9860b57 |
|
18-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added static symbol analysis
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14747 cec4b9c1-7d33-0410-9eda-942365e851bb |
e8766612d6f788b46b3ed8d3ebf6db81f26dca6f |
|
18-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed unused function
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14746 cec4b9c1-7d33-0410-9eda-942365e851bb |
5afff1a0f62394414c33b06141175b3ab0b117a5 |
|
17-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed morphismToSymbolMapExtension and derived aterm instances for csp symbols
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14733 cec4b9c1-7d33-0410-9eda-942365e851bb |
41f19dd5103acd1adf0343bf6f0096a260290117 |
|
16-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed csp-casl other kind stuff
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14723 cec4b9c1-7d33-0410-9eda-942365e851bb |
b2026c46f0e4c6a05931f1bf0ab2e84ce884c814 |
|
21-Feb-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
avoid emptyMorExt error
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14595 cec4b9c1-7d33-0410-9eda-942365e851bb |
e6dccba746efe07338d3107fed512e713fd50b28 |
|
04-Jan-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
make XmlContent generation go through
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14340 cec4b9c1-7d33-0410-9eda-942365e851bb |
a74f814d3b445eadad6f68737a98a7a303698aff |
|
17-Nov-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
revert replacement of Map.foldWithKey to allow compilation using ghc-6.10.4
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14229 cec4b9c1-7d33-0410-9eda-942365e851bb |
9e5c10805bd50b5baaf6bf1f6a3f085c7afb17d8 |
|
16-Nov-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
use Map.foldrWithKey
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14227 cec4b9c1-7d33-0410-9eda-942365e851bb |
98890889ffb2e8f6f722b00e265a211f13b5a861 |
|
01-Sep-2010 |
Corneliu-Claudiu Prodescu <Corneliu-Claudiu.Prodescu@dfki.de> |
Added see license.txt to license field
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13959 cec4b9c1-7d33-0410-9eda-942365e851bb |
b87efd3db0d2dc41615ea28669faf80fc1b48d56 |
|
11-Aug-2010 |
Corneliu-Claudiu Prodescu <Corneliu-Claudiu.Prodescu@dfki.de> |
Changed haddock headers and inserted empty headers for the ones missing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13857 cec4b9c1-7d33-0410-9eda-942365e851bb |
bdf2e01977470bedcb4425e2dadabc9e9f6ba149 |
|
16-Apr-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
replaced the result type of sym_of in Logic by List of set of symbol. See also revision 13301 for the previous change.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13348 cec4b9c1-7d33-0410-9eda-942365e851bb |
eaf02872307b4578250fbeb9dc371cac177b0924 |
|
08-Apr-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
replaced the result type of sym_of in Logic by List of symbol. Repaired all implementations of this interface function.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13301 cec4b9c1-7d33-0410-9eda-942365e851bb |
ace03c3051e5c5144e43ae78cae73f6a29dde6d5 |
|
18-Mar-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected printing of CspCASL inclusion morphisms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13244 cec4b9c1-7d33-0410-9eda-942365e851bb |
57221209d11b05aa0373cc3892d5df89ba96ebf9 |
|
18-Mar-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
correct morphism to symbol map conversion
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13243 cec4b9c1-7d33-0410-9eda-942365e851bb |
0ccfc8f86bd6518556ef09e367a0ce2bd1a69c91 |
|
16-Mar-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
fixed printMorphism for CASL extensions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13235 cec4b9c1-7d33-0410-9eda-942365e851bb |
812ee1f62e0e0e7235f3c05b41a0b173497b54ff |
|
11-Nov-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
hlinted
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12820 cec4b9c1-7d33-0410-9eda-942365e851bb |
808b2db6b704633517cf3a1a9630166beab28df7 |
|
19-Oct-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed assert
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12668 cec4b9c1-7d33-0410-9eda-942365e851bb |
4e144aa4be1f50519f8fa377a7883edfbc76d406 |
|
27-Jul-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
only give a hint duplicate sort mappings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11996 cec4b9c1-7d33-0410-9eda-942365e851bb |
568da6120906d5283c4322114eee10f24ea8dd6d |
|
27-Jul-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
warn about symbols being mapped multiple times
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11992 cec4b9c1-7d33-0410-9eda-942365e851bb |
3c8d067accf18572352351ec42ff905c7297a8a5 |
|
15-Jul-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
compose needs to know the domain
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11923 cec4b9c1-7d33-0410-9eda-942365e851bb |
8e9c3881fb6e710b1e08bf5ac8ff9d393df2e74e |
|
19-Jun-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected map composition
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11825 cec4b9c1-7d33-0410-9eda-942365e851bb |
a23e572c8f957cc051a1b0831abd6fe9380d45c7 |
|
03-Mar-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
allow unchecked composition of morphisms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11466 cec4b9c1-7d33-0410-9eda-942365e851bb |
a7be28e157e9ceeec73a8fd0e642c36ea29d4218 |
|
26-Feb-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
re-added a separate subsig test to allow building inlusions more efficiently
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11439 cec4b9c1-7d33-0410-9eda-942365e851bb |
16e124196c6b204769042028c74f533509c9b5d3 |
|
26-Feb-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
require Ord instances also for signatures and morphism for efficiency reasons
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11438 cec4b9c1-7d33-0410-9eda-942365e851bb |
fbf1cdad9a9775bd7332e85f01b6a307d7dbb1cf |
|
29-Jan-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored and fixed VSE symbol map analysis #659
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11335 cec4b9c1-7d33-0410-9eda-942365e851bb |
be98c516a8ff1d496fcdeb9b8be8c5f4b908ab95 |
|
28-Jan-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11332 cec4b9c1-7d33-0410-9eda-942365e851bb |
5824312cc0cfccce61f195fbe92307a21a467049 |
|
28-Jan-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed unused arguments
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11331 cec4b9c1-7d33-0410-9eda-942365e851bb |
351145cfe8c03b4d47133c96b209f2bd6cfbf504 |
|
13-Jan-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
made class for morphism extensions MPTC+FD again
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11256 cec4b9c1-7d33-0410-9eda-942365e851bb |
ab642ff136ce716af9e609b667e3f06d766c4ad7 |
|
12-Jan-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed redundant do
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11250 cec4b9c1-7d33-0410-9eda-942365e851bb |
81101b83a042f5a1bdeeef93b1b49aff05817e44 |
|
12-Jan-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved plain classes for CASL extensions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11249 cec4b9c1-7d33-0410-9eda-942365e851bb |
caf021dd48c90ff6b26117f13e1d8c0ef1ca618a |
|
09-Jan-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
extended symbol parser
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11247 cec4b9c1-7d33-0410-9eda-942365e851bb |
ee152ae82dc19d6415119c0019ae1bfa991b1f02 |
|
09-Jan-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
fixed symbol map analysis for Usermanual and TestSuite
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11243 cec4b9c1-7d33-0410-9eda-942365e851bb |
fa167e362877db231378e17ba49c66fbb84862fc |
|
06-Jan-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
match total and partial ops explicitly
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11222 cec4b9c1-7d33-0410-9eda-942365e851bb |
6a22b2854c3bc9cb4877cb7d29049d6559238639 |
|
06-Jan-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
adapted to generalized item type
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11218 cec4b9c1-7d33-0410-9eda-942365e851bb |
88124ca824f94153b0a2a24ea1e4b089fff7011f |
|
05-Jan-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
ignore partiality in symbol mappings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11214 cec4b9c1-7d33-0410-9eda-942365e851bb |
ebc51e8081f6f1fe2f3d39ceff81d8dd0169c0b0 |
|
03-Jan-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
extended static symbol map checking
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11213 cec4b9c1-7d33-0410-9eda-942365e851bb |
22eea35d0effc6582b2951a28b5240fa7a82f3df |
|
03-Jan-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed duplicate code
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11203 cec4b9c1-7d33-0410-9eda-942365e851bb |
9ecf13b5fd914bc7272f1fc17348d7f4a8c77061 |
|
03-Jan-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
renamed funs in CASL to ops
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11201 cec4b9c1-7d33-0410-9eda-942365e851bb |
99476ac2689c74251219db4782e57fe713a24a52 |
|
02-Jan-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved warning to ambiguous case
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11200 cec4b9c1-7d33-0410-9eda-942365e851bb |
aea143fff7a50aceb809845fbc42698b0b3f545a |
|
02-Jan-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
reused SYMB_KIND within raw symbols
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11199 cec4b9c1-7d33-0410-9eda-942365e851bb |
9eb39c7a0e7a1ddad1eec1d23c6d4e3a99c54023 |
|
29-Oct-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
better support for morphism extensions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10910 cec4b9c1-7d33-0410-9eda-942365e851bb |
2766ec926fcf3faf72248b10c3305b715b8c3249 |
|
22-Oct-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
re-implemented injectivity
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10858 cec4b9c1-7d33-0410-9eda-942365e851bb |
44d2a211a352759ee988ed8353026f5fa9511209 |
|
21-Oct-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
untabified
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10853 cec4b9c1-7d33-0410-9eda-942365e851bb |
d0c66a832d7b556e20ea4af4852cdc27a5463d51 |
|
14-Oct-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed redundant morphism kind and reverted sort-map composition
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10827 cec4b9c1-7d33-0410-9eda-942365e851bb |
86b1d0c80abdd4ca36491cf7025b718a5fea5080 |
|
14-Oct-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed CASL morphism composition
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10824 cec4b9c1-7d33-0410-9eda-942365e851bb |
d058429727dd696a0327cdc28cadd268c34c36ba |
|
06-Oct-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
added inverse for morphisms and changed qualify method
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10773 cec4b9c1-7d33-0410-9eda-942365e851bb |
74d9a385499bf903b24848dff450a153f525bda7 |
|
18-Sep-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
white space change only
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10688 cec4b9c1-7d33-0410-9eda-942365e851bb |
8c63cd89ef840cd7a3d3b75f0207dc800388c800 |
|
17-Sep-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
implemented todo
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10685 cec4b9c1-7d33-0410-9eda-942365e851bb |
0dcb86310998e097d3b15608f980f0a89a11a322 |
|
10-Jul-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced sequence with map by mapM
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10301 cec4b9c1-7d33-0410-9eda-942365e851bb |
90c174bac60a72ffd81bc3bf5ae2dd9a61943b8b |
|
10-Jul-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
globally replaced PosItem and UpPos with GetRange
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10298 cec4b9c1-7d33-0410-9eda-942365e851bb |
32562a567baac248a00782d2727716c13117dc4a |
|
27-Jun-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
test for equality when uniting signatures
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10220 cec4b9c1-7d33-0410-9eda-942365e851bb |
e82587ca2892d246aa4405c2f5b9f30f287f9ebf |
|
25-Jun-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
compute minimal morphism maps
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10204 cec4b9c1-7d33-0410-9eda-942365e851bb |
4aa35aadcb28f8a962096efc70d3bdb58ab7d9fa |
|
25-Jun-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
added intersection and refactored union of signatures
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10202 cec4b9c1-7d33-0410-9eda-942365e851bb |
40d15f6c5f4d15866e085c588f8b5130dfd6cf63 |
|
17-Jun-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
tried to get morphisms right
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10124 cec4b9c1-7d33-0410-9eda-942365e851bb |
2561b4bfc45d280ee2be8a7870314670e4e682e4 |
|
19-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
layout only
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9811 cec4b9c1-7d33-0410-9eda-942365e851bb |
4c7f058cdd19ce67b2b5d4b7f69703d0f8a21e38 |
|
19-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored class Category
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9797 cec4b9c1-7d33-0410-9eda-942365e851bb |
d79e02625778d20a5458078f979ff74aac67db61 |
|
12-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
implemented equality of CASL morphisms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9752 cec4b9c1-7d33-0410-9eda-942365e851bb |
2b2f3b72e82e28b34db9c69af2d1ec38f228272e |
|
12-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
extended CASL morphisms with identity or inclusion tag
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9751 cec4b9c1-7d33-0410-9eda-942365e851bb |
58b5ac21d1c88344246aaedab0c0bdc7b759d7c6 |
|
20-Feb-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
tried to speed up composition of inclusions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9585 cec4b9c1-7d33-0410-9eda-942365e851bb |
27b37f8e6b165f7abb653a54b45ffcdb81cec561 |
|
19-Feb-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
perform inclusion check and compute difference if violated
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9582 cec4b9c1-7d33-0410-9eda-942365e851bb |
986d3f255182539098a97ac86da9eeee5b7a72e3 |
|
05-Dec-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved type synonyms and some other CASL code
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9316 cec4b9c1-7d33-0410-9eda-942365e851bb |
5a9a06d23910b9521e1d1cd39865ac7912ccee4b |
|
05-Dec-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
also map empty sorts properly
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9315 cec4b9c1-7d33-0410-9eda-942365e851bb |
0799c8f17cbd2d06d02fcbc36e2d253f8c52a760 |
|
29-Oct-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed error initialization
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9101 cec4b9c1-7d33-0410-9eda-942365e851bb |
03136b84a0c70d877e227444f0875e209506b9e4 |
|
29-Oct-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added symbol set to signatures, simplified morphisms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9100 cec4b9c1-7d33-0410-9eda-942365e851bb |
c7e03d0708369f944b6f235057b39142a21599f2 |
|
29-Oct-2007 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
CASL signatures colimits and gWeaklyAmalgamableCocone
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9094 cec4b9c1-7d33-0410-9eda-942365e851bb |
3df765bba27034f17ba60ee9b90d7dbd3643ea9e |
|
11-Oct-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
sorts must not have a type
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9035 cec4b9c1-7d33-0410-9eda-942365e851bb |
3f69b6948966979163bdfe8331c38833d5d90ecd |
|
05-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed my maintainer email
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8261 cec4b9c1-7d33-0410-9eda-942365e851bb |
e68f45f355ed9d4026ee9baff5aa75aa7c911cc2 |
|
22-Feb-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
used keysSet from Data.Map
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7501 cec4b9c1-7d33-0410-9eda-942365e851bb |
ad270004874ce1d0697fb30d7309f180553bb315 |
|
21-Feb-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
switched to Data.Set, Data.Map and Data.Dynamic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7491 cec4b9c1-7d33-0410-9eda-942365e851bb |
e6d40133bc9f858308654afb1262b8b483ec5922 |
|
01-Jan-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added Description header
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7287 cec4b9c1-7d33-0410-9eda-942365e851bb |
0095c7efbddd0ffeed6aaf8ec015346be161d819 |
|
01-Jan-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added Description header
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7284 cec4b9c1-7d33-0410-9eda-942365e851bb |
8e80792f474d154ff11762fac081a422e34f1acc |
|
10-Nov-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
propagated annoMap and tested pretty printing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7150 cec4b9c1-7d33-0410-9eda-942365e851bb |
26d11a256b1433604a3dbc69913b520fff7586ac |
|
09-Nov-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved type Symbol from CASL.Morphism to CASL.Sign
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7142 cec4b9c1-7d33-0410-9eda-942365e851bb |
ca732bc259f74cb4f3f725daab7fe80fc7e1d9a0 |
|
19-Jul-2006 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added test for injectivity of signature morphisms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6688 cec4b9c1-7d33-0410-9eda-942365e851bb |
b9450c1858c5d07a0e878bb32a1fa51099256a40 |
|
10-Jul-2006 |
Jian Chun Wang <wjch868@informatik.uni-bremen.de> |
removed old PrettyPrint stuff
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6650 cec4b9c1-7d33-0410-9eda-942365e851bb |
575a55eadc8dcab8ee350324b417cbd9e52e69c0 |
|
06-Jul-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced showPretty
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6622 cec4b9c1-7d33-0410-9eda-942365e851bb |
23a00c966f2aa8da525d7a7c51933c99964426c0 |
|
30-Jun-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved class Pretty from Doc to DocUtils
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6555 cec4b9c1-7d33-0410-9eda-942365e851bb |
c438c79d00fc438f99627e612498744bdc0d0c89 |
|
22-Jun-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
switched over to new Doc
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6478 cec4b9c1-7d33-0410-9eda-942365e851bb |
831bfb0c3598d0508b976cd36fa97c65839ed5a3 |
|
17-May-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved utilities for printing sets and maps to DocUtils
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6343 cec4b9c1-7d33-0410-9eda-942365e851bb |
db453fe9625a9dab5d108f7a5e464598814144b8 |
|
26-Apr-2006 |
Jian Chun Wang <wjch868@informatik.uni-bremen.de> |
new Doc
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6258 cec4b9c1-7d33-0410-9eda-942365e851bb |
ca020e82eb3567e7bdbb1cf70729efbd07e9caa4 |
|
31-Mar-2006 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
CASL.Formula:
* added a parameter to qualPredName giving a list of additional keywords
* added qualPredName to the export list for usage in CASL_DL
CASL.Morphism:
* added PosItem instances for Symbol and RawSymbol needed for CASL_DL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6134 cec4b9c1-7d33-0410-9eda-942365e851bb |
a001917177db7ae636853b37c0d0f9f4e90a83ff |
|
09-Feb-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
white spaces only
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5779 cec4b9c1-7d33-0410-9eda-942365e851bb |
0b6f6d3eeb7b3b36292e60f1b3da5a5ce42eef1a |
|
01-Dec-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
store original type of ops and preds in morphisms constructed from symbMaps
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5480 cec4b9c1-7d33-0410-9eda-942365e851bb |
3b70d8ee5c2927f843d5d907e6ef724f867f1b40 |
|
06-Aug-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added is_transportable instance for CASL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4865 cec4b9c1-7d33-0410-9eda-942365e851bb |
b1caf27fb0c879dd39600d09d501074a2dfd865a |
|
28-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
accidentally checked in with strict fields (and unsafe compose)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4814 cec4b9c1-7d33-0410-9eda-942365e851bb |
1c1d0abeab7e81019442f67624a1ff954ec909ec |
|
28-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
make unexpanded *.inline.hs file type correct
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4812 cec4b9c1-7d33-0410-9eda-942365e851bb |
243b39800f5ea9033daca8ce5475531d114e1877 |
|
27-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
only assert subSignature test in sigInclusion
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4804 cec4b9c1-7d33-0410-9eda-942365e851bb |
4fc727afa544a757d1959ce77c02208f8bf330dc |
|
26-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
tried to speed up
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4787 cec4b9c1-7d33-0410-9eda-942365e851bb |
d79a4d0d842c212f82f9507fff178ffe4ba2e214 |
|
26-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
restored morphismUnion and fixed target of compose
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4781 cec4b9c1-7d33-0410-9eda-942365e851bb |
329d1810c6d5a5a0827e1d07503d94431578d176 |
|
26-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
cleaned up morphismUnion, legalMor and compose
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4779 cec4b9c1-7d33-0410-9eda-942365e851bb |
68138d26bcddf5e89c30206aa83ab5ec006d170d |
|
26-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
original types must be stored in fun- and pred- maps
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4778 cec4b9c1-7d33-0410-9eda-942365e851bb |
8e91dbddf10abf3363687752c4d05c595bab59cf |
|
25-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed compose (and legalMor)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4777 cec4b9c1-7d33-0410-9eda-942365e851bb |
42c01284bba8d7c8d995c8dfb96ace57d28ed1bc |
|
15-Jul-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
refactoring: [Pos] replaced with Range in order to exclude positions from equality of abstract syntax
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4671 cec4b9c1-7d33-0410-9eda-942365e851bb |
f3a94a197960e548ecd6520bb768cb0d547457bb |
|
15-Jun-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
aligned module description for haddock-0.7
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4438 cec4b9c1-7d33-0410-9eda-942365e851bb |
97018cf5fa25b494adffd7e9b4e87320dae6bf47 |
|
15-Jun-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced Licence with License for haddock-07
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4433 cec4b9c1-7d33-0410-9eda-942365e851bb |
b4fbc96e05117839ca409f5f20f97b3ac872d1ed |
|
13-Jun-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added maintainers
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4412 cec4b9c1-7d33-0410-9eda-942365e851bb |
fcb1d8a27670f3206bd4ca28d77d4172619db602 |
|
18-May-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
avoided Set.fromDistinctAscList
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4294 cec4b9c1-7d33-0410-9eda-942365e851bb |
88ece6e49930670e8fd3ee79c89a2e918d2fbd0c |
|
12-May-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
adapted Common.Lib.Set and Map to ghc-6.4 library version
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4263 cec4b9c1-7d33-0410-9eda-942365e851bb |
b645cf3dc1e449038ed291bbd11fcc6e02b2fc7f |
|
09-May-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed all position infos to [Pos]
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4224 cec4b9c1-7d33-0410-9eda-942365e851bb |
8001ead00e2d306a1cf4735a3d2c1378fc8e3e31 |
|
08-Apr-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed pretty printing of morphisms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4024 cec4b9c1-7d33-0410-9eda-942365e851bb |
200849122a9c65773e5b2ba8084ac3490d0490b5 |
|
08-Apr-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
adapted symbMapToMorphism (untested)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4022 cec4b9c1-7d33-0410-9eda-942365e851bb |
2fd1a6da50d05d3d2675e20c9198c29c9623f8d1 |
|
06-Apr-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed fun_map to contain the mapped sorts in its keys
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4010 cec4b9c1-7d33-0410-9eda-942365e851bb |
243a858146e3b302dfb93397f0c9a83c01ee00d4 |
|
14-Mar-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed varMap
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3940 cec4b9c1-7d33-0410-9eda-942365e851bb |
746440cc1b984a852f5864235b8fa3930963a081 |
|
23-Feb-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected unionMorphism
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3843 cec4b9c1-7d33-0410-9eda-942365e851bb |
065d64d3371c03edfdf5023fcb75bbab95bd85f3 |
|
22-Feb-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
was too restrictive for Basic/*.casl
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3839 cec4b9c1-7d33-0410-9eda-942365e851bb |
e01299e9b22b96b31b720ca1e9f9f5f25af9b024 |
|
22-Feb-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
only keep maps of changed symbols
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3838 cec4b9c1-7d33-0410-9eda-942365e851bb |
578b677874296e4ba48e57b5e4b4b0270d995603 |
|
05-Jan-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed from Maybe to Result
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3620 cec4b9c1-7d33-0410-9eda-942365e851bb |
41b888d6ae8350212fd920b25a0b964b7604dcd2 |
|
18-Nov-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
made sources go through programatica
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3448 cec4b9c1-7d33-0410-9eda-942365e851bb |
0e2ae85e2453466d03c1fc5884a3d693235bb9d9 |
|
09-Aug-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed static analysis of extensions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3030 cec4b9c1-7d33-0410-9eda-942365e851bb |
239fe94380bba365636e6ac48e094fc92cae30c7 |
|
04-Jun-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
slightly changed pretty printing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2817 cec4b9c1-7d33-0410-9eda-942365e851bb |
7a47fbe6b987bd69a5056ce5d00fc8710f6c5e8a |
|
03-Jun-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
mapOpSym and mapPredSym changed
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2815 cec4b9c1-7d33-0410-9eda-942365e851bb |
4601edb679f0ba530bbb085b25d82a411cd070aa |
|
05-Apr-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
treated extended_map
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2363 cec4b9c1-7d33-0410-9eda-942365e851bb |
1f086d5155f47fdad9a0de4e46bbebb2c4b33d30 |
|
05-Apr-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed Analyzable
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2356 cec4b9c1-7d33-0410-9eda-942365e851bb |
2b4130336e941b7d01c78a6da55449a4c6eca609 |
|
23-Mar-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Refactoring for smooth integration of CASL extensions.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2310 cec4b9c1-7d33-0410-9eda-942365e851bb |
612749008484b6773aedf4d6bbc85b8d074d15c6 |
|
15-Mar-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed warnings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2282 cec4b9c1-7d33-0410-9eda-942365e851bb |
7deb3db74c2568d457658111b93584f8b2859700 |
|
19-Feb-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved Typeable instances out of AS_Basic (currently to Morphism)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2201 cec4b9c1-7d33-0410-9eda-942365e851bb |
92dda4893112a277ea5b886102f18f0798595b67 |
|
03-Feb-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed overlapped pattern
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2066 cec4b9c1-7d33-0410-9eda-942365e851bb |
f8b715ab2993083761c0aedb78f1819bcf67b6cc |
|
30-Jan-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
splitted of Sign from StaticAna
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2037 cec4b9c1-7d33-0410-9eda-942365e851bb |
f7a2cd34f88bd3cec7d0ac261e99bfddd7cda353 |
|
26-Jan-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
sugared data Morphism to become DrIFTable
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1998 cec4b9c1-7d33-0410-9eda-942365e851bb |
1549f3abf73c1122acff724f718b615c82fa3648 |
|
10-Jan-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Adapted lookupComorphism; it now parses the name and composes the involved comorphisms
todo lists updated
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1936 cec4b9c1-7d33-0410-9eda-942365e851bb |
10a2cf8d9887524acde19d4ea59f8fea3a7f3258 |
|
03-Jan-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Fixed Haddock problems
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1912 cec4b9c1-7d33-0410-9eda-942365e851bb |
58b671de3fe578346fef9642ffa3c5a0a0edb3cb |
|
29-Dec-2003 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Completed symbol map analysis and most of structured analysis
Improved error messages
Fixed reload problem with libraries
Added utilities
Added PrettyPrint instances
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1901 cec4b9c1-7d33-0410-9eda-942365e851bb |
c0380b947eef252db81ee562246bb732555427f4 |
|
08-Dec-2003 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Implicit logic embeddings for spec_inst without params
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1892 cec4b9c1-7d33-0410-9eda-942365e851bb |
cdee35b1b16886e4f341e2a2a69fa0e6be30b3fa |
|
06-Dec-2003 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Pretty printing of morphisms; inducedFromTo corrected
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1891 cec4b9c1-7d33-0410-9eda-942365e851bb |
9744c7d9fa61d255d5e73beec7edc3499522e9e2 |
|
02-Dec-2003 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Pretty print Morphism added
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1882 cec4b9c1-7d33-0410-9eda-942365e851bb |
0c2a90cbfb63865ff485c3fbe20a14589a5914be |
|
24-Sep-2003 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Simple version of inducedFromTo
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1721 cec4b9c1-7d33-0410-9eda-942365e851bb |
a938729e277da5c7742bb88946ab2c150416fd5d |
|
22-Sep-2003 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Debugging
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1715 cec4b9c1-7d33-0410-9eda-942365e851bb |
5e46b572ed576c0494768998b043d9d340594122 |
|
22-Sep-2003 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Symbol maps for translations: the sort mapping.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1714 cec4b9c1-7d33-0410-9eda-942365e851bb |
b10d6cef708b7a659f2d3b367e8e0db0d03ae3f5 |
|
22-Sep-2003 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Added inclusion list to logic graph.
Better representation for CASL signature morphisms.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1713 cec4b9c1-7d33-0410-9eda-942365e851bb |
75a6279dbae159d018ef812185416cf6df386c10 |
|
22-Aug-2003 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Updated licence statements
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1673 cec4b9c1-7d33-0410-9eda-942365e851bb |
4b6aa93c12e4db86ccc7694a48a73e9cf7262d06 |
|
16-May-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
implemented symmapOf
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1407 cec4b9c1-7d33-0410-9eda-942365e851bb |
01aafb6a9520f05df5ff467b591ecb5474dcfc86 |
|
15-May-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
new static analysis for CASL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1395 cec4b9c1-7d33-0410-9eda-942365e851bb |