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 |
6fe64923dcfd4b70bb863a56ad9ca2152faf8a0c |
|
20-Sep-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
output fun keyword
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17383 cec4b9c1-7d33-0410-9eda-942365e851bb |
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 |
34b55522ba6fe2601e4ee37a9ba1fc4b1a0bf50b |
|
23-Jun-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
defined mostSymsOf for logic HasCASL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15276 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 |
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 |
e8700894324940d187d0cc6c4c757781a5985b71 |
|
11-Aug-2010 |
Corneliu-Claudiu Prodescu <Corneliu-Claudiu.Prodescu@dfki.de> |
various haddock header modifications
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13870 cec4b9c1-7d33-0410-9eda-942365e851bb |
fb8645096eb70aa243c146abe31d4173cfbe6e1a |
|
12-Feb-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
reuse local name
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13064 cec4b9c1-7d33-0410-9eda-942365e851bb |
678e45c045799ce271c4719123ecd9cf4f456d4b |
|
11-Feb-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
print predicates using pred (as parsed) to improve reparsing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13062 cec4b9c1-7d33-0410-9eda-942365e851bb |
a39175891082dc8a598e5630e5558cb08b84ac0a |
|
09-Dec-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
print alias types without lambdas for reparsability
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12900 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 |
51c65d5fb2d720dc77bc5cca15640cfa09711986 |
|
17-Apr-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
test case for changed printing by spechub/Hets@f6fc70956d64365527d77a521a96f54a1cc18f91
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11701 cec4b9c1-7d33-0410-9eda-942365e851bb |
f6fc70956d64365527d77a521a96f54a1cc18f91 |
|
17-Apr-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
fix for #689 regarding partial selectors
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11700 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 |
5553cf7e344c2b385a72e1244b419e9986042b8e |
|
06-Aug-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
prepare builtin Cpo class
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10463 cec4b9c1-7d33-0410-9eda-942365e851bb |
dd5e505efb3641bf74ade0ba3adabf4ceaf94e60 |
|
01-Aug-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed trailing blank lines
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10427 cec4b9c1-7d33-0410-9eda-942365e851bb |
6f031207ab25d41ae4740a4151d5946faff4768b |
|
04-Jul-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
always use < in class-decls
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10261 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 |
f9d358050e368eef1dcb45565b921a70bc68ef2d |
|
14-Nov-2007 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
removed trailing spaces
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9183 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 |
4eaf4dc236c387ef179bc7532831a3f15c049bae |
|
01-Nov-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
print raw kinds as kinds
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9116 cec4b9c1-7d33-0410-9eda-942365e851bb |
0a320bc4cdbf38f480b75ac15a54db1c4885b497 |
|
28-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed computation for the difference of type maps
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8726 cec4b9c1-7d33-0410-9eda-942365e851bb |
6b23467258cdc15e05f1845cd400d60ca6eba966 |
|
21-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
rename types in data types when printing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8666 cec4b9c1-7d33-0410-9eda-942365e851bb |
bbcc77a6eb9554dd3092cabafae1e5ca74a054ee |
|
20-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
omit op attributes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8660 cec4b9c1-7d33-0410-9eda-942365e851bb |
2ca4cb7c4970015237ff434081c2c5bc74284cad |
|
20-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
ignore data types in type map
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8659 cec4b9c1-7d33-0410-9eda-942365e851bb |
946f62de1b188898dde0c472f2a8a6fb86f4d2f5 |
|
20-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
make printed sign more reparsable
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8658 cec4b9c1-7d33-0410-9eda-942365e851bb |
07e579405f31fff7f9315685661b5a87cb99c41b |
|
20-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
comment out op-defns after profile
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8655 cec4b9c1-7d33-0410-9eda-942365e851bb |
e13ee09381f136f5eadaabdb9699773c0052cf3d |
|
20-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
fully quantified formulas and improved printing of theories
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8647 cec4b9c1-7d33-0410-9eda-942365e851bb |
6cb518d88084543c13aa7e56db767c14ee97ab77 |
|
17-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed printing to allow reparsing of theories
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8644 cec4b9c1-7d33-0410-9eda-942365e851bb |
59c301c268f79cfde0a4c30a2c572a368db98da5 |
|
27-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
kept type instances when computing differences
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8496 cec4b9c1-7d33-0410-9eda-942365e851bb |
f454c20b6c126bea7d31d400cc8824b9ee8cc6ea |
|
26-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed some lists to sets
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8490 cec4b9c1-7d33-0410-9eda-942365e851bb |
ad187062b0009820118c1b773a232e29b879a2fa |
|
26-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced by
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8488 cec4b9c1-7d33-0410-9eda-942365e851bb |
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 |
998747cb2ee575cccdd7d865c95d0ef07516a6a5 |
|
19-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
reduced info output
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8420 cec4b9c1-7d33-0410-9eda-942365e851bb |
cce6eaa31ad53bd212fb41d71a2df6aafb463067 |
|
19-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
made type renamings for data entries look nicer
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8418 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 |
81d182b21020b815887e9057959228546cf61b6b |
|
10-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added haddock Description
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8310 cec4b9c1-7d33-0410-9eda-942365e851bb |
3f69b6948966979163bdfe8331c38833d5d90ecd |
|
05-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed my maintainer email
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8261 cec4b9c1-7d33-0410-9eda-942365e851bb |
5c933f3c61d2cfa7e76e4eb610a4b0bac988be47 |
|
28-Jun-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
made printing of data entries more readable
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8171 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 |
405b95208385572f491e1e0207d8d14e31022fa6 |
|
09-May-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
improve printing of type mappings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7877 cec4b9c1-7d33-0410-9eda-942365e851bb |
61091743da1a9ed6dfd5e077fdcc972553358962 |
|
04-Apr-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
generalized Named to SenAttr to be useable by Logic.Prover as well
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7784 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 |
341d00318de2d0ea9b6f0ab43f7e4d10ee4fb454 |
|
12-Feb-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added support for plural keywords and no indentation after generated
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7408 cec4b9c1-7d33-0410-9eda-942365e851bb |
8c81b727b788d90ff3b8cbda7b0900c9009243bb |
|
04-Jul-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
use new utilities
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6582 cec4b9c1-7d33-0410-9eda-942365e851bb |
07b1bf56f3a486f26d69514d05b73100abb25a0e |
|
30-Jun-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
added keyword colonQuMark
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6553 cec4b9c1-7d33-0410-9eda-942365e851bb |
5d7e4bf173534e7eb3fc84dce7bb0151079d3f8a |
|
23-Jun-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
reused DocUtils
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6510 cec4b9c1-7d33-0410-9eda-942365e851bb |
7ff1eb5756da8554a5676f3dc3c1225fc15c3682 |
|
23-Jun-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
eliminated old PrettyPrint
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6496 cec4b9c1-7d33-0410-9eda-942365e851bb |
c438c79d00fc438f99627e612498744bdc0d0c89 |
|
22-Jun-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
switched over to new Doc
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6478 cec4b9c1-7d33-0410-9eda-942365e851bb |
8aea46773664711e0910accc5cf80ef9ee1bcfbf |
|
29-May-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
suppress output of builtins
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6393 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 |
b79de087ee81f711c6561b7b8a826092901f858e |
|
16-Mar-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
use 'equals' instead of 'text equalS'
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6033 cec4b9c1-7d33-0410-9eda-942365e851bb |
76647324ed70f33b95a881b536d883daccf9568d |
|
08-Mar-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved keywords
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5934 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 |
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 |
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 |
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 |
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 |
05e2a3161e4589a717c6fe5c7306820273a473c5 |
|
20-Oct-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed unused import and untabbified
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3274 cec4b9c1-7d33-0410-9eda-942365e851bb |
772abb916b994ad9461ddb11c88829251c5ac87a |
|
13-Oct-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
proper order of sentences
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3243 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 |
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 |
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 |
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 |
08b724e8dcbba5820d80f0974b9a5385140815ba |
|
13-Jan-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
printed maps differently
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1954 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 |
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 |
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 |
66267bcb678a9c341272c323b299337bcfdb7cc5 |
|
07-May-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
added comment non-portable
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1361 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 |
14b47f7dabb39996a31c7286810a5897587aed3a |
|
28-Apr-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed printing and resolution of terms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1279 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 |
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 |
712f5e5ca1c3a5cfdd28518154ecf2dd0994cdb5 |
|
03-Apr-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced (commaT printText0) with commaT_text and omitted printLatex0 after commaT_latex
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1192 cec4b9c1-7d33-0410-9eda-942365e851bb |
5ea4161a514362065110614dd0d92adb13bf7cc3 |
|
03-Apr-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed printText
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1188 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 |
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 |
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 |
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 |
42da000066c803fbbbe9e13bf6326888de3bbdc7 |
|
17-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
simplified TypeScheme and PseudoType
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@893 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 |
fdbad18e66c0e293f94694458d47df305f050c71 |
|
15-Jan-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
class decl testing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@756 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 |
30b01cb7094463449238dee8c1542544a242fcc0 |
|
03-Jan-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
cosmetics
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@726 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 |
35c0aa86aea351053f66b9d373148d0bdd4a1fe3 |
|
18-Dec-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@704 cec4b9c1-7d33-0410-9eda-942365e851bb |
024621f43239cfe9629e35d35a8669fad7acbba2 |
|
13-Dec-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
modified pretty printing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@695 cec4b9c1-7d33-0410-9eda-942365e851bb |
fb69cd512eab767747f109e40322df7cae2f7bdf |
|
11-Dec-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
pretty printing for envs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@693 cec4b9c1-7d33-0410-9eda-942365e851bb |