115e2751ba5bfd90a1a1954bd52d324eb9e6fca8 |
|
07-Dec-2017 |
mscodescu <mscodescu@gmail.com> |
symbol kind for Fpl, same as in CASL |
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 |
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 |
29d8536ce8b1f05e6efd0b7d40e5c15cec3943c7 |
|
05-Jul-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
improved signature printing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17012 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 |
d9be582b00d420e2fe0737fcb07c9aa3d235a774 |
|
06-Jun-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added signature difference for Fpl
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15064 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 |
4bbd808612c2580ae6e0495a155997a6bb47ecf3 |
|
22-Feb-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added constructors and printing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14604 cec4b9c1-7d33-0410-9eda-942365e851bb |
19defe35cc864caeb98dd4ea1d429b1f989ecdff |
|
22-Feb-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
allow to parse CASL as FPL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14603 cec4b9c1-7d33-0410-9eda-942365e851bb |
329c739bc05b8ce8d54f81071d0826ff771d1f78 |
|
18-Feb-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added morphism mapping to FPL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14590 cec4b9c1-7d33-0410-9eda-942365e851bb |
a208edf329751a734895216ad5b0e334a9ac6a44 |
|
18-Feb-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added simplification for FPL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14588 cec4b9c1-7d33-0410-9eda-942365e851bb |
c04cc42aa672aa49b45005e6eed77cc80e0d6ae0 |
|
16-Feb-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
started static FPL ana
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14549 cec4b9c1-7d33-0410-9eda-942365e851bb |
a38f3d84e592184830fa308c5dab3f7c71e4464f |
|
15-Feb-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
coded FPL parsing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14544 cec4b9c1-7d33-0410-9eda-942365e851bb |
ac4396c9f44a76c5c97925954ee49b4a91d8dd88 |
|
15-Feb-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
implemented FPL term parser
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14542 cec4b9c1-7d33-0410-9eda-942365e851bb |
4ac9fad8454f66963e8985a41e061653147d4d60 |
|
15-Feb-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
adjusted CASL parsing for FPL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14540 cec4b9c1-7d33-0410-9eda-942365e851bb |
bff4b3f816be4c1e1d8ded76f1d5af786839e1a9 |
|
14-Feb-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
started CASL extension FPL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14533 cec4b9c1-7d33-0410-9eda-942365e851bb |