fefdf8f5a314d2999934b4ad40035ac062ebcaa1 |
|
07-Dec-2017 |
Till Mossakowski <till@iws.cs.ovgu.de> |
fixed #1800 |
602041e384342ea908c976a298e8b47774d3500c |
|
14-Oct-2017 |
Till Mossakowski <till@iws.cs.ovgu.de> |
improved descriptions of logics |
cdcf5d3f1e79d8798d77efa29e6193af94ea0604 |
|
14-Oct-2017 |
Till Mossakowski <till@iws.cs.ovgu.de> |
adjusted stabilities |
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 |
8c7aa750542dcadb94b971be712564a9a8f1d189 |
|
10-Apr-2014 |
Christian Maeder <Christian.Maeder@dfki.de> |
renamed join to avoid future clash with prelude name
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18572 cec4b9c1-7d33-0410-9eda-942365e851bb |
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 |
3998bf8fd1b236d1a936b4a01688c3d9e1d49e05 |
|
09-Oct-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
adjusted check for spechub/Hets@feeab95fdf7ec92bcce607c104d9dc98e0e6ea90
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17497 cec4b9c1-7d33-0410-9eda-942365e851bb |
e16b3696b2c173aac14200321868ed81b8f7dc69 |
|
29-Aug-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
added Monoid instances to basic specs of all logics
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17269 cec4b9c1-7d33-0410-9eda-942365e851bb |
34b55522ba6fe2601e4ee37a9ba1fc4b1a0bf50b |
|
23-Jun-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
defined mostSymsOf for logic HasCASL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15276 cec4b9c1-7d33-0410-9eda-942365e851bb |
7d228ff8072e039be1f7b9630fee712733a80334 |
|
22-Jun-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
return a sorted list of symbol sets
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15245 cec4b9c1-7d33-0410-9eda-942365e851bb |
d4146229cf85928342dfd25ec8b579a7feb0d381 |
|
03-Jun-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored symbol stuff
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15058 cec4b9c1-7d33-0410-9eda-942365e851bb |
a8f87ac3a544ad741961b3ae494c729877203ebe |
|
27-May-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added signature-diff HasCASL instance
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15034 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 |
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 |
8a77240a809197c92c0736c431b4b88947a7bac1 |
|
02-Jun-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
added some LANGUAGE pragmas for haddock
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13490 cec4b9c1-7d33-0410-9eda-942365e851bb |
bdf2e01977470bedcb4425e2dadabc9e9f6ba149 |
|
16-Apr-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
replaced the result type of sym_of in Logic by List of set of symbol. See also revision 13301 for the previous change.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13348 cec4b9c1-7d33-0410-9eda-942365e851bb |
eaf02872307b4578250fbeb9dc371cac177b0924 |
|
08-Apr-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
replaced the result type of sym_of in Logic by List of symbol. Repaired all implementations of this interface function.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13301 cec4b9c1-7d33-0410-9eda-942365e851bb |
43a582fe35884e2c6f455e7bfa34f0f4ef8dfe2e |
|
11-Nov-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
implemented HasCASL's toItem method for .pp.xml output
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12823 cec4b9c1-7d33-0410-9eda-942365e851bb |
91b3147021cbeebb0590f4a577acba73142785c5 |
|
20-Aug-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
global annotations need to be passed through
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12197 cec4b9c1-7d33-0410-9eda-942365e851bb |
8b85aba30a52ff91d23588c85ff9a0bbbaadc926 |
|
11-Aug-2009 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
implemented a dummy interface for toItem
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12087 cec4b9c1-7d33-0410-9eda-942365e851bb |
a23e572c8f957cc051a1b0831abd6fe9380d45c7 |
|
03-Mar-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
allow unchecked composition of morphisms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11466 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 |
4ef5e33657aae95850b7e6941f67ac1fb73cd13f |
|
16-Oct-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
made sublogic name a single string
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10840 cec4b9c1-7d33-0410-9eda-942365e851bb |
70dd17fd1ceb698d8bac709c56ceb60efe95e264 |
|
03-Sep-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed multiline strings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10642 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 |
2faad0c99d17a6ef53a464864caccbb20cf48409 |
|
20-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
added isInclusion test
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9819 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 |
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 |
726ea3b8b7273280c440207a31f9ccc422cdd711 |
|
26-Sep-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
made a default error definition for the unused is_of_sign method
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8919 cec4b9c1-7d33-0410-9eda-942365e851bb |
1d581e55c7ec020a445684310394c3a5fc056e96 |
|
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@8690 cec4b9c1-7d33-0410-9eda-942365e851bb |
e13ee09381f136f5eadaabdb9699773c0052cf3d |
|
20-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
fully quantified formulas and improved printing of theories
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8647 cec4b9c1-7d33-0410-9eda-942365e851bb |
6d23c6f8a099ab258a28e44a721ac32cb0877e9e |
|
13-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added sublogic description
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8364 cec4b9c1-7d33-0410-9eda-942365e851bb |
3f69b6948966979163bdfe8331c38833d5d90ecd |
|
05-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed my maintainer email
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8261 cec4b9c1-7d33-0410-9eda-942365e851bb |
5e874259af7e1161240c70c3d2ed33e86c7da167 |
|
04-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added Description, removed warnings, made join round up
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8233 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 |
17388303189780ad2e579c56547bf1a849d3666b |
|
02-Feb-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved addBuiltins to the top for printing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7370 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 |
296c6cdef9162217e9d9d1c17790dc71335b8d72 |
|
09-Jun-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed meet operation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6431 cec4b9c1-7d33-0410-9eda-942365e851bb |
7c2d602a73afe304ac0ca225ecff42b2ae8bdab3 |
|
13-Apr-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
cleaned up HasCASL's sublogics
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6201 cec4b9c1-7d33-0410-9eda-942365e851bb |
5a13581acc5a76d392c1dec01657bb3efd4dcf2d |
|
07-Apr-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
switched to Common.Doc.Pretty
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6181 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 |
b65e16b9e5652ff341ab0f49be5da51e2c0e10a5 |
|
18-Oct-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
introduced stabilities of logics
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5200 cec4b9c1-7d33-0410-9eda-942365e851bb |
af47051acb16b97b6bc0ff7295cae44eed87d63e |
|
14-Sep-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
simplified unique vars and ops
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5015 cec4b9c1-7d33-0410-9eda-942365e851bb |
67ebe351bf4578fa09c53dae43ba728e2650f652 |
|
18-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed warnings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4704 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 |
8b9fda012e5ee53b7b2320c0638896a0ff6e99f3 |
|
03-Nov-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
cleaned up Common.Result and moved class Merge
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3373 cec4b9c1-7d33-0410-9eda-942365e851bb |
50895dae7d9849df2dc922651d93bbc6aa5529c1 |
|
20-Oct-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed unused import
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3277 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 |
31c49f2fa23d4ac089f35145d80a224deb6ea7e4 |
|
28-Aug-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added flag UNI_PACKAGE to allow removal of UniForM workbench
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3112 cec4b9c1-7d33-0410-9eda-942365e851bb |
4fb19f237193a3bd6778f8aee3b6dd8da5856665 |
|
22-Jul-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed (raw) symbols and merging, unification without alias expansion, adapted morphisms and symbol map analysis
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2968 cec4b9c1-7d33-0410-9eda-942365e851bb |
3e2c4de10a0eb284938b5d5307d1c1fc2f799456 |
|
04-Jun-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Sublogics corrected/todo
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2816 cec4b9c1-7d33-0410-9eda-942365e851bb |
08dd10405651982dea73f493b5dfd54f071b26d7 |
|
01-Jun-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
move unfortunate use of Dynamics in Sublogic to a use of Data.Dynamic in Logic_HasCASL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2795 cec4b9c1-7d33-0410-9eda-942365e851bb |
33f182295dff677471ceaba5d565ce38f5a34f34 |
|
31-May-2004 |
Sonja Gröning <sonja@informatik.uni-bremen.de> |
Added functions in instance logic concerning sublogics
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2761 cec4b9c1-7d33-0410-9eda-942365e851bb |
05ca76b03b6d16bcfb3e7654c31e41a220e85663 |
|
29-May-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Added descriptions to logics
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2754 cec4b9c1-7d33-0410-9eda-942365e851bb |
e7ce154edb906685b3fa7f6c0a764e18a4658068 |
|
18-May-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
extended HasCASL Sentences
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2645 cec4b9c1-7d33-0410-9eda-942365e851bb |
59fa9b1349ae1e001d996da732c4ac805c2938e2 |
|
06-May-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
adaptions for ghc-6.3: mkAppTy -> mkTyConApp
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2556 cec4b9c1-7d33-0410-9eda-942365e851bb |
ee9eddfa6953868fd6fbaff0d9ff68675a13675a |
|
27-Apr-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved code
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2492 cec4b9c1-7d33-0410-9eda-942365e851bb |
7cee561116562e8ba231fd45d6066c0a97abf243 |
|
14-Apr-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
added is_subsig and min_sublogic implementations
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2396 cec4b9c1-7d33-0410-9eda-942365e851bb |
18401a720312d3253374719e5b0c96ab0b9b9eb8 |
|
13-Apr-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
added mapping of sentences
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2390 cec4b9c1-7d33-0410-9eda-942365e851bb |
dea4c92f0c061d589c542d0640a18dab36dfbb46 |
|
29-Mar-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
restructed symbol stuff
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2336 cec4b9c1-7d33-0410-9eda-942365e851bb |
7d09621f989f5e6dfbf603b36b2fccbacf639a3c |
|
12-Mar-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Comorphism from CASL to Isabelle
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2260 cec4b9c1-7d33-0410-9eda-942365e851bb |
096b050a106eefe1093eb7659e4924b1d7850aa4 |
|
04-Mar-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
treated simple subtypes of data types
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2246 cec4b9c1-7d33-0410-9eda-942365e851bb |
3f6b3834ba54649fc02cae002bac0258b6b5dcba |
|
19-Feb-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
separated text and latex printing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2196 cec4b9c1-7d33-0410-9eda-942365e851bb |
4b338e9d8a4e0bffb4d1bc6fb5fa371a8a0dec1a |
|
09-Feb-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Moved symbol stuff to class Sentences
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2119 cec4b9c1-7d33-0410-9eda-942365e851bb |
09eef8548cd62d787cf3a6535f9eae10592eec89 |
|
30-Jan-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
avoided merge instance for Env
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2042 cec4b9c1-7d33-0410-9eda-942365e851bb |
89054b2b95a3f92e78324dc852f3d34704e2ca49 |
|
30-Jan-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
restructured
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2039 cec4b9c1-7d33-0410-9eda-942365e851bb |
7221c71b38c871ce66eee4537cb681d468308dfb |
|
27-Jan-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
simple data types go through now
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2013 cec4b9c1-7d33-0410-9eda-942365e851bb |
dedabc954aa15f6ad0764472a9434dc6dafe3db2 |
|
26-Jan-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
extended HasCASL morphisms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2009 cec4b9c1-7d33-0410-9eda-942365e851bb |
997c56f3bc74a703043010978e5013fdb074d659 |
|
13-Jan-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
added symbol stuff
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1956 cec4b9c1-7d33-0410-9eda-942365e851bb |
bfa9e03532243ceb487f0384d0f6a447f1ce7670 |
|
08-Oct-2003 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Extended just-struct flag also to signature morphism analysis.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1748 cec4b9c1-7d33-0410-9eda-942365e851bb |
75a6279dbae159d018ef812185416cf6df386c10 |
|
22-Aug-2003 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Updated licence statements
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1673 cec4b9c1-7d33-0410-9eda-942365e851bb |
6819a4107903c02fc887008b61ab57fa5344723d |
|
31-Jul-2003 |
Felix Reckers <felix@informatik.uni-bremen.de> |
made import for ATC instances
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1647 cec4b9c1-7d33-0410-9eda-942365e851bb |
62599a910de0701b0f9461e534a43d5900131c55 |
|
22-Jul-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
derived some Typeable instances
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1587 cec4b9c1-7d33-0410-9eda-942365e851bb |
e8a2ca3a7b3e9a19ef03b6b1c0b5d03dbad6463c |
|
21-Jul-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
cleaned up
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1580 cec4b9c1-7d33-0410-9eda-942365e851bb |
0b7c8279c741857d1681160f8b4144a9430ffa7f |
|
21-Jul-2003 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Added inital version of commorphism CASL2HasCASL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1575 cec4b9c1-7d33-0410-9eda-942365e851bb |
fd896e2068ad7e50aed66ac18c3720ea7ff2619f |
|
21-Jul-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
added symbol stuff
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1574 cec4b9c1-7d33-0410-9eda-942365e851bb |
abc83cfffbff4135929f9eb44e5abbc7f86b155a |
|
21-Jul-2003 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
diags reversed
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1571 cec4b9c1-7d33-0410-9eda-942365e851bb |
3601c89fba96cc4f6eee88b781b14df48dcbb34a |
|
18-Jul-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
used more info for basicAnalysis
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1562 cec4b9c1-7d33-0410-9eda-942365e851bb |
23d1b13df690c484c4bf7a2202e9ed6867ba9c7f |
|
24-Jun-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced Formula with Term
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1520 cec4b9c1-7d33-0410-9eda-942365e851bb |
c1b444094def2286653f8a420f97c75b080593e5 |
|
05-Jun-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
passed global annotations to anaBasicSpec
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1475 cec4b9c1-7d33-0410-9eda-942365e851bb |
efb6fe325ec165f2a0f474d725fe1b6cc6788cd9 |
|
19-May-2003 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
replaced show with showPretty for displaying signatures with hetdg.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1418 cec4b9c1-7d33-0410-9eda-942365e851bb |
e379124f467e5d0ef7d3c0ca238bff0521f70831 |
|
16-May-2003 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Static analysis now returns new AS tree (with analysed axioms).
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1397 cec4b9c1-7d33-0410-9eda-942365e851bb |
01aafb6a9520f05df5ff467b591ecb5474dcfc86 |
|
15-May-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
new static analysis for CASL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1395 cec4b9c1-7d33-0410-9eda-942365e851bb |
b589f87e71865152c9b77d928897af345bf7b268 |
|
15-Apr-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
imported new CASL.SymbolAnalysis
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1262 cec4b9c1-7d33-0410-9eda-942365e851bb |
a5ea0bff674c31c99f9265cca40b373ca78f9f88 |
|
14-Apr-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed import to Common.Lib.State
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1245 cec4b9c1-7d33-0410-9eda-942365e851bb |
686c1a3e19c6c174c79037b40cbc1c0aaaf81c45 |
|
07-Apr-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
dummy implementation for cogenerated
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1210 cec4b9c1-7d33-0410-9eda-942365e851bb |
718ae1eb9efee8e14bd8ef2f1e13c9a53eac1b04 |
|
31-Mar-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
class Mergeable to merge something into a result
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1169 cec4b9c1-7d33-0410-9eda-942365e851bb |
4940527b8d354a925d9bcde940956ea0fe4789e8 |
|
07-Mar-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
added symbol stuff from CASL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1080 cec4b9c1-7d33-0410-9eda-942365e851bb |
967e5f3c25249c779575864692935627004d3f9e |
|
07-Mar-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
elaborated (still trivial) morphisms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1078 cec4b9c1-7d33-0410-9eda-942365e851bb |
ef391a2936c4277e6d71f9887b834dfaaaf2291b |
|
06-Mar-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
added dummy implementations for hetdg
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1074 cec4b9c1-7d33-0410-9eda-942365e851bb |
68e04832ba19acfba2e2d004ae635fb0345165d5 |
|
06-Mar-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
inserted missing language argument
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1073 cec4b9c1-7d33-0410-9eda-942365e851bb |
462ec4b2fa3e0e788eb60dcb4aebc518298f342c |
|
06-Mar-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
introduced merging of envs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1072 cec4b9c1-7d33-0410-9eda-942365e851bb |
b49276c9f50038e0bd499ad49f7bd6444566a834 |
|
05-Mar-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
simplified targets
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1060 cec4b9c1-7d33-0410-9eda-942365e851bb |
e8ffec0fa3d3061061bdc16e44247b9cf96b050f |
|
24-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
qualified module names
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@977 cec4b9c1-7d33-0410-9eda-942365e851bb |
30203b61afb4393c8e459470b3a16d1fe26acc7f |
|
21-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
use Common.Lib
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@946 cec4b9c1-7d33-0410-9eda-942365e851bb |
9b51fc5528c4d34260d97763fb59f427c3c7a63a |
|
21-Feb-2003 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Added Typeable in order to debug heterogeneous code
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@925 cec4b9c1-7d33-0410-9eda-942365e851bb |
cdc641c6f9c3d30c79f113a63e14feb7c964f0d5 |
|
20-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
adapted Logic HasCASL and Haskell
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@922 cec4b9c1-7d33-0410-9eda-942365e851bb |
aab9c701026f1a0fe31ef4dd374a5dcb17b551a7 |
|
18-Feb-2003 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
proof_tree added to type class Logic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@894 cec4b9c1-7d33-0410-9eda-942365e851bb |
79e54cf5929d47b8969d6f82ae68807c4949e6cc |
|
07-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
renamed emtyState to emptyAnnos and fixed parts of Formula for SymbolParser
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@850 cec4b9c1-7d33-0410-9eda-942365e851bb |
b8a232442cc858a3ad0f948d643b7d974f678553 |
|
06-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
introduce user state for annotations
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@844 cec4b9c1-7d33-0410-9eda-942365e851bb |
1711f9cf0aa5b0564a0b5aa5e331e51e4c1b1a4c |
|
29-Jan-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
Logic instance for HasCASL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@797 cec4b9c1-7d33-0410-9eda-942365e851bb |