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 |
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 |
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 |
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 |
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 |
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 |
ceef5f7843a1f96fe5a62e0f6880e38b3d5f4708 |
|
10-Mar-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed semicolons
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13197 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 |
e77eadd37125110f448dd5ddec7da5b78d35285f |
|
14-Dec-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
fixed test/HasCASLRenameTest
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12924 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 |
9b30898b139ee02f97ac933b6d935ef0a4206921 |
|
16-Jul-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
correct composition of type renaming in data types
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11950 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 |
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 |
ee93fb771fcf3000d73c8e2f2000adb4b9a5158c |
|
11-Feb-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed mapping further
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11383 cec4b9c1-7d33-0410-9eda-942365e851bb |
51fb5d7edd9369c367dda2f8b15ddd6f8a146606 |
|
11-Feb-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected mapping
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11381 cec4b9c1-7d33-0410-9eda-942365e851bb |
f42bcc750a9a02cb4f753b70679f9aacf1b338d7 |
|
06-Aug-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
added Cpo class only
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10469 cec4b9c1-7d33-0410-9eda-942365e851bb |
d769b9ca726a9b50d661847c0e58c41d6ef334b4 |
|
22-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
speeded up composition of morphisms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9829 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 |
46111e8a73bc638bbd49d93d8b2f0032181a67bb |
|
20-Feb-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
properly test function map
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9586 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 |
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 |
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 |
a95f5379cabb30d3beb0545002cf50e9e4fc2c86 |
|
14-Nov-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed layout only
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9184 cec4b9c1-7d33-0410-9eda-942365e851bb |
f2ee9fc53048ea92bad79e3f5d292d83efd7f8be |
|
14-Nov-2007 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
renaming of classes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9182 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 |
9659c509ce5e78adc51d7b02a76274eddcba9338 |
|
30-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
used mergeMap for union of morphisms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8514 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 |
67086e0fe40a985c5e8a3cf50e611f43234580c2 |
|
19-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
renamed also selectors for data type sentences
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8417 cec4b9c1-7d33-0410-9eda-942365e851bb |
2e9985cd67e4f2414becb670ef33b8f16513e41d |
|
19-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved back restricting the morphism to compMor and corrected it
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8416 cec4b9c1-7d33-0410-9eda-942365e851bb |
242397ba0f1cc490e892130bf0df239deeecf5da |
|
19-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved and inlined restrictMorphismMaps from compMor to instance Pretty Morphism
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8413 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 |
99f1a09ee1847410faf46527f5465bd2070800c2 |
|
10-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
use Eq in compMor
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8306 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 |
47355d1ba4e212c5fd34c089f71a319cde53c4c8 |
|
09-May-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
fix bug #322
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7878 cec4b9c1-7d33-0410-9eda-942365e851bb |
2ac1742771a267119f1d839054b5e45d0a468085 |
|
16-Mar-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
further speeded up and refactored expandAliases
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7691 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 |
f11f713bebd8e1e623a0a4361065df256033de47 |
|
27-Jul-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
simplified mapFunSym code
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6729 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 |
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 |
d48085f765fca838c1d972d2123601997174583d |
|
23-Aug-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed FunType, ProductType and LazyType in favour of TypeAppls
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4967 cec4b9c1-7d33-0410-9eda-942365e851bb |
d5c415f6373274fed04d83b9322891f3b82e9c26 |
|
25-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
renamed getConstrType to getFunType and used it in OpDecls and TypeCheck
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4770 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 |
9cb4aa4ea6685489a38f9b609f5dbe5d37f25bc7 |
|
14-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
properly created constructors
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4662 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 |
62ecb1e7f8fd9573eea8369657de12c7bf9f4f25 |
|
13-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed TypeArg
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4653 cec4b9c1-7d33-0410-9eda-942365e851bb |
717686b54b9650402e2ebfbaadf433eab8ba5171 |
|
13-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
redesigned getConstrType, moved morphism type to Le
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4648 cec4b9c1-7d33-0410-9eda-942365e851bb |
650bafe7709533bc5f82bb9daf8fa06f431cd963 |
|
12-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved alias expansion to TypeAna
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4636 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 |
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 |
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 |
deb7bff126ec547bd812d0c8683ad6e785a45abb |
|
24-Feb-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
extended morphismUnion
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3852 cec4b9c1-7d33-0410-9eda-942365e851bb |
20e16bdd7481741d0b6b14f952aea42ee7a65efb |
|
23-Feb-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
symbMapToMorphism is not used
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3844 cec4b9c1-7d33-0410-9eda-942365e851bb |
a89e661aad28f1b39f4fc9f9f9a4d46074234123 |
|
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@3619 cec4b9c1-7d33-0410-9eda-942365e851bb |
8b9fda012e5ee53b7b2320c0638896a0ff6e99f3 |
|
03-Nov-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
cleaned up Common.Result and moved class Merge
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3373 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 |
2dfc7b04f2db681992ca04175f2beb0f127c9844 |
|
20-Oct-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
avoided ptext and untabified
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3282 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 |
d17834302eaa101395b4b806cd73670fd864445f |
|
19-Jul-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed Pred and Qual type in schemes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2958 cec4b9c1-7d33-0410-9eda-942365e851bb |
2a598ff0c1b7b51c33aee7029b43bc5cfcbea6b8 |
|
15-Jul-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
introduced data patterns
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2943 cec4b9c1-7d33-0410-9eda-942365e851bb |
e76e6a43f51438215737d6fc176c89da05bb86da |
|
13-Jul-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed type variable representation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2937 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 |
fc8c6570c7b4ee13f375eb607bed2290438573bf |
|
16-Jun-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed Absy and parsing, added wild card pattern and treated as-patterns
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2876 cec4b9c1-7d33-0410-9eda-942365e851bb |
95869003a739f574b60e52a77f64b21e64131b73 |
|
14-Jun-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
overload resolution for translation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2862 cec4b9c1-7d33-0410-9eda-942365e851bb |
5e26bfc8d7b18cf3a3fa7b919b4450fb669f37a5 |
|
08-Jun-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed AltDefn
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2836 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 |
a578ec30cded5e396a7ce9a3b469e8cd3a88246a |
|
07-Jun-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
left maps empty for id morphisms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2829 cec4b9c1-7d33-0410-9eda-942365e851bb |
07b72edb610ee53b4832d132e96b0a3d8423f8eb |
|
04-Jun-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
mapped morphisms in datatypes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2819 cec4b9c1-7d33-0410-9eda-942365e851bb |
c1031ac42b3f3d7d0fe7d9d6b54423a092d473a0 |
|
24-May-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
HasCASL data type translation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2690 cec4b9c1-7d33-0410-9eda-942365e851bb |
e7ce154edb906685b3fa7f6c0a764e18a4658068 |
|
18-May-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
extended HasCASL Sentences
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2645 cec4b9c1-7d33-0410-9eda-942365e851bb |
ac19f8695aa1b2d2d1cd1319da2530edd8f46a96 |
|
11-May-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
made MapTerm more generic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2579 cec4b9c1-7d33-0410-9eda-942365e851bb |
ee9eddfa6953868fd6fbaff0d9ff68675a13675a |
|
27-Apr-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved code
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2492 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 |
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 |
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 |
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 |
887c59029c7d60230a8cf2a2ac2130991de7d1fe |
|
18-Mar-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
kept aliases
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2291 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 |
89054b2b95a3f92e78324dc852f3d34704e2ca49 |
|
30-Jan-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
restructured
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2039 cec4b9c1-7d33-0410-9eda-942365e851bb |
af621d0066770895fd79562728e93099c8c52060 |
|
29-Jan-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
symbols clean up
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2032 cec4b9c1-7d33-0410-9eda-942365e851bb |
adee28c3eb7bb0b9bb045d26ee6d35e19cf39053 |
|
29-Jan-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved merging of Env to Morphism
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2027 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 |
dedabc954aa15f6ad0764472a9434dc6dafe3db2 |
|
26-Jan-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
extended HasCASL morphisms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2009 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 |
038fc25df81d6bd6481ee7f90ee2c81ab9d760ba |
|
23-Jan-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
made symOf temporarily empty
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1994 cec4b9c1-7d33-0410-9eda-942365e851bb |
997c56f3bc74a703043010978e5013fdb074d659 |
|
13-Jan-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
added symbol stuff
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1956 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 |
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 |
bfa9e03532243ceb487f0384d0f6a447f1ce7670 |
|
08-Oct-2003 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Extended just-struct flag also to signature morphism analysis.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1748 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 |
62599a910de0701b0f9461e534a43d5900131c55 |
|
22-Jul-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
derived some Typeable instances
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1587 cec4b9c1-7d33-0410-9eda-942365e851bb |
fd896e2068ad7e50aed66ac18c3720ea7ff2619f |
|
21-Jul-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
added symbol stuff
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1574 cec4b9c1-7d33-0410-9eda-942365e851bb |
967e5f3c25249c779575864692935627004d3f9e |
|
07-Mar-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
elaborated (still trivial) morphisms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1078 cec4b9c1-7d33-0410-9eda-942365e851bb |