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 |
24b61080d4414cdc68c92ecd4d0f93996c73a1a8 |
|
28-Sep-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
show the type instance of projections within definedness created from membership tests
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17448 cec4b9c1-7d33-0410-9eda-942365e851bb |
e0f1794e365dd347e97b37d7d22b2fce27296fa1 |
|
07-Jul-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
re-established separate relation type
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15490 cec4b9c1-7d33-0410-9eda-942365e851bb |
f876a858a3644fa16b793afb4692cf353fa13762 |
|
18-Nov-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed ghc-7 warnings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14240 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 |
d29201dd5328b88140ce050100693c501852657d |
|
02-Jun-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
added more LANGUAGE pragmas
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13491 cec4b9c1-7d33-0410-9eda-942365e851bb |
c72f409b411e817f42a1c18f49cf9b8190d51ea3 |
|
10-Feb-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
keep user given type annotation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13058 cec4b9c1-7d33-0410-9eda-942365e851bb |
2064bad4cec23a3efd26b748c9d3bdd57b84fec1 |
|
10-Feb-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
typo
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13054 cec4b9c1-7d33-0410-9eda-942365e851bb |
2b470a98ae13b1a87d53f64c3188c8ea77600d99 |
|
10-Feb-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
implemented spechub/Hets@94b9f4ce450f9508dcb30b129529d635234c52c3 differently
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13053 cec4b9c1-7d33-0410-9eda-942365e851bb |
bc994dca195712fe9143e074ed479077f9bab75d |
|
08-Feb-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
added monotonicities #437
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13042 cec4b9c1-7d33-0410-9eda-942365e851bb |
03db3efebb43c12041915cb7ffcc172b191208f9 |
|
25-Sep-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
keep more inferred types for #740
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12518 cec4b9c1-7d33-0410-9eda-942365e851bb |
94b9f4ce450f9508dcb30b129529d635234c52c3 |
|
07-Aug-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
do not create injections to lazy types
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12044 cec4b9c1-7d33-0410-9eda-942365e851bb |
722e8a91f69209ba0e99bf799c4989801d78cf16 |
|
29-Jul-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
create (part of) the subtype relation #437
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12011 cec4b9c1-7d33-0410-9eda-942365e851bb |
83b3260413a3b1b7dee1f9c4d3249dec994a875c |
|
16-Apr-2009 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
added signature as parameter for symbol translation along comorphisms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11695 cec4b9c1-7d33-0410-9eda-942365e851bb |
a608d5645ae434cdb7a1555057007301072f447e |
|
10-Feb-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed duplicate code
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11378 cec4b9c1-7d33-0410-9eda-942365e851bb |
00ca4426e78f94e6093a5b506fec5cadf45913c2 |
|
10-Feb-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
check definedness of projection
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11377 cec4b9c1-7d33-0410-9eda-942365e851bb |
616b72452ce5a75ade1a11ccc2c9671b3444558e |
|
21-Aug-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
added more language_name definitions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10555 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 |
e5f8da90c4993081290b389989da458318a119b3 |
|
05-Oct-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
actually use folded term
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8995 cec4b9c1-7d33-0410-9eda-942365e851bb |
e9490701e16d1e8abd995ef876d6f937da93b412 |
|
05-Oct-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
improved comorphisms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8994 cec4b9c1-7d33-0410-9eda-942365e851bb |
70e83495a9753d2a104a9869ac2a997ac30d05c1 |
|
01-Oct-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
only add injections and projections if there really are sub- or super types
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8965 cec4b9c1-7d33-0410-9eda-942365e851bb |
62d8627183cce49c052386186ad69c95b1aa3953 |
|
28-Sep-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
insert injections and projections into terms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8962 cec4b9c1-7d33-0410-9eda-942365e851bb |
21b18016469e574bd145ad07c7b0f02839677cc3 |
|
26-Sep-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
made polymorphic inject- and project functions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8915 cec4b9c1-7d33-0410-9eda-942365e851bb |
45cba0adba732839487747523caf4c0bf8a62c32 |
|
05-Sep-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
always use unique projection identifiers
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8802 cec4b9c1-7d33-0410-9eda-942365e851bb |
7862e8fb34d79382e93b45ce894acdd928da8a51 |
|
13-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed superTypes in typeMap
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8595 cec4b9c1-7d33-0410-9eda-942365e851bb |
bb4d3b6e93db1495f02de46aff5076862e30517b |
|
09-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added injection and projection functions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8573 cec4b9c1-7d33-0410-9eda-942365e851bb |
cf7e0d6750e408ddb47545d6b8349a70cf0b47af |
|
08-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
started implementing ticket #1
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8563 cec4b9c1-7d33-0410-9eda-942365e851bb |