51a666669b5ab3963613f3e331633b7913833027 |
|
07-Dec-2017 |
mscodescu <mscodescu@gmail.com> |
symbol kind for CoCASL |
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 |
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 |
81f49ee02aaa3bc870401f8883bf52742eb3ea7a |
|
20-May-2013 |
Jonathan von Schroeder <sternkinder@gmail.com> |
Merge branch 'hybrid'
Conflicts:
CASL/Logic_CASL.hs
Comorphisms/LogicGraph.hs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17960 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 |
1dfd1687e9ee6a45e2cb5268a701ead79c1c1f79 |
|
09-Oct-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored sublogics of ExtModal
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17502 cec4b9c1-7d33-0410-9eda-942365e851bb |
71bf376677866b4735ae3c13ee08a863d25c1188 |
|
08-Oct-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
structured sublogics into dimensions and reduced sublogic graph
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17492 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 |
d6c6b2543c509ec7f6213e4cba675d96304a7fd6 |
|
24-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
enhanced CASL's and CspCASL's static symbol analysis wrt A_type
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14794 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 |
7857a35e3af533dfbd0f0e18638ebd211e6358a0 |
|
21-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
extended morphism union
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14757 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 |
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 |
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 |
fbf1cdad9a9775bd7332e85f01b6a307d7dbb1cf |
|
29-Jan-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored and fixed VSE symbol map analysis #659
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11335 cec4b9c1-7d33-0410-9eda-942365e851bb |
9eb39c7a0e7a1ddad1eec1d23c6d4e3a99c54023 |
|
29-Oct-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
better support for morphism extensions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10910 cec4b9c1-7d33-0410-9eda-942365e851bb |
86b1d0c80abdd4ca36491cf7025b718a5fea5080 |
|
14-Oct-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed CASL morphism composition
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10824 cec4b9c1-7d33-0410-9eda-942365e851bb |
dd5e505efb3641bf74ade0ba3adabf4ceaf94e60 |
|
01-Aug-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed trailing blank lines
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10427 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 |
4aa35aadcb28f8a962096efc70d3bdb58ab7d9fa |
|
25-Jun-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
added intersection and refactored union of signatures
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10202 cec4b9c1-7d33-0410-9eda-942365e851bb |
e58ed9360500f97f6370bebf69f0c2bfee34782c |
|
19-Mar-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
compute the inclusion tag for CASL morphisms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9810 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 |
27b37f8e6b165f7abb653a54b45ffcdb81cec561 |
|
19-Feb-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
perform inclusion check and compute difference if violated
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9582 cec4b9c1-7d33-0410-9eda-942365e851bb |
df6f4a9e6b3d0542ecc181fbc1bcec2affca1d30 |
|
19-Feb-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
recovered diff code for inducedFromTo
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9579 cec4b9c1-7d33-0410-9eda-942365e851bb |
03136b84a0c70d877e227444f0875e209506b9e4 |
|
29-Oct-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added symbol set to signatures, simplified morphisms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9100 cec4b9c1-7d33-0410-9eda-942365e851bb |
549e39da3e3234118ed35cbe11de91ee3fc62934 |
|
27-Sep-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
implemented missing instances
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8936 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 |
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 |
749eb18af1be32f292262fe6f10ce7c252b1f407 |
|
22-Feb-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
moved todo list to Trac
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7506 cec4b9c1-7d33-0410-9eda-942365e851bb |
179581802dda2f071129f542a2c10e28b35c45b9 |
|
17-Jul-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
computed minimal sublogics for CoCASL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6674 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 |
86d6f1795b6f7fc170de133766ac7a68a5a6b7ab |
|
05-Jul-2006 |
Jian Chun Wang <wjch868@informatik.uni-bremen.de> |
removed old PrettyPrint stuff
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6594 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 |
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 |
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 |
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 |
b4fbc96e05117839ca409f5f20f97b3ac872d1ed |
|
13-Jun-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added maintainers
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4412 cec4b9c1-7d33-0410-9eda-942365e851bb |
fe216849cef7b87c6800aad21178d1e686575d8f |
|
16-Feb-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
adapted to mixfix resolution
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3810 cec4b9c1-7d33-0410-9eda-942365e851bb |
f7d2e793728bbb7fd185e027eb9dfd7b9dd11c21 |
|
15-Feb-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed duplicate code
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3801 cec4b9c1-7d33-0410-9eda-942365e851bb |
a255351561838b3743d03c1629d335cfb8b83804 |
|
06-Sep-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
added separate mixfix resolution for formula extensions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3135 cec4b9c1-7d33-0410-9eda-942365e851bb |
02a2037f53b925617df45eb62ca743d777672265 |
|
03-Sep-2004 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
Added a check for completely analysed formulas in the AST of CASL/Basic_spec
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3129 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 |
0e2ae85e2453466d03c1fc5884a3d693235bb9d9 |
|
09-Aug-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed static analysis of extensions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3030 cec4b9c1-7d33-0410-9eda-942365e851bb |
88c66e48620750c42b94db9feb01b42ae23dba97 |
|
01-Jun-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
CoCASL added
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2764 cec4b9c1-7d33-0410-9eda-942365e851bb |
ab419eb9bb19c32515fb35793f1192a86c74712e |
|
31-May-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
CoCASL modules, adapted from ModalCASL modules
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2763 cec4b9c1-7d33-0410-9eda-942365e851bb |