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 |
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 |
7d228ff8072e039be1f7b9630fee712733a80334 |
|
22-Jun-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
return a sorted list of symbol sets
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15245 cec4b9c1-7d33-0410-9eda-942365e851bb |
d4146229cf85928342dfd25ec8b579a7feb0d381 |
|
03-Jun-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored symbol stuff
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15058 cec4b9c1-7d33-0410-9eda-942365e851bb |
a74f814d3b445eadad6f68737a98a7a303698aff |
|
17-Nov-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
revert replacement of Map.foldWithKey to allow compilation using ghc-6.10.4
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14229 cec4b9c1-7d33-0410-9eda-942365e851bb |
9e5c10805bd50b5baaf6bf1f6a3f085c7afb17d8 |
|
16-Nov-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
use Map.foldrWithKey
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14227 cec4b9c1-7d33-0410-9eda-942365e851bb |
98890889ffb2e8f6f722b00e265a211f13b5a861 |
|
01-Sep-2010 |
Corneliu-Claudiu Prodescu <Corneliu-Claudiu.Prodescu@dfki.de> |
Added see license.txt to license field
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13959 cec4b9c1-7d33-0410-9eda-942365e851bb |
b87efd3db0d2dc41615ea28669faf80fc1b48d56 |
|
11-Aug-2010 |
Corneliu-Claudiu Prodescu <Corneliu-Claudiu.Prodescu@dfki.de> |
Changed haddock headers and inserted empty headers for the ones missing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13857 cec4b9c1-7d33-0410-9eda-942365e851bb |
0ed5f2f1904325696a017bea68fe432a82f28683 |
|
11-Dec-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
also hide super types and classes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12920 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 |
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 |
90c174bac60a72ffd81bc3bf5ae2dd9a61943b8b |
|
10-Jul-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
globally replaced PosItem and UpPos with GetRange
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10298 cec4b9c1-7d33-0410-9eda-942365e851bb |
c14773c3d0fc73a474c8d86be4b3cd12ffe4d99c |
|
02-Nov-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
ignore builtin symbols
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9135 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 |
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 |
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 |
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 |
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 |
81946e2b3f6dde6167f48769bd02c7a634736856 |
|
28-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
separated variance, kinds and raw kinds
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4810 cec4b9c1-7d33-0410-9eda-942365e851bb |
42c01284bba8d7c8d995c8dfb96ace57d28ed1bc |
|
15-Jul-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
refactoring: [Pos] replaced with Range in order to exclude positions from equality of abstract syntax
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4671 cec4b9c1-7d33-0410-9eda-942365e851bb |
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 |
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 |
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 |
c64d33a7fbeae730cbe65193fe3cc24e7aa1ddd6 |
|
09-May-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed PosItem and ShATermConversion instance generation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4217 cec4b9c1-7d33-0410-9eda-942365e851bb |
d37dcc28b21c2ad12312f7c746a39605f31434b6 |
|
28-Oct-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed unused import
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3337 cec4b9c1-7d33-0410-9eda-942365e851bb |
842eedc62639561781b6c33533d1949693ef6cc5 |
|
20-Oct-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed diag printing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3287 cec4b9c1-7d33-0410-9eda-942365e851bb |
0f8895a817ac71432fb59353afd69755d7395e9f |
|
20-Oct-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
avoided pfatal and printText
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3281 cec4b9c1-7d33-0410-9eda-942365e851bb |
d2a7d862bdfd22777c74f52363eee3067510827c |
|
20-Oct-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
use equality rather than unification
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3276 cec4b9c1-7d33-0410-9eda-942365e851bb |
7d22a9e856aa466bf246922f2bac3254ff97189f |
|
06-Oct-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
excluded Unit from the list of subsymbols
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3223 cec4b9c1-7d33-0410-9eda-942365e851bb |
b048b95cd7a252400e5bccb21ac8fb1c9fc5a17d |
|
05-Oct-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed unused code
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3216 cec4b9c1-7d33-0410-9eda-942365e851bb |
86564787e243a211b2051c62f6e9080a7be9dc7a |
|
05-Oct-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
delete all dependent symbols
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3214 cec4b9c1-7d33-0410-9eda-942365e851bb |
01d38aaf894bf138dd9678b16119baf7aec28fc5 |
|
30-Jul-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
matching symbols
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2997 cec4b9c1-7d33-0410-9eda-942365e851bb |
4fb19f237193a3bd6778f8aee3b6dd8da5856665 |
|
22-Jul-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed (raw) symbols and merging, unification without alias expansion, adapted morphisms and symbol map analysis
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2968 cec4b9c1-7d33-0410-9eda-942365e851bb |
d17834302eaa101395b4b806cd73670fd864445f |
|
19-Jul-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed Pred and Qual type in schemes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2958 cec4b9c1-7d33-0410-9eda-942365e851bb |
e76e6a43f51438215737d6fc176c89da05bb86da |
|
13-Jul-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed type variable representation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2937 cec4b9c1-7d33-0410-9eda-942365e851bb |
0f67ca7b0c738a28f6688ba6e96d44d7c14af611 |
|
23-Jun-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed kinds and alias types
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2893 cec4b9c1-7d33-0410-9eda-942365e851bb |
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 |
e817ea5134dced9e0bcce1a9d6b8fe4f81d36e56 |
|
02-Apr-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
hiding symbols
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2353 cec4b9c1-7d33-0410-9eda-942365e851bb |
97ee7048e63953c5617342ce38c30cbcb35cc0be |
|
01-Apr-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
(raw)symbol changes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2347 cec4b9c1-7d33-0410-9eda-942365e851bb |
dea4c92f0c061d589c542d0640a18dab36dfbb46 |
|
29-Mar-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
restructed symbol stuff
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2336 cec4b9c1-7d33-0410-9eda-942365e851bb |
83814002b4922114cbe7e9ba728472a0bf44aac5 |
|
23-Mar-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2311 cec4b9c1-7d33-0410-9eda-942365e851bb |
89054b2b95a3f92e78324dc852f3d34704e2ca49 |
|
30-Jan-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
restructured
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2039 cec4b9c1-7d33-0410-9eda-942365e851bb |
af621d0066770895fd79562728e93099c8c52060 |
|
29-Jan-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
symbols clean up
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2032 cec4b9c1-7d33-0410-9eda-942365e851bb |
7221c71b38c871ce66eee4537cb681d468308dfb |
|
27-Jan-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
simple data types go through now
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2013 cec4b9c1-7d33-0410-9eda-942365e851bb |
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 |
62599a910de0701b0f9461e534a43d5900131c55 |
|
22-Jul-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
derived some Typeable instances
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1587 cec4b9c1-7d33-0410-9eda-942365e851bb |
fd896e2068ad7e50aed66ac18c3720ea7ff2619f |
|
21-Jul-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
added symbol stuff
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1574 cec4b9c1-7d33-0410-9eda-942365e851bb |