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 |
d021fa76efedeeb63529a82dd1cfd81911f4d03e |
|
05-Sep-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
avoided head calls and cleaned up
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17293 cec4b9c1-7d33-0410-9eda-942365e851bb |
e375fc9ca73b53e07edaf5f1fa81592365549a5d |
|
02-Aug-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added FlexibleInstances
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15843 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 |
a74f814d3b445eadad6f68737a98a7a303698aff |
|
17-Nov-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
revert replacement of Map.foldWithKey to allow compilation using ghc-6.10.4
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14229 cec4b9c1-7d33-0410-9eda-942365e851bb |
9e5c10805bd50b5baaf6bf1f6a3f085c7afb17d8 |
|
16-Nov-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
use Map.foldrWithKey
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14227 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 |
c6a4f949f2a9da476c80399fb061020937255f87 |
|
10-Jun-2010 |
Adrián Riesco <ariesco@fdi.ucm.es> |
Changes for Maude 2.5
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13573 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 |
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 |
6f6549c13f912de12345850e4eb248ec358c1b43 |
|
20-Apr-2010 |
Adrián Riesco <ariesco@fdi.ucm.es> |
Modifications in the Maude institution, that allow simplifications in the comorphism
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13360 cec4b9c1-7d33-0410-9eda-942365e851bb |
fcadaf714fe201d7ceeacd7ddf9507ef6e68a8aa |
|
07-Apr-2010 |
Adrián Riesco <ariesco@fdi.ucm.es> |
Subsign fixed
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13296 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 |
51c15129e8118fed5c33c334f8df82619ce98e7d |
|
04-Apr-2010 |
Adrián Riesco <ariesco@fdi.ucm.es> |
New Maude institution/comorphism
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13288 cec4b9c1-7d33-0410-9eda-942365e851bb |
a0d0f20cd1636b14a0382c4820e99856fd9ed6a1 |
|
16-Dec-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
added missing dot after subsort
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12933 cec4b9c1-7d33-0410-9eda-942365e851bb |
e368ae35ce99348be3de4181acd7a6f4ce03fe0c |
|
19-Nov-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed warning and refactored
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12846 cec4b9c1-7d33-0410-9eda-942365e851bb |
f105b95766712d9747f3948807bb385da26192c8 |
|
17-Nov-2009 |
Adrián Riesco <ariesco@fdi.ucm.es> |
Bug fixed when introducing Maude specifications in CASL specifications
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12838 cec4b9c1-7d33-0410-9eda-942365e851bb |
077bc312aa50a2131cc98095f5a0cb511de35dd4 |
|
21-Oct-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
is_sign_of is unused
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12681 cec4b9c1-7d33-0410-9eda-942365e851bb |
3c8734f5b76d06ed1eae114c67e77066acb6a40b |
|
31-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
More documentation for Sign.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12362 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 |
b9840e4ee6fda6e42fa4ee9f337482ccc4839a39 |
|
27-Aug-2009 |
Adrián Riesco <ariesco@fdi.ucm.es> |
Associativity bugs fixed in the comorphism.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12323 cec4b9c1-7d33-0410-9eda-942365e851bb |
e9feb11ba01fcbad28d43ac7dccba3da386d594a |
|
27-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Don't print sentences as part of Signatures.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12312 cec4b9c1-7d33-0410-9eda-942365e851bb |
7a4245ea4f389023ec09b0d66c498afa5cd15df0 |
|
25-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Use vcat instead of vsep.
We don't need the spurious newlines.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12289 cec4b9c1-7d33-0410-9eda-942365e851bb |
bf26c2bd249cefbdc51b12cccb320612e93e21f4 |
|
25-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Fix pretty printing of sentences.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12285 cec4b9c1-7d33-0410-9eda-942365e851bb |
3099351afd2aa5ad167b85bf8c23c157ec180a09 |
|
24-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Fix initial operator insertion.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12277 cec4b9c1-7d33-0410-9eda-942365e851bb |
51ef113b2ff1b5d60747eaaa18e46d7e6ec1af0e |
|
24-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Make sure Sentence.fromSpec only includes Rules.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12275 cec4b9c1-7d33-0410-9eda-942365e851bb |
76473990bcb6e2d5853a7706cb7c45fe41de11b5 |
|
24-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Fix insertOpDecl and mapOpDecl.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12267 cec4b9c1-7d33-0410-9eda-942365e851bb |
e37cb7bdd94eb318ed94100be0083bf96f5ad58d |
|
24-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
More notes.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12263 cec4b9c1-7d33-0410-9eda-942365e851bb |
bc4f5f22410826d8921b7309becec4d1cfc5a775 |
|
24-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Formatting...
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12255 cec4b9c1-7d33-0410-9eda-942365e851bb |
b04412a539fafdb454c25ba2861d9a1eed28e1e6 |
|
24-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Get rid of horrible sequential "variables".
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12251 cec4b9c1-7d33-0410-9eda-942365e851bb |
6bc8bbd77179eca148b4b9d43c76bdbb526c403f |
|
24-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Even moar documentation.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12249 cec4b9c1-7d33-0410-9eda-942365e851bb |
b90f8b4abff5d98617b5dc787ecd87559052f2f6 |
|
22-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Update doc comments.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12238 cec4b9c1-7d33-0410-9eda-942365e851bb |
6e3a063cb10f5300cdda74c0312e4e98d5629f16 |
|
22-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Fix mergeAttrs. It should behave correctly now.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12237 cec4b9c1-7d33-0410-9eda-942365e851bb |
7bdc2b67efb933e5797f8afb2454b7643b6dc091 |
|
22-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Change renameOp to handle changing Attrs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12236 cec4b9c1-7d33-0410-9eda-942365e851bb |
973f776b7e2729a4d87a4f2a657d037129b6d700 |
|
22-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Jumble the OpDecl type around.
Implement Attr changes while renaming. Mostly.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12235 cec4b9c1-7d33-0410-9eda-942365e851bb |
b56b858e578321cbc79acfa292669f149ab1bab7 |
|
22-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
When printing signatures, print only the transitive reduction of the subsort relation.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12234 cec4b9c1-7d33-0410-9eda-942365e851bb |
b22baa863f0a8bd4ac32a3e5fa7b476fc5aa78fd |
|
21-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
"Fix" Sign.mapOps to rename whole equivalence classes of ops.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12228 cec4b9c1-7d33-0410-9eda-942365e851bb |
296ee388da571ac661d6a3f9cdcb289c3571ffb4 |
|
21-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
More doc comments.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12223 cec4b9c1-7d33-0410-9eda-942365e851bb |
b017dda69164c4d74bab6c677b6a3f1b4fb68db8 |
|
21-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Formatting.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12222 cec4b9c1-7d33-0410-9eda-942365e851bb |
1af9a9140b6e92491c4b0b49a0572bab5cd2ef9f |
|
21-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Simplify Sign.isLegal
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12221 cec4b9c1-7d33-0410-9eda-942365e851bb |
2c27b238f666dad315f5a25f8c0c4ef715a19703 |
|
21-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
More stuff TODO.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12216 cec4b9c1-7d33-0410-9eda-942365e851bb |
0e9a56585859610db38a1f900d87ee8680ced4d0 |
|
21-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Export reenabled functions.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12214 cec4b9c1-7d33-0410-9eda-942365e851bb |
a5ce29343ae62e86833e6ee09e9789a7143f6909 |
|
21-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Add TODO for the broken Sign.insertOpDecl.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12213 cec4b9c1-7d33-0410-9eda-942365e851bb |
48cb672713e44fe5e1e3a36f4ccef9adefcd16ee |
|
21-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Generate the transitive closure when contructing a Signature.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12212 cec4b9c1-7d33-0410-9eda-942365e851bb |
89fd2300edb95ea79d46a96da321b79996095c11 |
|
21-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Reenable renameOp
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12211 cec4b9c1-7d33-0410-9eda-942365e851bb |
50f20e59ae4e2eade016bce32b6aa609a7320f92 |
|
21-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Fix Sign.mapSorts, reenable Sign.renameSort.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12209 cec4b9c1-7d33-0410-9eda-942365e851bb |
20ad5f7fbf7a25190c90d6156b889c4809783354 |
|
21-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Reenable `renameLabel'
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12206 cec4b9c1-7d33-0410-9eda-942365e851bb |
7fe9eabf40f3d4680bc6756530fc194e1de5f9da |
|
21-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Adapt the usual `apply' function pattern to our little type system...
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12205 cec4b9c1-7d33-0410-9eda-942365e851bb |
af800116e86bc5f3273a0976588b9575fb6e9616 |
|
21-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Refresh comments
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12203 cec4b9c1-7d33-0410-9eda-942365e851bb |
2f6481f1527d705d769b74357c19ac085aaeefcb |
|
21-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Change Sign to partition Operators into equivalence classes by kind.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12202 cec4b9c1-7d33-0410-9eda-942365e851bb |
5c2a28b78f25ec4136e1ad8e4da53802b4a649d3 |
|
21-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Drop unused code.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12199 cec4b9c1-7d33-0410-9eda-942365e851bb |
83b80d9c465649188db1a116d0129907648a7ddd |
|
21-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Change order in which Statements are parsed while contructing Signs.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12198 cec4b9c1-7d33-0410-9eda-942365e851bb |
8d9ff304e4ec23e883f4ed22b95e054d80c7fd70 |
|
20-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Switch Signs to use Symbols
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12180 cec4b9c1-7d33-0410-9eda-942365e851bb |
4660ed0d3a1ece016a80b570f7942145d44b1cfd |
|
17-Aug-2009 |
Adrián Riesco <ariesco@fdi.ucm.es> |
Complete Maude syntax, all modules in the prelude added.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12155 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 |
422f43a546b80525e427c1356119621f35f67849 |
|
17-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Simplify Maude.Sign a bit.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12153 cec4b9c1-7d33-0410-9eda-942365e851bb |
d414874e167a775b151450f9fd340a6015d9bbe7 |
|
16-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Clean up imports.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12152 cec4b9c1-7d33-0410-9eda-942365e851bb |
93da827a79b9d7122ed9bb5636a62bae43565b21 |
|
14-Aug-2009 |
Adrián Riesco <ariesco@fdi.ucm.es> |
New signature, parser integrated, new datatype (each term has its type)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12137 cec4b9c1-7d33-0410-9eda-942365e851bb |
b9a080195bb207c5a3d398bface591e04e8ac131 |
|
11-Aug-2009 |
Adrián Riesco <ariesco@fdi.ucm.es> |
Improving morphisms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12080 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 |
f78126c371b40713bdf7268be1e871198bb6aecf |
|
05-Aug-2009 |
Adrián Riesco <ariesco@fdi.ucm.es> |
New version of Maude parser
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12030 cec4b9c1-7d33-0410-9eda-942365e851bb |
1d48923f0ec0898cfc40df24690af805fa4369ed |
|
28-Jul-2009 |
Adrián Riesco <ariesco@fdi.ucm.es> |
Drawing the DG for Maude, first attempts
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12008 cec4b9c1-7d33-0410-9eda-942365e851bb |
010997ddd12186698c1ebdbcddb63a670552b3c2 |
|
22-Jul-2009 |
Adrián Riesco <ariesco@fdi.ucm.es> |
New datatypes, basic analysis of modules without relations, another function imported from AnalysisStructured
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11982 cec4b9c1-7d33-0410-9eda-942365e851bb |
6b1043a3d788fe7711fba47cba81779616a1f0e8 |
|
16-Jul-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Use the Maude.Util module (function)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11970 cec4b9c1-7d33-0410-9eda-942365e851bb |
75aa093b7e610983db6e676c33671bdde0d0274c |
|
16-Jul-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Repurpose the Meta module
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11968 cec4b9c1-7d33-0410-9eda-942365e851bb |
c16df5c92199d028209a457ef30eb1a92fb65297 |
|
16-Jul-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Rearrange
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11966 cec4b9c1-7d33-0410-9eda-942365e851bb |
283e60a799a179f0358a00a675d2b10011cdf78d |
|
16-Jul-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Refactor Sign.isSubsign
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11964 cec4b9c1-7d33-0410-9eda-942365e851bb |
1cb56ac297dfa67e833014ef76259a1d31dfc095 |
|
16-Jul-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Refactor Sign.intersection
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11963 cec4b9c1-7d33-0410-9eda-942365e851bb |
38a7e454d7e2d13b8a7c8c425bd64c81dae57e1f |
|
16-Jul-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Refactor Sign.union
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11962 cec4b9c1-7d33-0410-9eda-942365e851bb |
afebe7d6cfbd23435e40e6535a39c9ba2c47ffc1 |
|
15-Jul-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Restore old Sentence functionality to Sign.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11938 cec4b9c1-7d33-0410-9eda-942365e851bb |
4fcd4afbf4e16b3d845872f1a99feab9ce762d17 |
|
15-Jul-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Remove unused functions.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11937 cec4b9c1-7d33-0410-9eda-942365e851bb |
c7850b02a39e795a45de79d4b788001b0bf80b44 |
|
15-Jul-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Simplify Sign.symbols.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11936 cec4b9c1-7d33-0410-9eda-942365e851bb |
41692fd342eb2affe4c4641917a87bd17576da56 |
|
15-Jul-2009 |
Adrián Riesco <ariesco@fdi.ucm.es> |
Basic analysis for Maude code enclosed in curly braces
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11922 cec4b9c1-7d33-0410-9eda-942365e851bb |
6c3511acd193d307c087c7a10cc516d43affca36 |
|
14-Jul-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Use our HasStuff functions.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11911 cec4b9c1-7d33-0410-9eda-942365e851bb |
70bd0fbf318b8bb489b20fe8197469afc55dddb5 |
|
14-Jul-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Restore HasSorts and HasLabels instances of Sign
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11910 cec4b9c1-7d33-0410-9eda-942365e851bb |
f259a593867e3519d1b3dffedd27421d5c8b66bd |
|
14-Jul-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Define a few handy type aliases.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11909 cec4b9c1-7d33-0410-9eda-942365e851bb |
b92e4eba198fcbffab302375b6c3527a8492bc66 |
|
10-Jul-2009 |
Adrián Riesco <ariesco@fdi.ucm.es> |
re-added logic Maude
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11894 cec4b9c1-7d33-0410-9eda-942365e851bb |
29456301f2a851666ac40fe248e1858e77f42047 |
|
09-Jul-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Switch Sign to use Symbol.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11888 cec4b9c1-7d33-0410-9eda-942365e851bb |
3f9cd04710597ee787032a371f33861640ab2abe |
|
08-Jul-2009 |
Adrián Riesco <ariesco@fdi.ucm.es> |
First steps to implement the basic analysis of Maude specifications
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11882 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 |
b95d63b3cc5315c235999388ad8afe1463026be4 |
|
20-Apr-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Follow hlint suggestions.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11729 cec4b9c1-7d33-0410-9eda-942365e851bb |
077c83acc8f9c0955751fc9e397d6ecd2bca269b |
|
20-Apr-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Add a dummy implementation for `simplifySentence` to Signature.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11724 cec4b9c1-7d33-0410-9eda-942365e851bb |
4408401a661182effb319e6aec02fb261970e04f |
|
20-Apr-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Add `Ord` instance for Signatures and Morphisms.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11722 cec4b9c1-7d33-0410-9eda-942365e851bb |
902bfaac7e88afebb6684fe1f2414ae2efbc7edf |
|
01-Aug-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed trailing whitespace (or add missin final newline)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10423 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 |