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 |
b5056cf24da461ee868c4be7b803a76b677fa21d |
|
24-Aug-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
joined common code for CASL comorphisms to CASL extensions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16008 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 |
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 |
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 |
c3f7e132e0c214b755c6c4b485f4748c4dd1595c |
|
26-Oct-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed redundant imports
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12730 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 |
ee1bb5885be64596b02462e771fb79abcc24c33a |
|
18-Sep-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
extracted monotonicities
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10692 cec4b9c1-7d33-0410-9eda-942365e851bb |
5382091fd2a705e6f026026e8a6adcd3607bdb9f |
|
18-Sep-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
white spaces only
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10691 cec4b9c1-7d33-0410-9eda-942365e851bb |
af30b44c4bae99a1c37fe53b8a70c7eb0a380b66 |
|
04-Dec-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
tried to get the sublogic stuff right
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9290 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 |
bba825b39570777866d560bfde3807731131097e |
|
28-Jun-2007 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
* Made mapSublogic in class Comorphism partial
(result type is now Maybe sublogics)
* preliminary incomplete implementation of hetSublogicGraph
(not accessible form the GUI yet)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8183 cec4b9c1-7d33-0410-9eda-942365e851bb |
f2c050360525df494e6115073b0edc4c443a847c |
|
12-Apr-2007 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
flags for properties of comorphisms and values for them in different instances
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7813 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 |
26d11a256b1433604a3dbc69913b520fff7586ac |
|
09-Nov-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved type Symbol from CASL.Morphism to CASL.Sign
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7142 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 |
5c358300e78157f4bfaf5415c70e1096a9205b61 |
|
16-May-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved targetSublogic out of Comorphism class in favour of mapSublogic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6331 cec4b9c1-7d33-0410-9eda-942365e851bb |
5ea0d62951bb02a11498060bdc36ca037812eafd |
|
01-Aug-2005 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
This update adds new sublogics to CASL.Sublogic:
* Sul --> Locally filtered subsort relation
* sC --> All constructors of (freely) generated sorts are sort
injections
* eC --> the mapping recovered by recover_Sort_gen_ax is empty
The changes to the Comorphisms is due to the new sublogics. CASL2TopSort
and CASL2SPASS have now the correct sublogic specified.
Common.Lib.Rel exports three new functions:
* locallyFiltered checking a Relation
* flatSet and partSet auxilliary functions working on Sets
CASL.Inject.insertInjOps takes now a list of OP_SYMB instead of a list of
Sort_gen_ax. This list should be generated by recover_Sort_gen_ax.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4832 cec4b9c1-7d33-0410-9eda-942365e851bb |
1c1d0abeab7e81019442f67624a1ff954ec909ec |
|
28-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
make unexpanded *.inline.hs file type correct
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4812 cec4b9c1-7d33-0410-9eda-942365e851bb |
b756995ba75c47cef7a133ec509865963fb1d798 |
|
22-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
projections may be total or partial
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4746 cec4b9c1-7d33-0410-9eda-942365e851bb |
a25c8af1cae2c1c6ab742913f17137b9d8671051 |
|
21-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
extended folding/mapping to C_FORMULA extension
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4727 cec4b9c1-7d33-0410-9eda-942365e851bb |
b565cd55a13dbccc4e66c344316da525c961e4ca |
|
16-Jul-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added coding of partiality and subsorting for CoCASL; properly renamed some encodings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4684 cec4b9c1-7d33-0410-9eda-942365e851bb |