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 |
167b6ed8639bce096380defb7311ded501ebb5da |
|
29-Jun-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
separated sign diff and subsig test
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15417 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 |
599766906b25938d5b184febd19b8e0bbe623e7b |
|
23-Jun-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added more HasCASL symbol types
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15275 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 |
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 |
d3c9318c22fcf44d9135a3b2c64f880b9a785bab |
|
13-Jan-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
added (dummy) positions to symbols and sentences
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12976 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 |
c200224a127278d54634ca4a5079591cb989aaf3 |
|
24-Jul-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved hasMany and isSingleton to Common.Utils
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11990 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 |
de2f13b8310de00ca228385b1530660e036054c2 |
|
18-Sep-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed double spaces after =
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10689 cec4b9c1-7d33-0410-9eda-942365e851bb |
31a189d4cff554f78407cdc422480e84e99a6ec6 |
|
16-Apr-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
parse binder syntax of #447
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9922 cec4b9c1-7d33-0410-9eda-942365e851bb |
2faad0c99d17a6ef53a464864caccbb20cf48409 |
|
20-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
added isInclusion test
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9819 cec4b9c1-7d33-0410-9eda-942365e851bb |
6b1153c560b677f9f5da2a60ee8a10de75ff90c5 |
|
20-Nov-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected InVar to NonVar
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9214 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 |
d976ba42e9d48c289f9c73147669c7e57b7aa98e |
|
01-Nov-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
collect symbols
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9117 cec4b9c1-7d33-0410-9eda-942365e851bb |
230aa1e8c53fcaffd75814c7d86bd37c8012596a |
|
31-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
used foldType for mapType
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8765 cec4b9c1-7d33-0410-9eda-942365e851bb |
2143841e2b81aa0eaafa6bf81eb57cef33cf29e6 |
|
29-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
differentiated renaming types for speed up
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8745 cec4b9c1-7d33-0410-9eda-942365e851bb |
950e053ba55ac9c7d9c26a1ab48bd00202b29511 |
|
29-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added type folding
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8743 cec4b9c1-7d33-0410-9eda-942365e851bb |
b38e57295a9ba3a4de9719171dcff2d9f3b554cd |
|
13-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved getCompoundLists to Le.hs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8585 cec4b9c1-7d33-0410-9eda-942365e851bb |
facf15c975d25ca5d31d8f84bf48f09d1d951ad6 |
|
01-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved comment to proper place
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8531 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 |
f26a1fc3851297e6483cf3fb56e9c0967b8f8b13 |
|
25-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed kind lists to kind sets
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8481 cec4b9c1-7d33-0410-9eda-942365e851bb |
7de39d39bc1700cc8a9bb9df90b920aad9e18d4a |
|
16-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed unused instantiation lists
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8386 cec4b9c1-7d33-0410-9eda-942365e851bb |
5ba323da9f037264b4a356085e844889aedeac23 |
|
10-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
speeded up Eq for Env and isSubEnv
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8307 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 |
0be2d0cfd911d313e7e941edbc77f95052c8c19b |
|
01-Jun-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
format only
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7968 cec4b9c1-7d33-0410-9eda-942365e851bb |
793945d4ac7c0f22760589c87af8e71427c76118 |
|
01-Jun-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
only use single step beta reduction
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7965 cec4b9c1-7d33-0410-9eda-942365e851bb |
0f0aa53f11a0d1ab08c76428b9de73db5b17c977 |
|
01-Jun-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
transition to using TypeAbs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7961 cec4b9c1-7d33-0410-9eda-942365e851bb |
04a1ed0b360858b85de6f449b84df4eab81b3fc9 |
|
24-May-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added Range to TypeAbs and improved printing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7933 cec4b9c1-7d33-0410-9eda-942365e851bb |
33262f399e0f81424df86390d5787c5451670568 |
|
15-May-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added yet unused type abstraction for ticket #191
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7906 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 |
b603f34b79bc0992e5d74f484e5bdc9f9c2346c6 |
|
22-Jun-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
added global annos to signature for pretty printing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6487 cec4b9c1-7d33-0410-9eda-942365e851bb |
4561227a776bdf0ab679b19fb92f1eaaed8786f7 |
|
15-Mar-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
rearranged identifiers and precedences
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6025 cec4b9c1-7d33-0410-9eda-942365e851bb |
f8c07dc6526e0134d66885d461a30abadc2c6038 |
|
26-Oct-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
qualify State to avoid conflict with Binary.get
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5273 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 |
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 |
afa6848d579d235c9677e1ab477916df8e5ae11a |
|
25-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved code and fixed generalized variable in equations
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4765 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 |
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 |
c58a94c44b76b072ace930f2126c889c0b64cb2a |
|
12-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
added year 2005
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4630 cec4b9c1-7d33-0410-9eda-942365e851bb |
9348e8460498ddfcd9da11cd8b5794c06023e004 |
|
12-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved rename to le and added comments
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4629 cec4b9c1-7d33-0410-9eda-942365e851bb |
003a6b38b11909af0e6d0575cca4c1fcfc9ffd24 |
|
11-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
added star to otherTypeKinds
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4620 cec4b9c1-7d33-0410-9eda-942365e851bb |
36c6cc568751e4235502cfee00ba7b597dae78dc |
|
07-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
major HasCASL redesign (many bugs left)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4571 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 |
aff01ee50b66032469c232e00c945d1fd4f57d1b |
|
20-Oct-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
just moved code
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3278 cec4b9c1-7d33-0410-9eda-942365e851bb |
85509673297b8537a81fe70806694f93cce47c62 |
|
07-Oct-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
added separation of local variables
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3227 cec4b9c1-7d33-0410-9eda-942365e851bb |
154d4152b38c55c3c4ab8f35578669a65fc04df9 |
|
05-Oct-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
genRules does not like strict fields
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3217 cec4b9c1-7d33-0410-9eda-942365e851bb |
1d589334ba6b4a4cbfb35307a7a732261e77b0cd |
|
05-Oct-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
only moved code
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3215 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 |
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 |
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 |
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 |
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 |
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 |
e07d9f9e0e04995f2c21b6edc74ef48c6dbe62b1 |
|
19-Feb-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
moves Named to AS_Annotation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2195 cec4b9c1-7d33-0410-9eda-942365e851bb |
c9892acbf03a509d874ac6d79b9a2cb09042e0dc |
|
29-Jan-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
adapted to MixAna
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2030 cec4b9c1-7d33-0410-9eda-942365e851bb |
0a85c4dc6f4bba88e1994e8f1cd3657b6503b220 |
|
29-Jan-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
prepare speed up mixana
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2017 cec4b9c1-7d33-0410-9eda-942365e851bb |
cbbb99ab370e6ad265b14a37e7d35b7f08a50d43 |
|
26-Jan-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed newtype back to data for DrIFTability
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2000 cec4b9c1-7d33-0410-9eda-942365e851bb |
dc6b48bb46df8e56da3491c98476e6da0d1d5d1d |
|
23-Jan-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
tried to extract ids first
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1995 cec4b9c1-7d33-0410-9eda-942365e851bb |
0f894093b1d435fd222074706d7fdadb9725cfdf |
|
26-Nov-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
treated subtype definitions better
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1868 cec4b9c1-7d33-0410-9eda-942365e851bb |
76fa667489c5e0868ac68de9f0253ac10f73d0b5 |
|
13-Nov-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
renamed scanWords and scanSigns to scanHC...
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1838 cec4b9c1-7d33-0410-9eda-942365e851bb |
836e72a3c413366ba9801726f3b249c7791cb9ca |
|
04-Nov-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
recursive data types and variable treatment
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1821 cec4b9c1-7d33-0410-9eda-942365e851bb |
c18e9c3c6d5039618f1f2c05526ece84c7794ea3 |
|
25-Sep-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
merge raw-kinds branch with main trunk
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1727 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 |
53301de22afd7190981b363b57c48df86fcb50f7 |
|
30-Jul-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
new analysis
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1620 cec4b9c1-7d33-0410-9eda-942365e851bb |
e8a2ca3a7b3e9a19ef03b6b1c0b5d03dbad6463c |
|
21-Jul-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
cleaned up
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1580 cec4b9c1-7d33-0410-9eda-942365e851bb |
ff9a53595208f532c25ac5168f772f48fd80fdb5 |
|
23-Jun-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed Formula, returned AS
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1519 cec4b9c1-7d33-0410-9eda-942365e851bb |
4b0a4c7dea0f67a233dcc42ce9bb18d36de109ae |
|
05-Jun-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved global annotations out of environment
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1471 cec4b9c1-7d33-0410-9eda-942365e851bb |
31242f7541fd6ef179e4eb5be7522ddf54ae397b |
|
05-Jun-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected constructor handling
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1467 cec4b9c1-7d33-0410-9eda-942365e851bb |
ffd01020a4f35f434b912844ad6e0d6918fadffd |
|
03-Jun-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
conformed to Haskell98
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1460 cec4b9c1-7d33-0410-9eda-942365e851bb |
df638d53c2d5fe5e80b943a58609c8936848ed82 |
|
29-Apr-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed AltDefn
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1294 cec4b9c1-7d33-0410-9eda-942365e851bb |
afd5e708b7f4dad2b363ad99f5259c9961ea82af |
|
15-Apr-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved code to change dependencies
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1261 cec4b9c1-7d33-0410-9eda-942365e851bb |
eee1316a9384b10682c998bd4b62b4a5ca2ce820 |
|
14-Apr-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
used Reader Monad
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1249 cec4b9c1-7d33-0410-9eda-942365e851bb |
23f8d286586ff38a9e73052b2c7c04c62c5c638f |
|
11-Apr-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
restructured with a Reader
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1242 cec4b9c1-7d33-0410-9eda-942365e851bb |
37e2067019ef1e30bc7ad98b9bc623aa41cfa980 |
|
08-Apr-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
allowed for var tuples in subtype definitions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1218 cec4b9c1-7d33-0410-9eda-942365e851bb |
4954b30d3c209d7dee4e43016cee8189daf646e8 |
|
02-Apr-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed Env printing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1185 cec4b9c1-7d33-0410-9eda-942365e851bb |
b5699d97a9e2b4496f98d624f4b0a537986651c3 |
|
01-Apr-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
mixfix analysis
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1174 cec4b9c1-7d33-0410-9eda-942365e851bb |
da245da15da78363c896e44ea97a14ab1f83eb50 |
|
11-Mar-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
used Set for intersection classes (and PPUtils for printing)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1093 cec4b9c1-7d33-0410-9eda-942365e851bb |
04dada28736b4a237745e92063d8bdd49a362deb |
|
10-Mar-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
extended merging
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1090 cec4b9c1-7d33-0410-9eda-942365e851bb |
b49276c9f50038e0bd499ad49f7bd6444566a834 |
|
05-Mar-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
simplified targets
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1060 cec4b9c1-7d33-0410-9eda-942365e851bb |
628310b42327ad76ce471caf0dde6563d6fa6307 |
|
04-Mar-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
added OpInfo
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1048 cec4b9c1-7d33-0410-9eda-942365e851bb |
c39be436ee9b0c08f9cb0c08988fcf5a5b147db9 |
|
28-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
kinded class analysis
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1035 cec4b9c1-7d33-0410-9eda-942365e851bb |
f71a8dcf94fd9eb3c9800e16dcdc5e5ff74e5c22 |
|
25-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced FiniteMap with Map
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@997 cec4b9c1-7d33-0410-9eda-942365e851bb |
e8ffec0fa3d3061061bdc16e44247b9cf96b050f |
|
24-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
qualified module names
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@977 cec4b9c1-7d33-0410-9eda-942365e851bb |
30203b61afb4393c8e459470b3a16d1fe26acc7f |
|
21-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
use Common.Lib
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@946 cec4b9c1-7d33-0410-9eda-942365e851bb |
51281dddda866c0cda9fca22bf6bc4eea7128112 |
|
19-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
made PseudoType and TypeScheme equal
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@905 cec4b9c1-7d33-0410-9eda-942365e851bb |
715a002611e0c503c11cc3aa80835763215e689d |
|
18-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
handled pseudo types
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@901 cec4b9c1-7d33-0410-9eda-942365e851bb |
300ce2662e9abb115f7aa4e0a99c172a05ba454d |
|
05-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
handled suptype definitions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@819 cec4b9c1-7d33-0410-9eda-942365e851bb |
ac07a6558423dae7adc488ed9092cd8e9450a29d |
|
03-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@810 cec4b9c1-7d33-0410-9eda-942365e851bb |
cf3232cec840a6945667bdb06f5b47b22243bc8f |
|
31-Jan-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
made TypeInfo record
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@809 cec4b9c1-7d33-0410-9eda-942365e851bb |
fd5d3885a092ac0727fa2436cdfc3b248318ebd8 |
|
31-Jan-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced TypeVarDecl with TypeArg
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@808 cec4b9c1-7d33-0410-9eda-942365e851bb |
e289294500ad68fa0706b09521af340bbb356a69 |
|
29-Jan-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
included kind analysis
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@799 cec4b9c1-7d33-0410-9eda-942365e851bb |
32541bf964bc8e4e395b0c8647ae2044f09cc32b |
|
29-Jan-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed Pretty stuff
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@796 cec4b9c1-7d33-0410-9eda-942365e851bb |
08faa81d4dd8409cd923b334064f64f802ecc33d |
|
17-Jan-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
separated class and type analysis
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@771 cec4b9c1-7d33-0410-9eda-942365e851bb |
02b62afbc463450900c5285569e9ab6dc2f9a014 |
|
15-Jan-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected type variable insertion
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@758 cec4b9c1-7d33-0410-9eda-942365e851bb |
f0742398d4587242b1a115de113cd17f63dcb6d0 |
|
14-Jan-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
reworked class decls
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@744 cec4b9c1-7d33-0410-9eda-942365e851bb |
7c57322afb6342e5cc8b1fdc96050b707407fc61 |
|
10-Jan-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
change Name to Id
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@736 cec4b9c1-7d33-0410-9eda-942365e851bb |
c00adad2e9459b422dee09e3a2bddba66b433bb7 |
|
02-Jan-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
start analyzing types
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@720 cec4b9c1-7d33-0410-9eda-942365e851bb |
7f0e81a8fc10c17b13569f23474a0e3fbfa79e7d |
|
11-Dec-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
reused much from As.hs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@691 cec4b9c1-7d33-0410-9eda-942365e851bb |
772aeb162f6d74180db3513d36036d2f82f9f884 |
|
29-Nov-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@673 cec4b9c1-7d33-0410-9eda-942365e851bb |
3c72be149cf673945cbe07a04c336fb8f4d406a3 |
|
28-Nov-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@669 cec4b9c1-7d33-0410-9eda-942365e851bb |
b1c064439793db60fd1a6bb514c4ca9690a90a2e |
|
26-Nov-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
collecting classes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@667 cec4b9c1-7d33-0410-9eda-942365e851bb |
bb3bdd4a260606a6184b5f5a5774ca6632ca597a |
|
20-Nov-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced 'showString ""' with 'id'
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@648 cec4b9c1-7d33-0410-9eda-942365e851bb |
d45ca845593a9d3d1fdd05128c24245436d791c9 |
|
18-Nov-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
inference of application with list comprehension
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@639 cec4b9c1-7d33-0410-9eda-942365e851bb |
ea03c5d09694b4a966fbd19d46cfa5772648d95f |
|
13-Nov-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
experimenting
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@629 cec4b9c1-7d33-0410-9eda-942365e851bb |
bcd232120234d3cbbfd730b64a5a165f5c16e2a9 |
|
08-Nov-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
simplified Class type
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@609 cec4b9c1-7d33-0410-9eda-942365e851bb |
9eaf4ea0944f7c5a1773c5f3c066f0117ece22db |
|
19-Apr-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@151 cec4b9c1-7d33-0410-9eda-942365e851bb |
502ed7ed7fecd10b6d0c83cdd48a244ec45e840a |
|
08-Apr-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
local env
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@134 cec4b9c1-7d33-0410-9eda-942365e851bb |