f61b6675c002cba5a21d9cecee72b538b5c5d78a |
|
09-Dec-2017 |
mscodescu <mscodescu@gmail.com> |
symType to sym_kind |
766f8fe88fc353961aa5d15138b218dcf0f30817 |
|
07-Dec-2017 |
mscodescu <mscodescu@gmail.com> |
symbol kinds for Maude |
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 |
1a38107941725211e7c3f051f7a8f5e12199f03a |
|
08-Oct-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
added a bunch of deriving Typeable and Data |
3d3889e0cefcdce9b3f43c53aaa201943ac2e895 |
|
29-Nov-2013 |
Jonathan von Schroeder <sternkinder@gmail.com> |
removed lots of hlint warnings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18342 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 |
6e121321775373fe11161d23c541437456df19b4 |
|
26-Apr-2010 |
Adrián Riesco <ariesco@fdi.ucm.es> |
kindMap morphism
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13387 cec4b9c1-7d33-0410-9eda-942365e851bb |
6d498b6f56ed9f71cced898b6c42fb48f6e60583 |
|
23-Apr-2010 |
Adrián Riesco <ariesco@fdi.ucm.es> |
Better Maude institution, comorphism
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13379 cec4b9c1-7d33-0410-9eda-942365e851bb |
42695a59a4fd14d9ed2a30126a7a626459b9f8cb |
|
07-Apr-2010 |
Adrián Riesco <ariesco@fdi.ucm.es> |
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13295 cec4b9c1-7d33-0410-9eda-942365e851bb |
fb653dc55429d3d3a40034b38c0f39455fda0df0 |
|
07-Apr-2010 |
Adrián Riesco <ariesco@fdi.ucm.es> |
Extension signatures
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13294 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 |
89cf7d161fe232eb9ec48e52301c67a2d22c7b8b |
|
31-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
More documentation for Symbol.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12361 cec4b9c1-7d33-0410-9eda-942365e851bb |
c71424c7bf8b4840cb5bd2b3bc6f5c3255d6a5ca |
|
30-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Documentation and structure for Symbol.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12358 cec4b9c1-7d33-0410-9eda-942365e851bb |
61b92afb89b2243e317efdb9f36356cc131a38b2 |
|
30-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Wording.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12353 cec4b9c1-7d33-0410-9eda-942365e851bb |
52a806843f9c7d31aaf425d35e56d9a6cd22963d |
|
30-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Refine documentation, fix structure.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12350 cec4b9c1-7d33-0410-9eda-942365e851bb |
93f874e4f0334509143259e0079cc754b2b61ae2 |
|
30-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Formatting.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12349 cec4b9c1-7d33-0410-9eda-942365e851bb |
6ef10306b21f0f25fb7ddac8b22a1a7f433ce2da |
|
30-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Documentation for the Symbol type
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12348 cec4b9c1-7d33-0410-9eda-942365e851bb |
a530dde7009b0a808300c420def741354a4d13d2 |
|
30-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Doc Comments and Headers
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12347 cec4b9c1-7d33-0410-9eda-942365e851bb |
7f4b2528567ab987c2bf9d7b7be092b472812cd7 |
|
29-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Formatting.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12342 cec4b9c1-7d33-0410-9eda-942365e851bb |
253fb4ffbdd39128f52d6cd9098db19dbed87b5c |
|
27-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Print Kinds with brackets and ops with straight arrows.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12313 cec4b9c1-7d33-0410-9eda-942365e851bb |
7e1d7da7d7345cf805e1b7c4d2e7faf1b71314a4 |
|
26-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Properly apply SortMaps to Kinds.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12308 cec4b9c1-7d33-0410-9eda-942365e851bb |
809d76d2958b66432223d52b82869cec442a2252 |
|
24-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Add Symbol.qualify.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12260 cec4b9c1-7d33-0410-9eda-942365e851bb |
4533f0100d33e9a579b8caf73d1c28b11c8a6e26 |
|
24-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Add Symbol type for Operators without Profiles.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12252 cec4b9c1-7d33-0410-9eda-942365e851bb |
d07c638f6f2d52be3d316b1e3144c73850436a53 |
|
24-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Moar documentation.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12248 cec4b9c1-7d33-0410-9eda-942365e851bb |
e0d882f111cef74f1c26614e5b2aacdf745832a4 |
|
24-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Inline opDeclDoc.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12246 cec4b9c1-7d33-0410-9eda-942365e851bb |
cfccbd137f4ab5386e557cc8b57d192da109ee67 |
|
21-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Add Symbol.asSort - convert Kind to Sort Symbols
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12220 cec4b9c1-7d33-0410-9eda-942365e851bb |
02a7ada710825ddd77db8ff7eebd2f3202ffdd76 |
|
21-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Doc comments.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12219 cec4b9c1-7d33-0410-9eda-942365e851bb |
910bbe6344a7795352218e083e764f47ef0482e5 |
|
21-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Fix sameKind for Operator Symbols.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12217 cec4b9c1-7d33-0410-9eda-942365e851bb |
825be2618bbee272071b70999e6e0bc248bb39fd |
|
21-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Doc comments and helper function renamings.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12204 cec4b9c1-7d33-0410-9eda-942365e851bb |
d85184b9122f322660dcf56471b20be9b14a0e7e |
|
21-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Restore zipSameKind
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12200 cec4b9c1-7d33-0410-9eda-942365e851bb |
6eaa3bc6d06cc063f883d36c59ee43f3a7bf280b |
|
20-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Update Symbol type.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12174 cec4b9c1-7d33-0410-9eda-942365e851bb |
8cedca4d277557bda1c51eb549305a7321955d9d |
|
17-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Add a few TODO items.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12154 cec4b9c1-7d33-0410-9eda-942365e851bb |
411f90be03a1df5f38293ff5bcf7d34352ce0cad |
|
16-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Use HasName
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12150 cec4b9c1-7d33-0410-9eda-942365e851bb |
be6b273c228d651c5d43570574a58ce47c684ea6 |
|
16-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Straighten up imports.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12143 cec4b9c1-7d33-0410-9eda-942365e851bb |
e601be204ed2a4e423c66d347e96a8bf80afc545 |
|
16-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Simplify Symbol.toId
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12142 cec4b9c1-7d33-0410-9eda-942365e851bb |
521e1648b2c66064c41e9ac47bcd510356ed2355 |
|
11-Aug-2009 |
Adrián Riesco <ariesco@fdi.ucm.es> |
Improving morphisms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12071 cec4b9c1-7d33-0410-9eda-942365e851bb |
8d19f5923948315b95bdad517481844f4447fbed |
|
09-Jul-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Switch symbols to AS_Maude.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11886 cec4b9c1-7d33-0410-9eda-942365e851bb |
c71a28752b8269572ba1de2e2230bb97a4dde6ea |
|
26-Apr-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Update Maude submodule.
* Add more (skeletal) Logic and related instances.
* Add a few (dummy) functions for those instances.
* Reformat and clean up the Metalevel.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11759 cec4b9c1-7d33-0410-9eda-942365e851bb |
6858f9c9c8b077b2b574a9f30753cf5fec8124d6 |
|
18-Jun-2008 |
Martin Kühl <martin.kuehl@gmail.com> |
* Add definition of Sentences.
* Factor extraction and mapping of Sorts, Op names and Labels into type classes.
Implement these classes for the Metalevel types.
* Add a partial Sentences implementation for Maude.
(partially missing and partially broken :-)
* Move some functionality around.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10138 cec4b9c1-7d33-0410-9eda-942365e851bb |
18328fcbfe4296582227d42fdcf363f5a0fb8921 |
|
05-Jun-2008 |
Martin Kühl <martin.kuehl@gmail.com> |
Add a Haskell implementation of the Maude meta-level.
Start an implementation of 'Logic' for Maude.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10069 cec4b9c1-7d33-0410-9eda-942365e851bb |