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 |
ad4da9d870c666f00992431e3badbbe9cc4f19aa |
|
28-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
made scan happy
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14816 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 |
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 |
241cb74b1e8d02f83d987c2ea91fef49a1ac3b2e |
|
21-Jun-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
fixes to OMDoc Export, constant-handling and cd
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13608 cec4b9c1-7d33-0410-9eda-942365e851bb |
1b353d403dbdb365ae93a568f32b3ebf5698cab5 |
|
23-Apr-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
Improved the documentation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13383 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 |
5a148030a4800d93fdaf97a33b78b60667524887 |
|
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@13277 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 |
cae4916b0844b837a4dd7e29730c56a3e26ef94d |
|
15-Mar-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
refactored the CASL OMDoc export
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13230 cec4b9c1-7d33-0410-9eda-942365e851bb |
b524978df6a89e40139f2862ad9eb6f9f5c8a1b5 |
|
24-Feb-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
changed the omdoc datatypes and adapted the export, finished the mapping from omdoc-xml to internal omdoc-datatypes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13112 cec4b9c1-7d33-0410-9eda-942365e851bb |
521e19185a40fc9a9e38f4d34cfe451d3a5ab2c9 |
|
19-Feb-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
added pathlist to omname
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13098 cec4b9c1-7d33-0410-9eda-942365e851bb |
831b0d8f47480be51d14f2cf122913507859f9c3 |
|
12-Feb-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
prepared the type of Linkpath in order to integrate heterogeneous path computation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13066 cec4b9c1-7d33-0410-9eda-942365e851bb |
f5ae473759d00ab503cf52f323376dd2b1f87065 |
|
27-Jan-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
subsortrelation added
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13007 cec4b9c1-7d33-0410-9eda-942365e851bb |
d56ece59c372cb887355825901222b9f3377f7e6 |
|
13-Nov-2009 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
Gtk consistency checker was broken, fixed. removed all warnings from building hets with and without Gtk and or HTk. fixed bugs from my last commit when building without Gtk and or HTk. One bug still remaining in consistency checker when pressing invert, i am trying to fix it now.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12833 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 |
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 |
5e20d56300f459ff356792209aa1dc19dce15911 |
|
23-Jun-2009 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
removed 2 warnings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11828 cec4b9c1-7d33-0410-9eda-942365e851bb |
ebe417feecb86d14a68d0c3ac504fdcb964026d4 |
|
26-May-2009 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
adapted the omdoc implementation to the new interface and changed the logic-symbols
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11771 cec4b9c1-7d33-0410-9eda-942365e851bb |
6687d4bc2b9eb7a75aa28a99caca4a25a4ec8b72 |
|
20-Apr-2009 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
shortened some comments and function declarations
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11716 cec4b9c1-7d33-0410-9eda-942365e851bb |
c23dca99e2e03e6b9c1494e099467ed4361d6055 |
|
17-Apr-2009 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
adapted the morphism-structure and added CD special cases
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11702 cec4b9c1-7d33-0410-9eda-942365e851bb |
9be5b6267dea82f0eb283bd4ae9d4f83e05a6944 |
|
25-Mar-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed trailing spaces
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11585 cec4b9c1-7d33-0410-9eda-942365e851bb |
a28af315fa719bc9a214faf99377f9f076a936a6 |
|
20-Mar-2009 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
added export of the morphisms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11553 cec4b9c1-7d33-0410-9eda-942365e851bb |
1280218a2d0c4498bfcc835d90a837eaa19a43b1 |
|
13-Mar-2009 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
filtering out nonlocal signature elems
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11514 cec4b9c1-7d33-0410-9eda-942365e851bb |
ef0787b588d207d4ada333a4ecc92b47f1748f15 |
|
13-Mar-2009 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
filtering out the non local signature elements
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11512 cec4b9c1-7d33-0410-9eda-942365e851bb |
93a69e124c38ab48d84631a3c041ea42f318cdf8 |
|
09-Mar-2009 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
exporting ADTs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11501 cec4b9c1-7d33-0410-9eda-942365e851bb |
95dfb127002e3652a58d6197e89170f1732cbb84 |
|
04-Mar-2009 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
starting ADT export
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11486 cec4b9c1-7d33-0410-9eda-942365e851bb |
81eb3dd151e36afc2f5d00d97bf86389b60d2564 |
|
04-Mar-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved data SPEC_ID
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11482 cec4b9c1-7d33-0410-9eda-942365e851bb |
4643bc3112d844cf859f69608e8ba28d73e3478d |
|
04-Mar-2009 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
integrated signature
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11479 cec4b9c1-7d33-0410-9eda-942365e851bb |
1ab3f83bfe78d8d251f825dfc25ee78b640e423d |
|
03-Mar-2009 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
started signature output
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11475 cec4b9c1-7d33-0410-9eda-942365e851bb |
944b26b10934cbbf6ad0d626f314c4f46b1a96b4 |
|
03-Mar-2009 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
sentence export first version
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11471 cec4b9c1-7d33-0410-9eda-942365e851bb |
42a9e0ebef8b18a5dca6ddbcc8ea9ae64e40f921 |
|
19-Feb-2009 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
Omdoc-interface implementation for the CASL logic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11406 cec4b9c1-7d33-0410-9eda-942365e851bb |
c41431457b645d5feb51f0869b2bbcecc089e5a3 |
|
25-Nov-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
untabified
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11083 cec4b9c1-7d33-0410-9eda-942365e851bb |
9a80079e082fdf4fe8e19f8fc61e6cd8799b47a7 |
|
25-Nov-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed trailing spaces
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11082 cec4b9c1-7d33-0410-9eda-942365e851bb |
064cde3bb1fff40ed51d6a81ad5be4eae13c8e57 |
|
20-Oct-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
added final newline
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10845 cec4b9c1-7d33-0410-9eda-942365e851bb |
bf068a4f08df4cdc69870c510bccef580da8c342 |
|
07-Oct-2008 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
changed the Hets import back
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10782 cec4b9c1-7d33-0410-9eda-942365e851bb |
911cfc39bee9993dc635d2691f1c3a54f4b3ffd3 |
|
07-Oct-2008 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
changed import of Hets and outcommented processTermOM for Simple_id
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10780 cec4b9c1-7d33-0410-9eda-942365e851bb |
d4e62fdd6df415820ae83062e3ccaf22ab1e37f0 |
|
30-Sep-2008 |
Elena Digor <e.digor@jacobs-university.de> |
Added OMDoc class in CASL, under CASL/OMDoc.hs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10753 cec4b9c1-7d33-0410-9eda-942365e851bb |