a18c1e9cec48e0a33df38b9bf6f5421af684f054 |
|
24-Aug-2017 |
Eugen Kuksa <kuksa.eugen@gmail.com> |
Revert outsourcing the function `parens`. (#1733)
* Revert outsourcing the function `parens`.
* Add comment about parens function. |
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 |
ba7f2ee11dafeea528830f6a5f9c98eac1f7eca5 |
|
09-Dec-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
exclude hets keys from CL symbols |
dc62afbf79603699b39b2387f48298634f642e67 |
|
12-Nov-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
copied changes for dol-parsing into new branch |
35a93cb096d20430ba50966ee204d18994c976e6 |
|
21-Jan-2014 |
Christian Maeder <Christian.Maeder@dfki.de> |
shortened
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18445 cec4b9c1-7d33-0410-9eda-942365e851bb |
6498fe9ab2cd00e3b52109c76faa2fac1849ddaa |
|
21-Jan-2014 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected optional text after cl-text identifier
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18444 cec4b9c1-7d33-0410-9eda-942365e851bb |
3d3889e0cefcdce9b3f43c53aaa201943ac2e895 |
|
29-Nov-2013 |
Jonathan von Schroeder <sternkinder@gmail.com> |
removed lots of hlint warnings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18342 cec4b9c1-7d33-0410-9eda-942365e851bb |
089b97b94738ce3d75ceb1c6466b4ba916ca4a4f |
|
11-Oct-2012 |
Soeren D. Schulze <soeren.d.schulze@gmx.de> |
permit empty argument sequences for functional terms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17518 cec4b9c1-7d33-0410-9eda-942365e851bb |
c3cfa8f613684439642d59fd89c6bae83cdbf6f0 |
|
08-Oct-2012 |
Soeren D. Schulze <soeren.d.schulze@gmx.de> |
minor parser issues
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17495 cec4b9c1-7d33-0410-9eda-942365e851bb |
ae371d21b7a25f2ad233db70049f0b6f2edcf411 |
|
08-Oct-2012 |
Soeren D. Schulze <soeren.d.schulze@gmx.de> |
accept double quotes for comments
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17491 cec4b9c1-7d33-0410-9eda-942365e851bb |
feeab95fdf7ec92bcce607c104d9dc98e0e6ea90 |
|
08-Oct-2012 |
Soeren D. Schulze <soeren.d.schulze@gmx.de> |
introduced new API for prefixes and applied this to CommonLogic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17489 cec4b9c1-7d33-0410-9eda-942365e851bb |
ea570f40967ef8bc16b76c54f9b867a8036cc750 |
|
22-Aug-2012 |
Soeren D. Schulze <soeren.d.schulze@gmx.de> |
flattened Quant_sent
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17225 cec4b9c1-7d33-0410-9eda-942365e851bb |
f03aa0b723e5545fddf7019e287368b9e208ca69 |
|
21-Aug-2012 |
Soeren D. Schulze <soeren.d.schulze@gmx.de> |
introduced IKL-specific CommonLogic features
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17219 cec4b9c1-7d33-0410-9eda-942365e851bb |
d2d5606ab65ddf48599bd044416de07a205095f2 |
|
19-Aug-2012 |
Soeren D. Schulze <soeren.d.schulze@gmx.de> |
cleaned up AS types for CommonLogic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17207 cec4b9c1-7d33-0410-9eda-942365e851bb |
7b2c06587c0e51d5f75e5fc856d164ee92f4ed78 |
|
17-May-2012 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
cleaned CommonLogic Code
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16850 cec4b9c1-7d33-0410-9eda-942365e851bb |
0fe5514fdf12b7559c1a470cf22d89737d55b0a0 |
|
17-May-2012 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Documented every exported function in CommonLogic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16849 cec4b9c1-7d33-0410-9eda-942365e851bb |
eea1dfbc731d45f624bc3c14bada0617ebaa6eaa |
|
01-May-2012 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
CL sets the text iri
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16843 cec4b9c1-7d33-0410-9eda-942365e851bb |
fe656923fef897857a32d6de89a3196571ca2427 |
|
16-Apr-2012 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
added CURIE-expansion for CL
added full IRI to String method without brackets
enclosedname and quotedstring parsers keep the quotes
fixed cl-comment parser and printer
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16808 cec4b9c1-7d33-0410-9eda-942365e851bb |
8b7e9bd07700b2fef4312835be342250347ad849 |
|
16-Apr-2012 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
corrected Named_text
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16807 cec4b9c1-7d33-0410-9eda-942365e851bb |
0c4da1aef47757166486f7aa0b037ffa30b840cd |
|
10-Apr-2012 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
cleaned CL code
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16779 cec4b9c1-7d33-0410-9eda-942365e851bb |
123c74ceb5c4d3f364323a015ecef3eaf0ab67d5 |
|
10-Apr-2012 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
added parser for CL-prefixes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16778 cec4b9c1-7d33-0410-9eda-942365e851bb |
8ad26fb4c136282465650215c4e8214bdf65c3d5 |
|
07-Mar-2012 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
removed CLIF-extension for relations between CL-texts
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16689 cec4b9c1-7d33-0410-9eda-942365e851bb |
befbd45c1a4c171f2194b59016590b02bf4df750 |
|
22-Feb-2012 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
fixed parsing error messages
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16674 cec4b9c1-7d33-0410-9eda-942365e851bb |
d1e1be2881bf54b507313a6a2b4a254090cd92b7 |
|
21-Feb-2012 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
improved whitespace skipping in cl-parser
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16668 cec4b9c1-7d33-0410-9eda-942365e851bb |
64401a16f05d2b42fa52301ec3ce01569e2a8e19 |
|
20-Feb-2012 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
added cl-parser support for c-style comments
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16665 cec4b9c1-7d33-0410-9eda-942365e851bb |
b33ebea4ee4a11837d425552e399430a31654d6b |
|
26-Oct-2011 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
comment parser accepts more spaces
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16385 cec4b9c1-7d33-0410-9eda-942365e851bb |
a8ddb13beb092672c9f537ef1cf2e14f1f8a8f26 |
|
26-Oct-2011 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
changed signature according to iso standard, fixed cl-morphism
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16384 cec4b9c1-7d33-0410-9eda-942365e851bb |
79a3d668942f788b7d37415ab91f979319effcb0 |
|
21-Oct-2011 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
little parser cleanup
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16357 cec4b9c1-7d33-0410-9eda-942365e851bb |
31804b96414c67cb550fbf38fde4622778046c6f |
|
21-Oct-2011 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
cl2casl and cl2caslCompact are preceded by module elimination
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16352 cec4b9c1-7d33-0410-9eda-942365e851bb |
cba0aeea95db26960d4d2e5a1dd571f17a5b7ae4 |
|
11-Oct-2011 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Common Logic imports reads in the whole file
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16249 cec4b9c1-7d33-0410-9eda-942365e851bb |
1ea7fb6b0f66210bc0d3cb995f1b655277b33884 |
|
30-Sep-2011 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
prepared support for segregated dialects
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16207 cec4b9c1-7d33-0410-9eda-942365e851bb |
f6eb05386b068f5968180b21cc225ef0d7d836e7 |
|
29-Sep-2011 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
first step of metarelation analysis
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16198 cec4b9c1-7d33-0410-9eda-942365e851bb |
8247c2f9606497ccfc5b4d10b3fcb07d8c0f6074 |
|
27-Sep-2011 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
partially fixed pretty printing issue in common logic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16186 cec4b9c1-7d33-0410-9eda-942365e851bb |
b3138d7e20d2d6dd26a325b844a8b21b0ecbb602 |
|
27-Sep-2011 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
preparation for supporting metarelations between CL-Texts
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16179 cec4b9c1-7d33-0410-9eda-942365e851bb |
cacbb5e3100fb85d23d1614cace3a8662801f2e6 |
|
21-Sep-2011 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
minor changes, header changes, SoftFOL2CL nullary function fix
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16153 cec4b9c1-7d33-0410-9eda-942365e851bb |
037be4e5b0e867dd148db2ea89640d8edf009053 |
|
20-Sep-2011 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Added Symbol Maps, Symb Map Items
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16146 cec4b9c1-7d33-0410-9eda-942365e851bb |
08e520eb8e9947de926d733c48a13249c857f570 |
|
30-Aug-2011 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
BASIC_SPEC may contain many TEXTs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16052 cec4b9c1-7d33-0410-9eda-942365e851bb |
f2bb6f4c9f075b94e7f83a6589f457bc8b7fb30c |
|
23-Aug-2011 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
changed BASIC_SPEC to a single TEXT, fixed CL-imports for DevGraph
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16004 cec4b9c1-7d33-0410-9eda-942365e851bb |
ff41d94839a36ce86291af5d83abe2bd39cce1d0 |
|
20-Aug-2011 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
added even further syntactic sugar support to CLIF parser
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15988 cec4b9c1-7d33-0410-9eda-942365e851bb |
dabf0263008e0b55440c4e3fa0b61261af8c28ce |
|
19-Aug-2011 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
added further syntactic sugar support to CLIF parser
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15987 cec4b9c1-7d33-0410-9eda-942365e851bb |
d5c6ddb570942f686319dcaf6c4b513a033e00ce |
|
18-Aug-2011 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Added syntactic sugar support for "roleset" to CLIF parser
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15985 cec4b9c1-7d33-0410-9eda-942365e851bb |
8b42604fc9e948093bde658f32b8446e9c6a3576 |
|
28-Jul-2011 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
CLIF parser comment support
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15763 cec4b9c1-7d33-0410-9eda-942365e851bb |
2c10bceb28a74fc291959697e023f22a66753655 |
|
25-Jul-2011 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
CL: BASIC_SPEC now uses TEXT
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15694 cec4b9c1-7d33-0410-9eda-942365e851bb |
93796f5bd8317f475737d26cb21781ce4c65a47c |
|
18-Jul-2011 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Some restructurings, CommonLogic2CommonLogic.eliminateModules
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15598 cec4b9c1-7d33-0410-9eda-942365e851bb |
18741eef977546e24fce1fde1b8a8f817aedc6d0 |
|
14-Jul-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed many to many1 in text parser
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15561 cec4b9c1-7d33-0410-9eda-942365e851bb |
ead7fb0fe5492f65c8e47eaa9d5105bffde163f2 |
|
05-Jul-2011 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
added parser feature: module exclusion lists
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15455 cec4b9c1-7d33-0410-9eda-942365e851bb |
d53747c386354ff7db8629dfdf20f44a7c4d715d |
|
22-Jun-2011 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
fixed CommonLogic parser propositional logic issue
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15243 cec4b9c1-7d33-0410-9eda-942365e851bb |
07f731e693fe433a238b5cc0aab6c5c99c1da798 |
|
10-Sep-2010 |
Karl Luc <kluc@tzi.de> |
fixed parser to match colore files
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14042 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 |
c8184745578f24aea553566352189c4901d633ef |
|
29-Jul-2010 |
Karl Luc <kluc@tzi.de> |
update on changes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13784 cec4b9c1-7d33-0410-9eda-942365e851bb |
823ce7a568b0f653ebe83af7ab6ac9ec70f2cf8e |
|
05-Jul-2010 |
Karl Luc <kluc@tzi.de> |
fixed compiling warnings in common logic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13678 cec4b9c1-7d33-0410-9eda-942365e851bb |
2aa433939988fc34e3968ae0363fe628374fb3d2 |
|
31-May-2010 |
Karl Luc <kluc@tzi.de> |
changes some syntax structure and fixed some points in CommonLogic2CASL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13461 cec4b9c1-7d33-0410-9eda-942365e851bb |
b696e806e85f1c07f2f5ea07f2b5babcd656e0d6 |
|
06-May-2010 |
Karl Luc <kluc@tzi.de> |
changed parser for sequence marker, added testfile for sequence markers
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13420 cec4b9c1-7d33-0410-9eda-942365e851bb |
4692b8b63985ab174478d389e20a544054e09ce8 |
|
03-May-2010 |
Karl Luc <kluc@tzi.de> |
added clf extension to hets and .clf files readable with Logic = Common Logic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13415 cec4b9c1-7d33-0410-9eda-942365e851bb |
c51d1f5ff88cce030fe543e271ca6b85625b70d8 |
|
30-Apr-2010 |
Karl Luc <kluc@tzi.de> |
updates on static analysis and parser in clif
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13411 cec4b9c1-7d33-0410-9eda-942365e851bb |
6e39065d00e6e7c8432de1b4ffe99f9345b0c8a8 |
|
12-Apr-2010 |
Karl Luc <kluc@tzi.de> |
fixed missing patterns
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13316 cec4b9c1-7d33-0410-9eda-942365e851bb |
de03ed90ff6efbbc4751301bcf6b50d9790c1afb |
|
24-Mar-2010 |
Karl Luc <kluc@tzi.de> |
updated clif parser and added symbol, analysis
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13268 cec4b9c1-7d33-0410-9eda-942365e851bb |
fe1d1e27d7199f3ae7be6406d0ab01b29afbacb0 |
|
23-Mar-2010 |
Karl Luc <kluc@tzi.de> |
updated pretty instance and parser range
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13262 cec4b9c1-7d33-0410-9eda-942365e851bb |
6d81916b9004f8d9b6032113c5987ab07da47015 |
|
12-Mar-2010 |
Karl Luc <kluc@tzi.de> |
some corrections
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13212 cec4b9c1-7d33-0410-9eda-942365e851bb |
b062631d2f72f0b2b2b6140bc5b0fccb66d1802b |
|
12-Mar-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
set props
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13209 cec4b9c1-7d33-0410-9eda-942365e851bb |
73ebb26a2e4380a4d0bf39f65a920dc065984d8e |
|
12-Mar-2010 |
Karl Luc <kluc@tzi.de> |
added clif parser and some tests
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13208 cec4b9c1-7d33-0410-9eda-942365e851bb |