a64026be6c3fd217259aab4ee0a5934192255e88 |
|
07-Dec-2017 |
mscodescu <mscodescu@gmail.com> |
symbol kind for COL |
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 |
a65c6747c9acbbebc93baba7bae94d2e3d8cdafb |
|
03-May-2013 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added symbol parser, for use in correspondences
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17942 cec4b9c1-7d33-0410-9eda-942365e851bb |
55cf6e01272ec475edea32aa9b7923de2d36cb42 |
|
04-Aug-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
ghc-7.2 requires language with flexible instances
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15876 cec4b9c1-7d33-0410-9eda-942365e851bb |
d6c6b2543c509ec7f6213e4cba675d96304a7fd6 |
|
24-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
enhanced CASL's and CspCASL's static symbol analysis wrt A_type
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14794 cec4b9c1-7d33-0410-9eda-942365e851bb |
a669e4685b32ff5ca1bca785eacc5e30a545b010 |
|
24-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added optional target signature to static analysis of symbol map items
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14791 cec4b9c1-7d33-0410-9eda-942365e851bb |
7857a35e3af533dfbd0f0e18638ebd211e6358a0 |
|
21-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
extended morphism union
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14757 cec4b9c1-7d33-0410-9eda-942365e851bb |
80d2ec8f37d5ddec13c14b17b1bab01e9c94630a |
|
18-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
pass source signature to static symbol analysis
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14745 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 |
dd4bd4dedda875b27c189720a7706719ee5f79ac |
|
19-Aug-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
rely on missing generic implementation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13905 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 |
05bf9cbe382548c2665dd01a6a402640c9ec3813 |
|
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@13493 cec4b9c1-7d33-0410-9eda-942365e851bb |
a7be28e157e9ceeec73a8fd0e642c36ea29d4218 |
|
26-Feb-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
re-added a separate subsig test to allow building inlusions more efficiently
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11439 cec4b9c1-7d33-0410-9eda-942365e851bb |
fbf1cdad9a9775bd7332e85f01b6a307d7dbb1cf |
|
29-Jan-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored and fixed VSE symbol map analysis #659
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11335 cec4b9c1-7d33-0410-9eda-942365e851bb |
81101b83a042f5a1bdeeef93b1b49aff05817e44 |
|
12-Jan-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved plain classes for CASL extensions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11249 cec4b9c1-7d33-0410-9eda-942365e851bb |
9eb39c7a0e7a1ddad1eec1d23c6d4e3a99c54023 |
|
29-Oct-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
better support for morphism extensions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10910 cec4b9c1-7d33-0410-9eda-942365e851bb |
86b1d0c80abdd4ca36491cf7025b718a5fea5080 |
|
14-Oct-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed CASL morphism composition
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10824 cec4b9c1-7d33-0410-9eda-942365e851bb |
3df62855407557d42ee0caa1e7d4cd2a2f53f75b |
|
25-Jul-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed sign_to_basic_spec
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10392 cec4b9c1-7d33-0410-9eda-942365e851bb |
e58ed9360500f97f6370bebf69f0c2bfee34782c |
|
19-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
compute the inclusion tag for CASL morphisms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9810 cec4b9c1-7d33-0410-9eda-942365e851bb |
4c7f058cdd19ce67b2b5d4b7f69703d0f8a21e38 |
|
19-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored class Category
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9797 cec4b9c1-7d33-0410-9eda-942365e851bb |
6155ffd7d005f443d69067fc50f17134887e9e6b |
|
19-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed is_subsig to a global function
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9795 cec4b9c1-7d33-0410-9eda-942365e851bb |
27b37f8e6b165f7abb653a54b45ffcdb81cec561 |
|
19-Feb-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
perform inclusion check and compute difference if violated
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9582 cec4b9c1-7d33-0410-9eda-942365e851bb |
df6f4a9e6b3d0542ecc181fbc1bcec2affca1d30 |
|
19-Feb-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
recovered diff code for inducedFromTo
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9579 cec4b9c1-7d33-0410-9eda-942365e851bb |
109bfb0f817fcb94b049836da185c5241cebc3cc |
|
04-Dec-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed signature_difference
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9284 cec4b9c1-7d33-0410-9eda-942365e851bb |
03136b84a0c70d877e227444f0875e209506b9e4 |
|
29-Oct-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added symbol set to signatures, simplified morphisms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9100 cec4b9c1-7d33-0410-9eda-942365e851bb |
da955132262baab309a50fdffe228c9efe68251d |
|
27-Sep-2007 |
Cui Jian <ken@informatik.uni-bremen.de> |
cleaned up codes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8947 cec4b9c1-7d33-0410-9eda-942365e851bb |
e071fb22ea9923a2a4ff41184d80ca46b55ee932 |
|
07-Sep-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added module description
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8810 cec4b9c1-7d33-0410-9eda-942365e851bb |
2eeec5240b424984e3ee26296da1eeab6c6d739e |
|
23-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced @tzi with @informatik.uni-bremen
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8698 cec4b9c1-7d33-0410-9eda-942365e851bb |
cd6e5706893519bfcf24539afa252fcbed5097dd |
|
26-Jun-2007 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
* Refactoring of classes Logic, Sentences and StaticAnalysis
* Logic.Prover.ProverTemplate has now a field for the maximal sublogic
needed by a Prover/ConsChecker
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8145 cec4b9c1-7d33-0410-9eda-942365e851bb |
eca4db63ed0bdbd93b62678feea6e3eb80aa47bb |
|
20-Jul-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed functions for signature differences
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6695 cec4b9c1-7d33-0410-9eda-942365e851bb |
b1f59a4ea7c96f4c03a4d7cfcb9c5e66871cfbbb |
|
14-Jul-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
restructured Sublogics
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6664 cec4b9c1-7d33-0410-9eda-942365e851bb |
f6c8dbf0ccb4e76a7d7cafcb23a75259aaca57f2 |
|
06-Jul-2006 |
Jian Chun Wang <wjch868@informatik.uni-bremen.de> |
removed old PrettyPrint Stuff
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6633 cec4b9c1-7d33-0410-9eda-942365e851bb |
8d97ef4f234681b11bb5924bd4d03adef858d2d2 |
|
30-Dec-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
derive Typeable along with ATC
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5572 cec4b9c1-7d33-0410-9eda-942365e851bb |
e85b224577b78d08ba5c39fe9dcc2e53995454a2 |
|
11-Nov-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
remove GlobalAnnos argument that is now part of the signature
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5382 cec4b9c1-7d33-0410-9eda-942365e851bb |
5e605dc61ff9ec5724c319603905dc9b0dccc05f |
|
03-Nov-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
restructured mixfix analysis by precomputing all non-simple identifiers
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5336 cec4b9c1-7d33-0410-9eda-942365e851bb |
e953bea49e7f0e1a43bccf2a66c5e2a2b50848e0 |
|
29-Sep-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
expanded tabs to spaces
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5106 cec4b9c1-7d33-0410-9eda-942365e851bb |
0cd45e749d5c847c9652afdd0617a18488a94d1f |
|
18-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed wrong comments
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4701 cec4b9c1-7d33-0410-9eda-942365e851bb |
2bbf88585fe313af8585da0288880310cc1b027d |
|
18-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
made a minimal implementation compilable
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4699 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 |
9e2e744c6b967c3f5f581acf01c13769b6769285 |
|
02-Sep-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Added Eq and Show instances for DGRule. Needed refactoring of dynamics stuff
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3125 cec4b9c1-7d33-0410-9eda-942365e851bb |
881f43de18aeae879886be203cd32e90051799c0 |
|
22-Jul-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Initial files copied from Modal-CASL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2971 cec4b9c1-7d33-0410-9eda-942365e851bb |