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 |
94e112d16f89130a688db8b03ad3224903f5e97e |
|
04-Sep-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored CASL formulas
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17288 cec4b9c1-7d33-0410-9eda-942365e851bb |
4e14c1bc2b97679b84c6ad996fa11c273b74ea02 |
|
24-Aug-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
added opSorts shortcut and extended CASL2OWL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17241 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 |
6e538f8086fb560f0b88d49581f0006d6323bdc0 |
|
14-Feb-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added extension for CASL terms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14532 cec4b9c1-7d33-0410-9eda-942365e851bb |
f99c9fca932e8e6e8111049fd93164ed81e1b0ab |
|
09-Dec-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed ghc-7 warnings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14306 cec4b9c1-7d33-0410-9eda-942365e851bb |
a74f814d3b445eadad6f68737a98a7a303698aff |
|
17-Nov-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
revert replacement of Map.foldWithKey to allow compilation using ghc-6.10.4
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14229 cec4b9c1-7d33-0410-9eda-942365e851bb |
9e5c10805bd50b5baaf6bf1f6a3f085c7afb17d8 |
|
16-Nov-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
use Map.foldrWithKey
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14227 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 |
e92e93922166c81167de83cc7400403c5d9bb26c |
|
02-Sep-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
added second order quantifiers for CASL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12398 cec4b9c1-7d33-0410-9eda-942365e851bb |
ca0d4947f7b0fdcbf7eac627659e6cff6d3863ba |
|
20-Aug-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
derive GetRange for all types and require type parameters to be instances
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12167 cec4b9c1-7d33-0410-9eda-942365e851bb |
05b9abe2e7d9e6126bf4ae29be6ef3693f32de73 |
|
18-Mar-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
create theorem VSE links
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11547 cec4b9c1-7d33-0410-9eda-942365e851bb |
9bfdf40cbc2c61dd8281904a03ac598d51e0a872 |
|
22-Sep-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed Simple_id constructor
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10704 cec4b9c1-7d33-0410-9eda-942365e851bb |
06f58a67e6df999858bf4f97d5e0786956562d29 |
|
12-Aug-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
the boolSig needed to be added when converting to s-exprs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10493 cec4b9c1-7d33-0410-9eda-942365e851bb |
36a493b7eec0f9d719674296c26afe7fd9bfe327 |
|
12-Aug-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
create s-expr without Result monad
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10491 cec4b9c1-7d33-0410-9eda-942365e851bb |
38f35f2c4a3b6a778f4f68e7af047a174e93abbe |
|
12-Aug-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
simply added procedures as predicates
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10483 cec4b9c1-7d33-0410-9eda-942365e851bb |
13140d161d2d2d11d87283d01d57ee3a738a833d |
|
11-Aug-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
splitted up s-exprs for ops
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10480 cec4b9c1-7d33-0410-9eda-942365e851bb |
bb2c1beb7ab66a49627a2a34df80864a3c65cc83 |
|
05-Aug-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
made sexpr conversion total
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10459 cec4b9c1-7d33-0410-9eda-942365e851bb |
7fe976d9f9c4af1aa7636c568d9919859523de0a |
|
18-Jul-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
also convert signatures to S-exprs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10363 cec4b9c1-7d33-0410-9eda-942365e851bb |
0c92a39a4adf3c1cbe173e3b16c65c159a1ce612 |
|
18-Jul-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
convert CASL sign to S-Exprs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10362 cec4b9c1-7d33-0410-9eda-942365e851bb |
d4aed7a2eea6b546c0d9520d85038addb7beb12f |
|
18-Jul-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
added generatedness
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10358 cec4b9c1-7d33-0410-9eda-942365e851bb |
e7b0b439ffae08514ac1afc62186d9a87ec6bd59 |
|
18-Jul-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
don't wrap argument list separately
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10356 cec4b9c1-7d33-0410-9eda-942365e851bb |
38824a7dba4f7d82532afec67e0b594a5af5d76b |
|
17-Jul-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
first translation to S-Expressions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10355 cec4b9c1-7d33-0410-9eda-942365e851bb |
a94f7b3982dccd2e01bd87f64de1aeab6edac118 |
|
16-Jul-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
start VSE translation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10346 cec4b9c1-7d33-0410-9eda-942365e851bb |
5b3e0bbb6a776c60dc14113435a44e7b13d2fa01 |
|
16-Jul-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
use translation to SExpr for checking terms in VSE programs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10341 cec4b9c1-7d33-0410-9eda-942365e851bb |
a1a48072301767054f2a9ff7ccf8974b0d6a6a28 |
|
14-Jul-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
translation of terms and formulas
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10327 cec4b9c1-7d33-0410-9eda-942365e851bb |