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 |
dc62afbf79603699b39b2387f48298634f642e67 |
|
12-Nov-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
copied changes for dol-parsing into new branch |
01ddc4cad68fa84b4e9dd41089ad876329bae5b0 |
|
03-Apr-2014 |
Christian Maeder <Christian.Maeder@dfki.de> |
renamed ankle to angle bracket
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18568 cec4b9c1-7d33-0410-9eda-942365e851bb |
e24ccbc27ab90aa0bdb7064fd42e3bb0e0da6174 |
|
17-Jan-2014 |
Christian Maeder <Christian.Maeder@dfki.de> |
avoid ankle brackets in xml output, i.e.attributes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18443 cec4b9c1-7d33-0410-9eda-942365e851bb |
af12bb8a0223ed59f1581640c5523fb7c4eecd66 |
|
19-Dec-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
display short syntax
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18405 cec4b9c1-7d33-0410-9eda-942365e851bb |
5664bc775d5d61bbd5f71cf05f5c6dd5c63340ff |
|
14-Aug-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed warnings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18128 cec4b9c1-7d33-0410-9eda-942365e851bb |
1fd936f22c745583ff70fd7ff6e3397f6bcf3fd9 |
|
31-May-2013 |
Marcel Zirbel <Marcel.Zirbel@dfki.de> |
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17985 cec4b9c1-7d33-0410-9eda-942365e851bb |
e0925d14deeb1c13acac06d746ea985ec53ee35c |
|
03-May-2013 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
approximations added (first incomplete version)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17936 cec4b9c1-7d33-0410-9eda-942365e851bb |
d0916b96ca9f90822c0bb6062b13d5de83bf410a |
|
03-Oct-2012 |
Soeren D. Schulze <soeren.d.schulze@gmx.de> |
recognize IRIs for "logic" and "serialization"
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17475 cec4b9c1-7d33-0410-9eda-942365e851bb |
86c1b41a968fde92972d40753dbbd13e0b25d85b |
|
08-Aug-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
also use logic graph for pp.xml
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17143 cec4b9c1-7d33-0410-9eda-942365e851bb |
de8eee2014437ec4020be15cd363257f87e79943 |
|
06-Aug-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored pretty printing for #1050
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17116 cec4b9c1-7d33-0410-9eda-942365e851bb |
6c244f12ab0dc7ba1baf1413266093886a570e13 |
|
03-Aug-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
extended Logic_name to LogicDescr
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17098 cec4b9c1-7d33-0410-9eda-942365e851bb |
ea39a854498febb718cbdd6035fb935fd145daac |
|
06-Apr-2012 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
added DOL-parser, serialization syntax, prefix-map into GlobalAnnotations
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16768 cec4b9c1-7d33-0410-9eda-942365e851bb |
ea8e98e298f33f9362293f392c8fb192722b8904 |
|
30-Mar-2012 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Changed Simple-ID to IRI on Library-, Structure- and Architecture-level
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16750 cec4b9c1-7d33-0410-9eda-942365e851bb |
ad3327fb03d73436ee6f61c7ad2e51186137f46b |
|
21-Feb-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
add only one range (fix #998)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16667 cec4b9c1-7d33-0410-9eda-942365e851bb |
3fea26a73b8fa69b22dfd2653d8f7bdacb45b9c9 |
|
17-Feb-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
implemented #993
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16662 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 |
c142cc2fecfc9230ddd005235f7ecce266f06f5e |
|
26-Oct-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed redundant imports
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12731 cec4b9c1-7d33-0410-9eda-942365e851bb |
8a3ab31caff2bc2ad9355680186a7dd4da5f73b5 |
|
26-Sep-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
properly print logic name attribute
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12523 cec4b9c1-7d33-0410-9eda-942365e851bb |
b0268e45716f3a619c175132d7f1600f2bbc80ce |
|
24-Sep-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved creating xml text to Common
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12501 cec4b9c1-7d33-0410-9eda-942365e851bb |
e49fd57c63845c7806860a9736ad09f6d44dbaed |
|
23-Sep-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored, camel cased, library names
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12493 cec4b9c1-7d33-0410-9eda-942365e851bb |
4cbba4634ba267c438f75fa7a5009f6249d3dda1 |
|
23-Sep-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced (unreadable) show output by xml output in web interface
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12491 cec4b9c1-7d33-0410-9eda-942365e851bb |
f8494625eb1fe64de948a60dc3db49d6eed9ecfa |
|
09-Sep-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
conform to static analysis naming
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12445 cec4b9c1-7d33-0410-9eda-942365e851bb |
3be6a6e42bb49a1f99b0415fbc2e6330ab69e821 |
|
09-Sep-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
omit empty imports or parameters
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12444 cec4b9c1-7d33-0410-9eda-942365e851bb |
54233d1f5ebf82ebb341a0f481e8ae657fc90e91 |
|
09-Sep-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
further refined xml output
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12442 cec4b9c1-7d33-0410-9eda-942365e851bb |
4d10b8deace53a8e6d9f34afd99824bff569a124 |
|
07-Sep-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
show imports as treated by the static analysis
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12427 cec4b9c1-7d33-0410-9eda-942365e851bb |
537ae4f09f55d4834e05c54781ba2c8512280324 |
|
07-Sep-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
rename syntax to match static analysis
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12425 cec4b9c1-7d33-0410-9eda-942365e851bb |
27c2593d35d1013f630271ca2d1b566307aa4fb4 |
|
04-Sep-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
two specs below local spec
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12422 cec4b9c1-7d33-0410-9eda-942365e851bb |
5b68f1141555736e0b7ddbe14218bcabcc44636f |
|
04-Sep-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
made relxpath correspond to pp.xml source
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12421 cec4b9c1-7d33-0410-9eda-942365e851bb |
89152a9efc19df9ddacce6af6e9f60837c076e17 |
|
03-Sep-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
move annotations out of the way for pp.xml
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12407 cec4b9c1-7d33-0410-9eda-942365e851bb |
03f891561b7aa86d8dd64ba28a640e7882110495 |
|
01-Sep-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
hlint wibble
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12386 cec4b9c1-7d33-0410-9eda-942365e851bb |
9aec0bc9d57df2669c8095fb1b4bd954d80b5537 |
|
01-Sep-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored Syntax.ToXml
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12374 cec4b9c1-7d33-0410-9eda-942365e851bb |
96c4acc5e2c2e283ca1f61ffcd1df86fe7d3f933 |
|
24-Aug-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
used global annos for pretty printing xml
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12265 cec4b9c1-7d33-0410-9eda-942365e851bb |
91b3147021cbeebb0590f4a577acba73142785c5 |
|
20-Aug-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
global annotations need to be passed through
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12197 cec4b9c1-7d33-0410-9eda-942365e851bb |
8096af05de5e00a06bbed74958af1421f6f13bb9 |
|
19-Aug-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
better compute position ranges
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12162 cec4b9c1-7d33-0410-9eda-942365e851bb |
ee56a1f5b86c002ef89bd7c97e8be851667b50b8 |
|
14-Aug-2009 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
some small adaptations
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12129 cec4b9c1-7d33-0410-9eda-942365e851bb |
5422177d51abc1297f9ae8f5df7dfb8decd69302 |
|
14-Aug-2009 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
xml output adapted, value-attribs are output as text
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12121 cec4b9c1-7d33-0410-9eda-942365e851bb |
3e04f759cbddc5d070c5353185ddd85cb7d6969c |
|
13-Aug-2009 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12111 cec4b9c1-7d33-0410-9eda-942365e851bb |
201085a94a4033e9d07a55c73bef48aeaa68fda0 |
|
12-Aug-2009 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12097 cec4b9c1-7d33-0410-9eda-942365e851bb |
1f7d5e06c0b9d99d257bdee9e8fb7bc000ec1d78 |
|
11-Aug-2009 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
added Item to xml conversion
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12091 cec4b9c1-7d33-0410-9eda-942365e851bb |
334cfff54edf14ec98e2bcda86ff6aa197b56931 |
|
07-Aug-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
avoid the Haskell98 package
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12042 cec4b9c1-7d33-0410-9eda-942365e851bb |
ebfbf250afaacea762b0aa673c7798dcdc10e88d |
|
16-Jul-2009 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
incorporated some changes from wishlist
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11949 cec4b9c1-7d33-0410-9eda-942365e851bb |
62dcf44dcf0139ed185be54f5ea67108047e9dda |
|
03-Jul-2009 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
refinement of xml export, cleaned senseless output
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11876 cec4b9c1-7d33-0410-9eda-942365e851bb |
c7f1a9b3811f1ed427c57559d9af26a75a309ff1 |
|
03-Jul-2009 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
refinement of xml export
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11874 cec4b9c1-7d33-0410-9eda-942365e851bb |
a7617d4ad5691fecc5135db3c0e30b0c4673f068 |
|
30-Jun-2009 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
annoted and range implemented
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11851 cec4b9c1-7d33-0410-9eda-942365e851bb |
1f0bfa2fbeea34f9ab8af45efcf50647c85c0ae5 |
|
25-Jun-2009 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
added the xml export of the LIB_DEFN structure
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11837 cec4b9c1-7d33-0410-9eda-942365e851bb |