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 |
758d6f3ba2ba96ca302db98de708fd6a4c64b9d1 |
|
09-Oct-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
collect implied annotations
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17504 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 |
bf3bf3fe0342b4253bf3ad19e00ed33e5c695a8d |
|
27-Sep-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
support and create SOL CASL formulas
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17441 cec4b9c1-7d33-0410-9eda-942365e851bb |
ab373af0c94a5a73d8c8d5fd580775d79f745a00 |
|
18-Sep-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
excluded flexible constructors
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17352 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 |
64610ae60115fa0465d6d8548827b13d214cdc9e |
|
06-Sep-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
renamed time_modalities
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17304 cec4b9c1-7d33-0410-9eda-942365e851bb |
eacc3b48b66dcf2698491b5bd3070b2cd399d556 |
|
02-Aug-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected warning
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17097 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 |
0e25a738b51db1508b2abc35ed1b6dcae3842d66 |
|
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@17046 cec4b9c1-7d33-0410-9eda-942365e851bb |
d717292b9b80310e9c56672a7c3631b0364afa5a |
|
18-Jul-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
modalities without frame axioms are part of the signature
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17039 cec4b9c1-7d33-0410-9eda-942365e851bb |
1c73309f3cbbbcaf19b47109c5e98e828e9b90a0 |
|
18-Jul-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
compute free variables of modalities
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17038 cec4b9c1-7d33-0410-9eda-942365e851bb |
a5445d622b2a4be0cd3fa9ff5cc21102d07123fd |
|
18-Jul-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected frame formula analysis
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17037 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 |
d7a27705a9f0d1f86300ea8a39a196a4d58cdc26 |
|
16-Jul-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
extract predicate tokens via fold
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17033 cec4b9c1-7d33-0410-9eda-942365e851bb |
a9d7121d1cc6979e01f7968d5e51574fefb5b801 |
|
27-Jun-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
store only additional flexible ops and preds
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16983 cec4b9c1-7d33-0410-9eda-942365e851bb |
a4a925c6d9035bbd54619d1c1977fcefb3f68d4d |
|
13-Jun-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
reduced indentation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16933 cec4b9c1-7d33-0410-9eda-942365e851bb |
2544fc5d189022e74575dbee815a5e086a21b4ce |
|
13-Jun-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
check super sorts of terms in term modalities
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16932 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 |
0aac5cbfd47f194df10e4be8ebb00371814892b6 |
|
08-Jun-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
shortened types
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16872 cec4b9c1-7d33-0410-9eda-942365e851bb |
05f838cfaca753e1b1103ef190271972eb15fe30 |
|
08-Jun-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
only store top sort for term modalities
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16866 cec4b9c1-7d33-0410-9eda-942365e851bb |
4b8dcd3ae29c32deb7c0474b75bc3519fd30f5aa |
|
08-Jun-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
add all subsorts to term modalities
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16864 cec4b9c1-7d33-0410-9eda-942365e851bb |
01ed69869d24a6a32c64834d852ded16bdf91757 |
|
06-Jun-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
added nominals as predicates
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16861 cec4b9c1-7d33-0410-9eda-942365e851bb |
5dc5443b306050ce614e42bd2d19717f60b57b13 |
|
05-Jun-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
resolve and paren modalities
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16857 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 |
2a5b885d9350ec6dd8bc4992ee91d2f68aa592f4 |
|
06-Jul-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored CASL's op and pred maps
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15456 cec4b9c1-7d33-0410-9eda-942365e851bb |
51b1633dc0785a542da974fae21fa7d6622c934e |
|
28-Feb-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
allow local let variables in FPL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14648 cec4b9c1-7d33-0410-9eda-942365e851bb |
7aeb33d3af3230641a33c39b7e7ba546bb35b969 |
|
25-Feb-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved FreeVars class into class TermExtension
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14638 cec4b9c1-7d33-0410-9eda-942365e851bb |
e00f5b4d89ac027e883461aab6248e33ad10ae8e |
|
18-Feb-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
extended sort of term computation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14584 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 |
5cc369fbceee1b13bd0f06e43620c46541d1d4f8 |
|
09-Apr-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
properly consider variables and constants for mixfix analysis if the invisible identifier is in scope
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13309 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 |
d6ce032cac688f3698be7133d27f53d3967e6749 |
|
11-Mar-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
untabified
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13201 cec4b9c1-7d33-0410-9eda-942365e851bb |
80d94d30085c2538f83125a7d6391d5772a131df |
|
27-Oct-2009 |
Codruta Girlea <codruta.liliana@gmail.com> |
Fixed the warnings in ExtModal
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12736 cec4b9c1-7d33-0410-9eda-942365e851bb |
d30f2d41ff162a43120b5bf348fd87d65653e3b2 |
|
20-Oct-2009 |
Codruta Girlea <codruta.liliana@gmail.com> |
Added ExtModal/StatAna.hs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12674 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 |