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 |
dd2fa694c716813e473e0cdcf5991c340deeb1b4 |
|
27-Jun-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
clean up target signature
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15335 cec4b9c1-7d33-0410-9eda-942365e851bb |
964d1dce6aa88a14e240a4f2fb81c539d2f834fc |
|
24-Jun-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
tried to create symbols as is done by printing the signature
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15295 cec4b9c1-7d33-0410-9eda-942365e851bb |
7d228ff8072e039be1f7b9630fee712733a80334 |
|
22-Jun-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
return a sorted list of symbol sets
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15245 cec4b9c1-7d33-0410-9eda-942365e851bb |
d4146229cf85928342dfd25ec8b579a7feb0d381 |
|
03-Jun-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored symbol stuff
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15058 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 |
54ff63bb3b23ef18efbdc51b053a2ca6f348329a |
|
11-Feb-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored data type mappings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13061 cec4b9c1-7d33-0410-9eda-942365e851bb |
c5c193a80459071696b68baf835f1b88f0f8c82e |
|
14-Dec-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected composition of morphism #636
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12922 cec4b9c1-7d33-0410-9eda-942365e851bb |
72b9099aeec0762bae4546db3bc4b48721027bf4 |
|
10-Nov-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
hlinted
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12817 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 |
78eeae099616e255ccf2e5f9122387bb10c68338 |
|
03-Jul-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
use setToMap from Common.Lib.Rel
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11872 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 |
ecf557c0b4f953106755a239da2c0b168064d3f4 |
|
18-Jun-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
made induced_from_morphism symbol tests logic independent
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11818 cec4b9c1-7d33-0410-9eda-942365e851bb |
1ae7298170b7a26dce9acc6d2c864fb01f0cb347 |
|
02-Feb-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
consider merging when renaming, fix part of #664
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11351 cec4b9c1-7d33-0410-9eda-942365e851bb |
18b513ff41708f24e1a7407f36b719add813ffea |
|
19-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed embedMorphism
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9808 cec4b9c1-7d33-0410-9eda-942365e851bb |
551af0e4ba6d96bb24f3555f3b30ed648e22e34a |
|
19-Nov-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added disjointness test for types and classes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9207 cec4b9c1-7d33-0410-9eda-942365e851bb |
67d92da5e9610aabad39055a16031154b4dc3748 |
|
16-Nov-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
also map kinds within types
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9196 cec4b9c1-7d33-0410-9eda-942365e851bb |
b358f630a5cb53c37adecb1a2126db3400f464d4 |
|
16-Nov-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
also map otherTypeKinds
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9195 cec4b9c1-7d33-0410-9eda-942365e851bb |
1a75698c909ad515d59c76e65bd783f015c21c4d |
|
14-Nov-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
implemented further mapping of classes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9185 cec4b9c1-7d33-0410-9eda-942365e851bb |
514c6789b9bbf1e8c0ee13e89bc66da87dd07058 |
|
13-Nov-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
exploit extended signature input
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9173 cec4b9c1-7d33-0410-9eda-942365e851bb |
67869d63d1725c79e4c07b51acd466a31932b275 |
|
30-Oct-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
logic specific induced_from_to_morphism handle extended signatures
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9106 cec4b9c1-7d33-0410-9eda-942365e851bb |
a89389521ddf76109168a0b339031575aafbd512 |
|
21-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
restrict Datatype's typename maps
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8662 cec4b9c1-7d33-0410-9eda-942365e851bb |
12b8fde79a330797e584835ad447e5076ec9057f |
|
30-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
differentiated error message
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8517 cec4b9c1-7d33-0410-9eda-942365e851bb |
ae4709a312f8143012cef926e0f2063feb617ba7 |
|
30-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
slightly changed wrong symbol test
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8516 cec4b9c1-7d33-0410-9eda-942365e851bb |
bc4bd144504d8c49496b31fe6e15a0e6fbe81233 |
|
30-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
simplified error message
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8515 cec4b9c1-7d33-0410-9eda-942365e851bb |
59c301c268f79cfde0a4c30a2c572a368db98da5 |
|
27-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
kept type instances when computing differences
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8496 cec4b9c1-7d33-0410-9eda-942365e851bb |
f454c20b6c126bea7d31d400cc8824b9ee8cc6ea |
|
26-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed some lists to sets
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8490 cec4b9c1-7d33-0410-9eda-942365e851bb |
ad187062b0009820118c1b773a232e29b879a2fa |
|
26-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced by
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8488 cec4b9c1-7d33-0410-9eda-942365e851bb |
8a4ca930ce92a9de9388ba94d57d24df22bd5c4b |
|
20-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
only use inducedFromMorphism in inducedFromToMorphism
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8436 cec4b9c1-7d33-0410-9eda-942365e851bb |
ae18a46205a47f818a6b8ddcdcaf28d042dccb85 |
|
19-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
renamed remaining infos
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8419 cec4b9c1-7d33-0410-9eda-942365e851bb |
b66eb6038bfbcd2fe520d87c151bb4f1f510e985 |
|
18-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
expanded more aliases
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8410 cec4b9c1-7d33-0410-9eda-942365e851bb |
81d182b21020b815887e9057959228546cf61b6b |
|
10-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added haddock Description
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8310 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 |
27912d626bf179b82fcb337077e5cd9653bb71cf |
|
12-Jun-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed AliasTypeDefn from Typescheme to TypeAbs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8023 cec4b9c1-7d33-0410-9eda-942365e851bb |
4705cb2fe71c52457c87a64d52a915337996dc23 |
|
22-Feb-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
got rid of Common.SetUtils
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7500 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 |
410ff490af511ffa09b52e4de631d36a154b9730 |
|
21-Feb-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
separated extra set utils not in Data.Set
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7490 cec4b9c1-7d33-0410-9eda-942365e851bb |
ab58e34ac96cfe072100fb3078c98572fc0fe24c |
|
09-Feb-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
test for inducedFromToMorphisms with single sorts in source and target
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7402 cec4b9c1-7d33-0410-9eda-942365e851bb |
588c0c022a0f4e129a89c3bc569daf6a835e182d |
|
27-Jul-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
avoided identity mappings in typeIdMaps and funMaps
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6728 cec4b9c1-7d33-0410-9eda-942365e851bb |
4ef2a978e66e2246ff0b7f00c77deb7aabb28b8e |
|
06-Jul-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced showPretty with showDoc
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6620 cec4b9c1-7d33-0410-9eda-942365e851bb |
5d7e4bf173534e7eb3fc84dce7bb0151079d3f8a |
|
23-Jun-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
reused DocUtils
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6510 cec4b9c1-7d33-0410-9eda-942365e851bb |
5a13581acc5a76d392c1dec01657bb3efd4dcf2d |
|
07-Apr-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
switched to Common.Doc.Pretty
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6181 cec4b9c1-7d33-0410-9eda-942365e851bb |
eb8a05567e94cb9f477cd9dee6b337aa8dee02d6 |
|
20-Jan-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced Set.size uses with new Set operations
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5684 cec4b9c1-7d33-0410-9eda-942365e851bb |
975642b989852fc24119c59cf40bc1af653608ff |
|
11-Aug-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
redesigned subtypes and their defns
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4902 cec4b9c1-7d33-0410-9eda-942365e851bb |
81946e2b3f6dde6167f48769bd02c7a634736856 |
|
28-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
separated variance, kinds and raw kinds
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4810 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 |
6e39bfd041946fce4982ac89834be73fd1bfb39a |
|
14-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
extended DataEntry with a raw kind
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4659 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 |
d4ddc827bd0e514b404a3d318937bd4615402346 |
|
12-May-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed nullPos
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4270 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 |
c66a930944d9e4d64a8f0f38c748fdad0831ff87 |
|
06-Apr-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed FunMap as in CASL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4014 cec4b9c1-7d33-0410-9eda-942365e851bb |
842eedc62639561781b6c33533d1949693ef6cc5 |
|
20-Oct-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed diag printing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3287 cec4b9c1-7d33-0410-9eda-942365e851bb |
8d9d68be5244dfe038b18747a27c41767849f55e |
|
20-Oct-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed unused import
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3275 cec4b9c1-7d33-0410-9eda-942365e851bb |
8b985810761d0342b88fa0b4a7d7dd0f1843d5bb |
|
12-Oct-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
preprocessed raw symbol map
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3240 cec4b9c1-7d33-0410-9eda-942365e851bb |
eadcb2e71152212c0bda094b6754c1614114ff66 |
|
11-Oct-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed parens
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3235 cec4b9c1-7d33-0410-9eda-942365e851bb |
d8558f151fa5aae2a8e0d81163d706c8d89103d5 |
|
26-Jul-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
mapping single sorts is enough for the CASL basic datatypes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2978 cec4b9c1-7d33-0410-9eda-942365e851bb |
4fb19f237193a3bd6778f8aee3b6dd8da5856665 |
|
22-Jul-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed (raw) symbols and merging, unification without alias expansion, adapted morphisms and symbol map analysis
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2968 cec4b9c1-7d33-0410-9eda-942365e851bb |
0f67ca7b0c738a28f6688ba6e96d44d7c14af611 |
|
23-Jun-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed kinds and alias types
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2893 cec4b9c1-7d33-0410-9eda-942365e851bb |
e1839fb37a3a2ccd457464cb0dcc5efd466dbe22 |
|
07-Jun-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed datatype mapping
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2831 cec4b9c1-7d33-0410-9eda-942365e851bb |
3e884f4e6e79aaf2c940c35109918fdc62861898 |
|
19-Apr-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
fed target type map through op map computation in inducedFromMorphism
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2414 cec4b9c1-7d33-0410-9eda-942365e851bb |
ae1404152ef701eaf530bf2b079f78b706cade27 |
|
13-Apr-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
restructured Builtins
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2384 cec4b9c1-7d33-0410-9eda-942365e851bb |
e817ea5134dced9e0bcce1a9d6b8fe4f81d36e56 |
|
02-Apr-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
hiding symbols
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2353 cec4b9c1-7d33-0410-9eda-942365e851bb |
97ee7048e63953c5617342ce38c30cbcb35cc0be |
|
01-Apr-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
(raw)symbol changes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2347 cec4b9c1-7d33-0410-9eda-942365e851bb |
dea4c92f0c061d589c542d0640a18dab36dfbb46 |
|
29-Mar-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
restructed symbol stuff
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2336 cec4b9c1-7d33-0410-9eda-942365e851bb |
fc816c737e569f135d8e2f79fc83521c85fae667 |
|
26-Mar-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
mapping of type defns
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2332 cec4b9c1-7d33-0410-9eda-942365e851bb |
df3b448cc91d371e6028a43bc63e53df4d7765c0 |
|
26-Mar-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected closeSymbSet
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2331 cec4b9c1-7d33-0410-9eda-942365e851bb |
239090e32b9079422ea1ce61197557e5b816f455 |
|
26-Mar-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
added closure check
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2330 cec4b9c1-7d33-0410-9eda-942365e851bb |
7186f8d82122f0f620577c4030c5aa0cfb106230 |
|
25-Mar-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2328 cec4b9c1-7d33-0410-9eda-942365e851bb |
34c05dd06c937d85e7f552e4ff0d36ca0393daea |
|
24-Mar-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
considered predefined type synonyms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2321 cec4b9c1-7d33-0410-9eda-942365e851bb |
f64c84f2233deb2265be96cd8f5c4fe09d695db9 |
|
24-Mar-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
extended mapOps
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2316 cec4b9c1-7d33-0410-9eda-942365e851bb |
83814002b4922114cbe7e9ba728472a0bf44aac5 |
|
23-Mar-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2311 cec4b9c1-7d33-0410-9eda-942365e851bb |
6a7e00a968cb0f3f9ccae19ab47ef3636c7e79bf |
|
19-Mar-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2293 cec4b9c1-7d33-0410-9eda-942365e851bb |
096b050a106eefe1093eb7659e4924b1d7850aa4 |
|
04-Mar-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
treated simple subtypes of data types
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2246 cec4b9c1-7d33-0410-9eda-942365e851bb |
cd71c09cec383396aad2a967d75d87a3e841957b |
|
12-Feb-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
restructured
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2143 cec4b9c1-7d33-0410-9eda-942365e851bb |
7a879b08ae0ca30006f9be887a73212b07f10204 |
|
30-Jan-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
tried to find the symbol mapping bug
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2043 cec4b9c1-7d33-0410-9eda-942365e851bb |
09eef8548cd62d787cf3a6535f9eae10592eec89 |
|
30-Jan-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
avoided merge instance for Env
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2042 cec4b9c1-7d33-0410-9eda-942365e851bb |
7221c71b38c871ce66eee4537cb681d468308dfb |
|
27-Jan-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
simple data types go through now
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2013 cec4b9c1-7d33-0410-9eda-942365e851bb |
0a8ea95bcf0e3f84fed0b725c049ec2a956a4a28 |
|
26-Jan-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
added functions for the HasCASL logic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2003 cec4b9c1-7d33-0410-9eda-942365e851bb |