d8bc05ccb67185d1253da7b8e92293767e0a4623 |
|
07-Dec-2017 |
mscodescu <mscodescu@gmail.com> |
symbol kind for ExtModal, 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 |
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 |
3e0ed56e973aeef92177e50f7272cafa7eb96fbe |
|
02-Oct-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
speedup overload resolution during simplification
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17468 cec4b9c1-7d33-0410-9eda-942365e851bb |
a641f28dd33a3b94a9f28f9515ec50ea1b879fe4 |
|
01-Oct-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected spelling
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17455 cec4b9c1-7d33-0410-9eda-942365e851bb |
246cef3345515dc289e03fda4b04b1500db3ff6a |
|
01-Oct-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
use a reusable map function
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17454 cec4b9c1-7d33-0410-9eda-942365e851bb |
9eae7e6b553959f3ba82642528b5460b67396510 |
|
17-Sep-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
completed sublogic tests
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17343 cec4b9c1-7d33-0410-9eda-942365e851bb |
d20b265a2765e843986ceed6bf0055582981bf0f |
|
10-Sep-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
use Id for nominals in signature
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17316 cec4b9c1-7d33-0410-9eda-942365e851bb |
7cfd47f6dc4147e9a3d21d72f68c6325552092f0 |
|
06-Sep-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
replace nominal predicates by constants
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17305 cec4b9c1-7d33-0410-9eda-942365e851bb |
069be30e64b664effa501896870a6108280400d8 |
|
02-Aug-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored AS
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17095 cec4b9c1-7d33-0410-9eda-942365e851bb |
a79741ed61653dceedaafa186a83b3396aa00836 |
|
18-Jul-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
use Set.fold for older ghcs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17045 cec4b9c1-7d33-0410-9eda-942365e851bb |
928866b2a3841d590928686db8f117b230088475 |
|
17-Jul-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
further extended frame axioms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17036 cec4b9c1-7d33-0410-9eda-942365e851bb |
029cc32e4036603598cb16567fa71d373ace3056 |
|
17-Jul-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
extended frame formulas
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17035 cec4b9c1-7d33-0410-9eda-942365e851bb |
c578c3805234bc223ab96f7d1892d3c73518ee94 |
|
16-Jul-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
improved printing sentences
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17032 cec4b9c1-7d33-0410-9eda-942365e851bb |
1445ecc2d9c5c298117a0e7ea2c5accde351d07e |
|
12-Jul-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
also remove nominals as preds when printing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17027 cec4b9c1-7d33-0410-9eda-942365e851bb |
df25387737ae748f284027f02ea2dbaa7f684cf5 |
|
06-Jul-2012 |
Mihaela Turcu <m.turcu@jacobs-university.de> |
overwrite sublogics_all function for extModal
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17013 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 |
e157cd543bda5d5a5d1bd23204ddfe61a9192419 |
|
04-Jul-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
induced morphisms do not need corrections
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17000 cec4b9c1-7d33-0410-9eda-942365e851bb |
d9c00098d4d65865ad7130e7e0c22e24cfe5fbb6 |
|
02-Jul-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
properly hide flexible ops and preds
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16999 cec4b9c1-7d33-0410-9eda-942365e851bb |
9e4febfd2eb81ca73c9b6a6a3c40017e6fb99390 |
|
29-Jun-2012 |
Mihaela Turcu <m.turcu@jacobs-university.de> |
computed sublogics of ext modal
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16996 cec4b9c1-7d33-0410-9eda-942365e851bb |
b5fc3c116b803863fe86b55bb75b164d4029c696 |
|
11-Jun-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed modality formulas from signature
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16897 cec4b9c1-7d33-0410-9eda-942365e851bb |
417437c97b9f3ef102275ebd1e3d015b52ef6201 |
|
11-Jun-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
mapped modalities
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16896 cec4b9c1-7d33-0410-9eda-942365e851bb |
2025793bdf95b956b34761af691fe9bde01f6d83 |
|
08-Jun-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16868 cec4b9c1-7d33-0410-9eda-942365e851bb |
98ca12832943f9b8e6edd28bc59716a2f7798899 |
|
08-Jun-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
added signature difference
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16865 cec4b9c1-7d33-0410-9eda-942365e851bb |
f8ced4eaf42141d4039962cd4197b67eafa4a65d |
|
04-Jun-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
extended by term modalities
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16852 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 |
cb5be4f31df88b8137ef3cabf4e8b0ddec52f351 |
|
13-Jul-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
re-add parser
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15547 cec4b9c1-7d33-0410-9eda-942365e851bb |
8212d81471112b311a8f179380e8ec3b2ac01a42 |
|
18-Apr-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
non-working ExtModal parser
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14953 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 |
8b52f992f2f7a0c4fa6e3692cf868a6baadaa69b |
|
07-Sep-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed parse_sentence method
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14018 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 |
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 |
f588d2cfbdd1e6d4855df164fce25cf7db1a8e2d |
|
11-Mar-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
untabified
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13202 cec4b9c1-7d33-0410-9eda-942365e851bb |
3f8e36efe98a930980cdda7cb59e3b6086e6c39e |
|
27-Oct-2009 |
Codruta Girlea <codruta.liliana@gmail.com> |
Fixed ExtModal/Logic_ExtModal.hs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12738 cec4b9c1-7d33-0410-9eda-942365e851bb |
3a233a797e4a660754a3f825d6ee398252914028 |
|
27-Oct-2009 |
Codruta Girlea <codruta.liliana@gmail.com> |
Fixed some errors in ExtModal/Logic_ExtModal.hs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12737 cec4b9c1-7d33-0410-9eda-942365e851bb |
76b9b2974795a6fb31f242fd032de3ff66df6204 |
|
26-Oct-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected ExtModal logic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12733 cec4b9c1-7d33-0410-9eda-942365e851bb |
fd1c864a3dec70aa22ecb2bc85816ec8251c6dec |
|
26-Oct-2009 |
Codruta Girlea <codruta.liliana@gmail.com> |
Changed ExtModal/Logic_ExtModal.hs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12732 cec4b9c1-7d33-0410-9eda-942365e851bb |
cb1bcdcebd18280e73151a05cf9846b940674518 |
|
22-Oct-2009 |
Codruta Girlea <codruta.liliana@gmail.com> |
Added ExtModal.MorphismExtension.hs and ExtModal.Logic_ExtModal.hs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12694 cec4b9c1-7d33-0410-9eda-942365e851bb |
e73f8ff81464981f9ba296a65a459364c0c3c486 |
|
12-Oct-2009 |
Codruta Girlea <codruta.liliana@gmail.com> |
Fixed some problems
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12630 cec4b9c1-7d33-0410-9eda-942365e851bb |
60be96a6bed14ee4d7625e3d73040a74ca26321e |
|
07-Oct-2009 |
Codruta Girlea <codruta.liliana@gmail.com> |
Added some stubs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12583 cec4b9c1-7d33-0410-9eda-942365e851bb |