80875f917d741946a39d0ec0b5721e46ba609823 |
|
04-Jan-2018 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
1596 iris (#1763)
* integrated IDs from Common/Id as local parts in IRIs in Common/IRI
* removed "abbreviated" components of IRIs in Common/IRI, added a flag instead
* added a blank node flag to IRIs in Common/IRI |
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 |
da5b7a9907d7e4f3bed31ae76dff8bbe562ef8b3 |
|
04-Mar-2014 |
Christian Maeder <Christian.Maeder@dfki.de> |
parse within IO for optimizations
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18522 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 |
5199920ca3b698b2149c8cb9d2ce2e98a280ff9d |
|
25-Sep-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
do not used changed Network.URI
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17417 cec4b9c1-7d33-0410-9eda-942365e851bb |
c1d06b3018b34ede2b3fb6c7fe2ad28cd5ce5b68 |
|
28-Aug-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
added syntax IRI to theories
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17252 cec4b9c1-7d33-0410-9eda-942365e851bb |
1596a4d2cc01bff500afdd3789a43ec93210e81f |
|
21-Aug-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
remove modification time from lib-name
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17217 cec4b9c1-7d33-0410-9eda-942365e851bb |
f6f34269532bfdff1e08e9038bf8b9098e3a5dae |
|
20-Jun-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
do not put imported symbols into the symbol set
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16957 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 |
66c6e29ddfa36396c7ebfc02d01d8d7e6c26976c |
|
26-Oct-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed addToRefNodesDG
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16392 cec4b9c1-7d33-0410-9eda-942365e851bb |
59597e83448c2fc763557b56e0319615b33518d9 |
|
05-Sep-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
tried to improve OMDoc import
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16087 cec4b9c1-7d33-0410-9eda-942365e851bb |
c208973c890b8f993297720fd0247bc7481d4304 |
|
05-Aug-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
splitted off plain data types for dev-graphs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15905 cec4b9c1-7d33-0410-9eda-942365e851bb |
0e467f613062d025542b0eb305ad2fa5530678ce |
|
05-Aug-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
ghc-7.2 does not like let with FDs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15886 cec4b9c1-7d33-0410-9eda-942365e851bb |
5dad1d101f19a24ec783767c720a9b36640a1222 |
|
31-Jan-2011 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
changed some lookup function names to more appropriate filter name, added substitution processing in CAD matching
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14455 cec4b9c1-7d33-0410-9eda-942365e851bb |
e1f45565d01154bdbfb0921e30814f7a40b86e98 |
|
08-Nov-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
only removed the default assoc-attribute none
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14205 cec4b9c1-7d33-0410-9eda-942365e851bb |
a6381747ab272bfe1fca8144efe0c21baffcf3c3 |
|
02-Nov-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
extended the datatypes for notation output
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14183 cec4b9c1-7d33-0410-9eda-942365e851bb |
e77f7260babdf86b287a632f9676c601bd0db077 |
|
11-Oct-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
support for application syntax patterns added to omdoc export
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14132 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 |
f55d53ec111c3ce2039a2dc0f3fb35463e708bb0 |
|
05-Jul-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
prefer lists of maybe values
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13671 cec4b9c1-7d33-0410-9eda-942365e851bb |
c73c3d0df595b7feab36cf441a1a31cd1a2c7c1d |
|
24-Jun-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
added explicit Logic-imports and a description of dependencies on the Logic interface, removed a wrong portability comment
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13622 cec4b9c1-7d33-0410-9eda-942365e851bb |
0a1b77ea16752ea3debe4ff41515dc7dfc41f32e |
|
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@13492 cec4b9c1-7d33-0410-9eda-942365e851bb |
5ca1fe655d7d4e35e59a082b5955b306643329d0 |
|
01-Jun-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
removed hxtfilter from Hets and fixing uris and output directories for the omdoc interface
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13477 cec4b9c1-7d33-0410-9eda-942365e851bb |
1ea889640f997acdc27810ae4e42aff4fbaafe55 |
|
01-Jun-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
outsourced the xml parsing and adapted concerned files, added hexpat flag to cabal-file
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13473 cec4b9c1-7d33-0410-9eda-942365e851bb |
aae33d0d1a0f8174a7a704e2fdbb29482e0bf587 |
|
22-Apr-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
omdoc export uses the open mechanism now and does not create complete local signature, one open bug is still to be fixed in the export
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13372 cec4b9c1-7d33-0410-9eda-942365e851bb |
f0a8cb240fea2ac6868275be657f48f4470d9932 |
|
21-Apr-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
added hexpat parser lib and a flag to compile with or without this lib. To use this parser one need to install 'hexpat' from Hackage
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13367 cec4b9c1-7d33-0410-9eda-942365e851bb |
8e2a5b3d7ccf6a7f03b54fbe6b410d49b9f1932c |
|
20-Apr-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
fixed the repeating node referencing and the link-name export
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13363 cec4b9c1-7d33-0410-9eda-942365e851bb |
bdf2e01977470bedcb4425e2dadabc9e9f6ba149 |
|
16-Apr-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
replaced the result type of sym_of in Logic by List of set of symbol. See also revision 13301 for the previous change.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13348 cec4b9c1-7d33-0410-9eda-942365e851bb |
6620aac969e8c5e41ef774956c58c083d37f3f56 |
|
15-Apr-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
using nodename parsing, added verbose output to import
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13343 cec4b9c1-7d33-0410-9eda-942365e851bb |
e34e60cc42e3a4bef64b18dbca61ff560d7cd279 |
|
14-Apr-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
removed some bugs, one bug is still present, but stemming from incorrect libname handling outside of the omdoc module
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13331 cec4b9c1-7d33-0410-9eda-942365e851bb |
0c04114bd9d9361d8e848dca08b17e6b64cb10c1 |
|
14-Apr-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
repaired morphism creating bug
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13326 cec4b9c1-7d33-0410-9eda-942365e851bb |
a37e69e1d3b0d2f65a940b54c74042f57d9413f4 |
|
14-Apr-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
outsourced theory computation for the libenv from OMDocImport and completion of partial import morphisms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13324 cec4b9c1-7d33-0410-9eda-942365e851bb |
c86ab487b5998eb823a4c02ee66007403fb5ace5 |
|
14-Apr-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
Intermediate version
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13323 cec4b9c1-7d33-0410-9eda-942365e851bb |
bc97d0dafa2cec17890802decf690ae8a1be03b7 |
|
13-Apr-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
Added handling of Formulas and Terms and computation of injection names
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13322 cec4b9c1-7d33-0410-9eda-942365e851bb |
97f3827decee427ef52fe8a382f159a81e2abdf1 |
|
12-Apr-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
handling of CASL OMDoc Formulas
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13317 cec4b9c1-7d33-0410-9eda-942365e851bb |
59ff8134f94a323b1a6fe967bb687cccf068d9c2 |
|
09-Apr-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
adding the support for the import of the other features in CASL and added handling of views in import
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13312 cec4b9c1-7d33-0410-9eda-942365e851bb |
f58e5059e02c7e903059f3ec37bcb3b482afd63f |
|
08-Apr-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
removed debug output, using numbered gsigmaps in OMDoc export for restoring dependency relation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13304 cec4b9c1-7d33-0410-9eda-942365e851bb |
c1f44fb7f484d3d796f6f51b99a894581726f732 |
|
01-Apr-2010 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
removed breaking haddock comment
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13284 cec4b9c1-7d33-0410-9eda-942365e851bb |
f887ef77051188d95ceb8c37f39af91fc1195137 |
|
30-Mar-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
outsourced common functions to CASL/OMDoc.hs, bugfixing Import and Export
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13281 cec4b9c1-7d33-0410-9eda-942365e851bb |
1a5414972199f27756b513d5cf515e4c0d688c08 |
|
29-Mar-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
added the omdoc import interface functions for Logic CASL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13280 cec4b9c1-7d33-0410-9eda-942365e851bb |
956abde56af34b05e9a7fd0e387687a03ef50a2e |
|
25-Mar-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
added a todo
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13279 cec4b9c1-7d33-0410-9eda-942365e851bb |
059f97e23beac47820b2b9c9687b94f1481bcfd8 |
|
25-Mar-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
refactored some datastructures and worked on import
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13276 cec4b9c1-7d33-0410-9eda-942365e851bb |
99cb8518c038b6764ffef18cd734d2fc4e5c6f0b |
|
23-Mar-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
further progress on OMDoc-reader
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13267 cec4b9c1-7d33-0410-9eda-942365e851bb |
2a30a68404a305addb439efb2a3345ed51e7f69a |
|
22-Mar-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
working on import
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13260 cec4b9c1-7d33-0410-9eda-942365e851bb |
d1fddc394ac2af87a6210e7a3504bb565d088e7a |
|
19-Mar-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
many changes to omdoc datastructures
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13257 cec4b9c1-7d33-0410-9eda-942365e851bb |
df0d1a7e7dfff3be40c24b25318a6a07c748be20 |
|
18-Mar-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
refactored name generation and other slight changes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13250 cec4b9c1-7d33-0410-9eda-942365e851bb |
63da71bfb4226f504944b293fb77177ebcaea7d4 |
|
16-Mar-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
hooked in the OMDoc import function, corrected the output of adts and subsort relations in CASL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13236 cec4b9c1-7d33-0410-9eda-942365e851bb |