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 |
52c28508167eb774d9b7286d585c250078d65818 |
|
09-Dec-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed ghc-7 warnings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14305 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 |
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 |
d4be42ac0e0c969e95f93bd858e3d14de35cc6aa |
|
03-Aug-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
check for negative occurrences #372
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12023 cec4b9c1-7d33-0410-9eda-942365e851bb |
8134af4b37c4ad27e30d57b6fbfefd0f91ee6d3c |
|
24-Jul-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
delay some constrained resolution, avoid partial functions to a partial result type but expect type ?Unit for formulas
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11987 cec4b9c1-7d33-0410-9eda-942365e851bb |
5e538f0d5fb2768e25a1f300b094bc07ac2a835b |
|
17-Jun-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
require input type for type checking
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11806 cec4b9c1-7d33-0410-9eda-942365e851bb |
1e48da42d7f6a78ff8a52be2a6c08048e6460ecc |
|
12-Feb-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
try to improve position
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11386 cec4b9c1-7d33-0410-9eda-942365e851bb |
bdce0d5f7e435df37670d3720929d97ab0043b6b |
|
11-Feb-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored datatype support
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11382 cec4b9c1-7d33-0410-9eda-942365e851bb |
c3ef5308fdbb160cda0745bc844981ce2f7d6cae |
|
29-Jan-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
correct sentences for subtype defns #660
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11334 cec4b9c1-7d33-0410-9eda-942365e851bb |
4bae958647dc527f8114d3882bdfda1c2a354ffa |
|
28-Jan-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
add trailing label to subtype definition
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11329 cec4b9c1-7d33-0410-9eda-942365e851bb |
f8391304363d474b477a3d0c840e504bd02d6c5b |
|
28-Jan-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
add sentence of subtype definition
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11328 cec4b9c1-7d33-0410-9eda-942365e851bb |
90b6ddcd41d089246d50ab17bc2e00cd8d57fb1e |
|
05-Sep-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed non-unique kind to warning
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10657 cec4b9c1-7d33-0410-9eda-942365e851bb |
7946f81bdc77b0790ac47ccaf2912a1d55c8336d |
|
16-Apr-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed obsolete GlobalAnnos argument
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9924 cec4b9c1-7d33-0410-9eda-942365e851bb |
72f24c5e53e062d8da71f63b2724acd5015dbe65 |
|
13-Dec-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed iso decls to aliases
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9368 cec4b9c1-7d33-0410-9eda-942365e851bb |
4429cf54ee507da0c692b55f534b02b4dfff526c |
|
20-Nov-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
compute the raw kind when adding a type identifier
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9220 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 |
f64771cc64df98b1d1d0c2a577d04bb675bd3a36 |
|
28-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
expand aliases in previous alias definitions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8723 cec4b9c1-7d33-0410-9eda-942365e851bb |
13f6b64b022fac1179149bfacf9a2ad908f7038d |
|
21-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed more variances in functions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8671 cec4b9c1-7d33-0410-9eda-942365e851bb |
0ea85310d2beb8aa03cac481ad2a6564e6b8ddbc |
|
20-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
variance does not count for constructors and selectors
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8657 cec4b9c1-7d33-0410-9eda-942365e851bb |
35cd0c10843c2cdbbe29f00a2a5d7e5e4f2d0064 |
|
07-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
extended tuple positions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8551 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 |
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 |
ca404a0223d1dfecd87d703072397604c186bb32 |
|
19-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
generalized TypeArgs for constructors and selectors so that HasCASL2Haskell finds them
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8414 cec4b9c1-7d33-0410-9eda-942365e851bb |
89dc77946055c0e4cb4671c4a74c3dcd55ed41a1 |
|
17-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed TypeEnv type synonym
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8390 cec4b9c1-7d33-0410-9eda-942365e851bb |
e47d29b522739fbf08aac80c6faa447dde113fbc |
|
09-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected raw kind in 'toType' applications
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8287 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 |
b055063e6aa8ad6d3c9db43d919c2acf2a842ad7 |
|
20-Jun-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
check pattern variables after analysis
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8093 cec4b9c1-7d33-0410-9eda-942365e851bb |
8416d37163cbb9d7ad05d97ff77e832590dd2345 |
|
20-Jun-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
do type analysis of rhs type in subtypedecl for uniform type arguments
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8092 cec4b9c1-7d33-0410-9eda-942365e851bb |
f6f2955769bfe80dbb4cca3b3ee33c5a8a0f5355 |
|
12-Jun-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed instance indicator and only kept minimal kinds
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8021 cec4b9c1-7d33-0410-9eda-942365e851bb |
88c4e2a5e4d6217bceac1310e5f86a50f740b55f |
|
05-Jun-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
factored out addAliasType
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7985 cec4b9c1-7d33-0410-9eda-942365e851bb |
159e8e0b0cce7ed73c2bea9e653feac0099cddfc |
|
05-Jun-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved some lets
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7984 cec4b9c1-7d33-0410-9eda-942365e851bb |
9fb0db7f56cbb44c3df49552c04afc881267b84e |
|
05-Jun-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
small clean ups
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7983 cec4b9c1-7d33-0410-9eda-942365e851bb |
dc2d6e8df2c15fa3a2adbbcce98f1aa0be44d71e |
|
05-Jun-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed layout and added export list
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7981 cec4b9c1-7d33-0410-9eda-942365e851bb |
ab2ff102a5e25417a7648ea5312a6507f43ff32a |
|
04-Jun-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
cleaned up
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7980 cec4b9c1-7d33-0410-9eda-942365e851bb |
4550ee0c945684d86f2f129046f5abba97ecd4c4 |
|
04-Jun-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
splitted off ConvertTypePattern from TypeDecl
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7978 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 |
c44c23429c72f3a709e22a18f2ed6f05fc8cc765 |
|
03-Apr-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
renamed emptyName to makeNamed
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7782 cec4b9c1-7d33-0410-9eda-942365e851bb |
65835942d66905c377fa503e0d577df5aade58fe |
|
03-Apr-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
generalized emptyName
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7775 cec4b9c1-7d33-0410-9eda-942365e851bb |
1686123f83910af58fba6c996bf7264702b3bc45 |
|
31-Mar-2007 |
Rainer Grabbe <rainer@informatik.uni-bremen.de> |
Imported theorems are marked with '(Th)' for proofs in ProofManagementGUI. Record types Logic.Prover.SenStatus and Common.AS_Annotation.Named were extended by field wasTheorem.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7765 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 |
2329a87b052e8aef57e419ed533751710a6be648 |
|
15-Feb-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
fixed generalization of type schemes for type synonyms such that unused arguments are not ignored
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7444 cec4b9c1-7d33-0410-9eda-942365e851bb |
5581c4644d91dcb9b7e2e7f6052f7cbf5f97b6de |
|
26-Jan-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
improved printing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7350 cec4b9c1-7d33-0410-9eda-942365e851bb |
42626cd6acc59504dff56b5b81043c272778c5fb |
|
23-Sep-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
refactored proof status info for sentences
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5063 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 |
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 |
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 |
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 |
23a9c4e5b06c1806777390f52acbb7df2e2e7ffc |
|
14-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
avoided cyclic subtype relations
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4666 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 |
59c036af82aff7fbe074455dad50477b7878e2d8 |
|
14-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
also generalized type arguments
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4661 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 |
fbad935054f262160c184f9ef8586dee8af9396e |
|
13-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
used patToType
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4654 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 |
149e43c4a2705a86a0e5fa301ba849fdf19db32e |
|
12-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed generalization
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4640 cec4b9c1-7d33-0410-9eda-942365e851bb |
68f35b7456a459f908662eb25dacfe9340c1c52a |
|
12-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
avoided empty SubtypeDecls
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4638 cec4b9c1-7d33-0410-9eda-942365e851bb |
163524ad00619e364fbe2fc19eb96b17d75652e5 |
|
11-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
restore local type variables
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4621 cec4b9c1-7d33-0410-9eda-942365e851bb |
9d34113faee503d1aaa3cf1e99b72119190f027e |
|
11-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
put analysed type args into scheme of pseudo types
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4611 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 |
fe5dbb45b6a8abf34375b4bc5f2a81cda664c0e4 |
|
28-Jun-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
settled shadowing hints
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4523 cec4b9c1-7d33-0410-9eda-942365e851bb |
a5893eedee9aae242d4de28662d98878781a3dc1 |
|
21-Jun-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
allowed for an undeclared supertype simple id
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4474 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 |
dfa74d066ea0f00a70276aedecc624c6b3c86dea |
|
11-May-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
extended data type Named
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4251 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 |
02c3f2769d85281508e6671a908da9c52787578e |
|
10-Jan-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
allowed higher kinds in subtype decls
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3650 cec4b9c1-7d33-0410-9eda-942365e851bb |
e9342ff9911f5392f355c0fb2b00155850206851 |
|
18-Nov-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
adapted to pfe typecheck
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3450 cec4b9c1-7d33-0410-9eda-942365e851bb |
a53ebc0a0f88e83f51667b4f26eee6ed1d440b2b |
|
01-Nov-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed fatal error to plain error
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3353 cec4b9c1-7d33-0410-9eda-942365e851bb |
bac72f892b6434ff3e0c89787883822b5122354c |
|
27-Oct-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
made SubtyeDefn variables monomorph as in all other cases too
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3330 cec4b9c1-7d33-0410-9eda-942365e851bb |
369454f9b2dbea113cbb40544a9b0f31425b2c69 |
|
26-Oct-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
used local variables
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3325 cec4b9c1-7d33-0410-9eda-942365e851bb |
9c5b1136299d9052e4e995614a3a36a051a2682f |
|
26-Oct-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
avoided output of empty id lists
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3324 cec4b9c1-7d33-0410-9eda-942365e851bb |
ccf3de3d66b521a260e5c22d335c64a48e3f0195 |
|
22-Oct-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed generalization by using subst instead of repl
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3317 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 |
2ae455d06cbd4a5622354a5b9da007a003735552 |
|
10-Aug-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
check for free variables in subtype definitions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3041 cec4b9c1-7d33-0410-9eda-942365e851bb |
3a9dafc31d54a6bdac1acda72bb15aceffb0240f |
|
03-Aug-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
added subtyping
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3003 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 |
53ee7f4ee7f8296520156830db25199cb1e53719 |
|
15-Jul-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
unique representation of type aliases
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2941 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 |
715ffaf874309df081d1e1cd8e05073fc1227729 |
|
09-Jun-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
added selector equations and changed pretty printing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2838 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 |
1c67beb3720d0b84d8d71ee2012166a09be81fbd |
|
27-May-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
added program sentences
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2735 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 |
c1124c6303c288db3fcb40518d38169cd7baaa4c |
|
19-Apr-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed State Env (Maybe ..) to Env -> Result ..
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2415 cec4b9c1-7d33-0410-9eda-942365e851bb |
6ecc709f7982792c6558384d4d6788c044233991 |
|
07-Apr-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
less restrictive cycle check
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2370 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 |
e92ae8b45c138b6cf7db8b69e2d099d7f62f24f0 |
|
30-Mar-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
allowed cyclic supertypes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2340 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 |
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 |
9b3bf7c6cf82dc11478bbac3414fe657b9bca327 |
|
02-Mar-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
treated compound type ids
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2235 cec4b9c1-7d33-0410-9eda-942365e851bb |
a44ec593ed7681b383b060452bdacd1055d549be |
|
20-Jan-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
checked for cyclic supertypes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1976 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 |
33a5d53a412ba0a4e5847f7538d6da2e22bd116c |
|
10-Nov-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
checked monomorphic data type recursion and cyclic type synonyms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1825 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 |
e774ab5733a1d673b123b0e63b14dd533e6fd4fc |
|
03-Nov-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
added sanity check for type variables in data types
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1819 cec4b9c1-7d33-0410-9eda-942365e851bb |
14f86b92900f3248952c94e980db715802433cdb |
|
30-Oct-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
treat alias defs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1811 cec4b9c1-7d33-0410-9eda-942365e851bb |
e0fc085c18022cd3feb88dd6aa030b76e231b833 |
|
30-Oct-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
treat polymorphic data types
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1808 cec4b9c1-7d33-0410-9eda-942365e851bb |
fcb83ab68ae093afbf6c4db20f154062961a9789 |
|
28-Oct-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
handled type args (unfinished)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1795 cec4b9c1-7d33-0410-9eda-942365e851bb |
8425adcfd77c8f90e6b76c7b40d39f878ee86d44 |
|
28-Oct-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
new conversion of type patterns
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1794 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 |
bf8956acc7a81e5840cff67672999f0545a84186 |
|
30-Jul-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
take only first token from TypePatterns
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1631 cec4b9c1-7d33-0410-9eda-942365e851bb |
4cb2ce69a8998bf13679428a9182cefc74225af3 |
|
30-Jul-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
added Pred alias and generalized, changed type var hints
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1628 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 |
34b317241b7401a4b0a90472e73d769d64d69a2a |
|
25-Jun-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
treated lambda terms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1524 cec4b9c1-7d33-0410-9eda-942365e851bb |
3cafc73a998493f9ed3d5e934c0ab80bcfb465c2 |
|
24-Jun-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
returned analysed abstract syntax, checked formulae of subtype defs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1523 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 |
f8f78a2c8796a387a4348cc672ae08e8d9f69315 |
|
20-Jun-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
restructured and checked types in downsets
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1516 cec4b9c1-7d33-0410-9eda-942365e851bb |
abd8dd44106c507dd2cb64359b63d7d56fa0a9c8 |
|
19-Jun-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
only restructured again
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1507 cec4b9c1-7d33-0410-9eda-942365e851bb |
7abd0c58a5ce51db13f93de82407b2188d55d298 |
|
18-Jun-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
only used simple state monad
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1505 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 |
9737bb5d563d68e87ce8e38ca533388118d90d2d |
|
04-Jun-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed usages of length
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1466 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 |
b190f5c7cf3ddda73724efe5ce82b9585ed76be1 |
|
27-May-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
pattern analysis
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1450 cec4b9c1-7d33-0410-9eda-942365e851bb |
441b53bd9480b058a6a8be774a5b8a37881f4b8b |
|
20-May-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
used getPlainTokenList
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1428 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 |
fb50920e621bfc152c19147cb52077ff06b3526b |
|
16-Apr-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
added datatype analysis
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1266 cec4b9c1-7d33-0410-9eda-942365e851bb |
bbae6e6ca0de7f2ffbb44d2c8da179f2b717237f |
|
15-Apr-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
added data type analysis
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1263 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 |
a0a2ff520a916e334d58f96e59f009aae61e98a7 |
|
03-Apr-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
added (unpleasant) tuple states
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1197 cec4b9c1-7d33-0410-9eda-942365e851bb |
469af98c69977faf5666e689eae863c1606ce269 |
|
03-Apr-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed bracket arguments in expandPos to a pair
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1191 cec4b9c1-7d33-0410-9eda-942365e851bb |
6e6ba3ab90205840b9c0ea408befaed7d1d7b80b |
|
21-Mar-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved parts for mixfix parsing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1137 cec4b9c1-7d33-0410-9eda-942365e851bb |
f161da699d7e8eddbb9294618dbc7a54966d7f7f |
|
18-Mar-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed first argument of getTokenList to a place holder string
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1115 cec4b9c1-7d33-0410-9eda-942365e851bb |
4c4a6faea90bdb95062434ca9b9e85f5c3b2d012 |
|
11-Mar-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
added Eq instances
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1095 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 |
462ec4b2fa3e0e788eb60dcb4aebc518298f342c |
|
06-Mar-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
introduced merging of envs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1072 cec4b9c1-7d33-0410-9eda-942365e851bb |
e2e7c2d73e02654e3b66e0917e2f1713d50854a9 |
|
06-Mar-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
checked number of places
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1070 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 |
7feac39f792f587cffdc8b63b0e7c5a7d2de292e |
|
03-Mar-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1038 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 |
49a475aee8bae6c05798d65fddf13ec6da66f0be |
|
27-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed nested typeArgs and added kinds to classes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1028 cec4b9c1-7d33-0410-9eda-942365e851bb |
5d2f1a7947dde4ff340f8d4908ae0f22c74fdeda |
|
26-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
only curried kinds
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1018 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 |
c73ff014326a48d64434301227d550355fd8f722 |
|
21-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
checked for different type vars
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@933 cec4b9c1-7d33-0410-9eda-942365e851bb |
fa45d098e1c9d468f128be9505eb7e5b2705b304 |
|
19-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
checking kinds of vars and ops
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@915 cec4b9c1-7d33-0410-9eda-942365e851bb |
319ecaf18256a807f93183b913a2383dfb0e63f2 |
|
19-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
a bit more datatype handling
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@913 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 |
2f98027959ced502c0332e557618b42e41a2504a |
|
05-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced Pos = (Int, Int) with ParsecPos.SourcePos
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@837 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 |
4e2c895a342c03b5aa5ff64df33e32c8027a6953 |
|
04-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
treated subtypes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@816 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 |
0d88ef164d1e0423b485aa4fabaead397047e59d |
|
31-Jan-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@806 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 |
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 |
0205259ae45f1fc559cef00e69ca54a3aea10aca |
|
15-Jan-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
reorganized TypeDecl
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@763 cec4b9c1-7d33-0410-9eda-942365e851bb |