c1c57d7f64ef2b5554c097875b7057fa489ce85d |
|
12-Apr-2016 |
mcodescu <mscodescu@gmail.com> |
removed warning in CASL2TopSort |
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 |
96d8cf9817eeb0d26cba09ca192fc5a33e27bc09 |
|
11-Mar-2016 |
mcodescu <mscodescu@gmail.com> |
analysis of alignments and non-imported symbols in colimit |
f96070d2a6e07d89906f7a1ed854e64437e3c47a |
|
26-Apr-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
added partiality to the target logic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17910 cec4b9c1-7d33-0410-9eda-942365e851bb |
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 |
5708367a1e4f8c55364c82495262bcd7ad406d8b |
|
22-Dec-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed some Eq and Ord instances for ghc-7.4.1rc1
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16569 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 |
3a2de7e5a3c5da0a96c9563617ab332685a41ced |
|
18-Jul-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
introduced term and formula construction shortcuts
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15590 cec4b9c1-7d33-0410-9eda-942365e851bb |
b2eb5854497af395cbf17a08c7ace5ab73e7eea2 |
|
08-Jul-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
fixed some failures
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15509 cec4b9c1-7d33-0410-9eda-942365e851bb |
e0f1794e365dd347e97b37d7d22b2fce27296fa1 |
|
07-Jul-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
re-established separate relation type
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15490 cec4b9c1-7d33-0410-9eda-942365e851bb |
fcb31dccbc9611878bbe5cc1754a60d05a40ae9b |
|
07-Jul-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
more corrections for proper subsort relations
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15478 cec4b9c1-7d33-0410-9eda-942365e851bb |
dece9056c18ada64bcc8f2fba285270374139ee8 |
|
06-Jul-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
use a reflexive sort relation and avoid a separate sort set
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15472 cec4b9c1-7d33-0410-9eda-942365e851bb |
152c178f9f9969ce729361a5c61aa4ff2c9ed840 |
|
06-Jul-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved some map-set functions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15467 cec4b9c1-7d33-0410-9eda-942365e851bb |
e7ddd5495421698701a2bbc57a5b3390a11d12ca |
|
06-Jul-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added utilities for op types with kinds
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15457 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 |
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 |
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 |
d29201dd5328b88140ce050100693c501852657d |
|
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@13491 cec4b9c1-7d33-0410-9eda-942365e851bb |
46f9a8e346557fd27ef5846c54d69869bb031698 |
|
07-Nov-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed disambiguation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12801 cec4b9c1-7d33-0410-9eda-942365e851bb |
080db4df5746458977567e5eced87d211c5a5329 |
|
07-Nov-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
consider isomorphic sorts for totality
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12800 cec4b9c1-7d33-0410-9eda-942365e851bb |
a2269e4802e9ad3ca781c50bd3d2f7a55d1c5130 |
|
07-Nov-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12799 cec4b9c1-7d33-0410-9eda-942365e851bb |
ef779aedbd950d9e44a05a8b96218cab171441ec |
|
07-Nov-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
try to make functions total first
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12798 cec4b9c1-7d33-0410-9eda-942365e851bb |
e55e6352c06081af14ecfc732cb0bcf3cdcee742 |
|
07-Nov-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
made some functions partial and adjusted op kinds in formulas
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12797 cec4b9c1-7d33-0410-9eda-942365e851bb |
6a7bcbded8a9372268b3dbbe57c4fc1ef06afcb1 |
|
06-Nov-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
made CASL2TopSort more usable
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12794 cec4b9c1-7d33-0410-9eda-942365e851bb |
4e51a0d5f7e8a29e19d2a3be799c70e1e5eef1c1 |
|
06-Nov-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected symmetry axioms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12793 cec4b9c1-7d33-0410-9eda-942365e851bb |
8f5612292c5ba06b07de574c8fe22d1527c0e4f8 |
|
31-Oct-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected variable sort
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12770 cec4b9c1-7d33-0410-9eda-942365e851bb |
5f49080febb2f23351f9f6201c6c6e985f452912 |
|
30-Oct-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
use intended arg_res names
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12759 cec4b9c1-7d33-0410-9eda-942365e851bb |
e46298bf227cf09ea7bc0c94d01f915aaa543aee |
|
29-Oct-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed inline axioms and created axioms directly
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12753 cec4b9c1-7d33-0410-9eda-942365e851bb |