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 |
3d86f079b07a6a058cdd6c112d287e01a69d9c0c |
|
07-Sep-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
made mapDefaultMorphism the default implementation for map_morphism
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16105 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 |
2df21ee905717748894ce0d1b775b2a01bef4a44 |
|
19-Nov-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
cleaned up
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14260 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 |
41521e59641da92d0e3951bba0c3cc636c44f580 |
|
27-Aug-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored and moved indices for sorts
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12315 cec4b9c1-7d33-0410-9eda-942365e851bb |
8b66de47c89e252c907c8ed3a5ccd16dbccbfb3e |
|
27-Aug-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored using Common.Utils.number
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12314 cec4b9c1-7d33-0410-9eda-942365e851bb |
49f91677cae08b7095eda6c260b3311277775e4e |
|
21-Aug-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
added some language_name definitions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10552 cec4b9c1-7d33-0410-9eda-942365e851bb |
a83256e528168d1c97cd0485bd7ffecaf7af075e |
|
31-Jul-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
used mkFree instead of var and cleaned up
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10420 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 |
1e53e9e3e88175219d5497214433dee4b5fb545c |
|
15-Oct-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
avoid name clashes between alternative syntax and type names
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9052 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 |
eb0e19a83d8e3eaeb936c197555b20d37129022c |
|
04-Jul-2007 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
* generalized IdComorphism (Logic.Comorphism) to InclComorphism;
InclComorphism is an abstract datatype with selector and
constructor functions
* Logic.Comorphism has an export list now and the class functions
mapSentence and mapSysmbol have default error implementations now
* the heterogeneous sublogic graph can be accessed from the Logic Graph
window now
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8235 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 |
bbfe7dd657bee2c654803744627e9f430f807d81 |
|
20-Feb-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed todos; these are in hets-trac or are deleted for good
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7470 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 |
828dbf6cfae31f629fccc41a641eb0a1900bc7dd |
|
09-Aug-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed unnecessary topoSort and delations of constructors and datatypes that is done in IsaPrint now
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6798 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 |
d877a849f19860d779f44cb9a06df127975383e8 |
|
11-Nov-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
created VNames for mixfix names
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5386 cec4b9c1-7d33-0410-9eda-942365e851bb |
13ed13e06a5dd4aad12044ed7e7503cbe7f62990 |
|
19-Oct-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
merged in Tina's branch
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5216 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 |
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 |