4f3a84cb1b7e55ce38df8f4ac71d06b574b23cb1 |
|
27-Mar-2018 |
mscodescu <mscodescu@gmail.com> |
origin of sentences |
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 |
b9b5d06589f3002243102600173551b8fdd1ac47 |
|
04-Aug-2015 |
cmaeder <c.maeder@jacobs-university.de> |
renamed subgraph to predecs for travis |
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 |
163ac7391de7fd3d6c46b22d291adaa7c766f105 |
|
09-Dec-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
cleaned up
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14311 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 |
aa5986b28217b40d59a3418e6492946268066961 |
|
02-Jun-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed unused imports
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13496 cec4b9c1-7d33-0410-9eda-942365e851bb |
51f5e4646dd79be0844ceb0cc416e3fa3205a365 |
|
17-Feb-2010 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
moved rules for freeness in their own file
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13089 cec4b9c1-7d33-0410-9eda-942365e851bb |
55c5e901b5c3466300009135585bc70bd576dcb6 |
|
09-Dec-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
created history entries for computed theories
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12905 cec4b9c1-7d33-0410-9eda-942365e851bb |
ec7ce75c8173d1771c645d5fb16c3367ad4b0616 |
|
04-Dec-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
remove wrong haddocs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12892 cec4b9c1-7d33-0410-9eda-942365e851bb |
a765ab85cf4bffb8216ebe9a9ed4ffaf7ee61a18 |
|
02-Dec-2009 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
remove trace, change anaLib
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12877 cec4b9c1-7d33-0410-9eda-942365e851bb |
0bc3e99a05ed12fafe271ab855c15c866b50827c |
|
02-Dec-2009 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
experimental TheoremFreeShift rule
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12875 cec4b9c1-7d33-0410-9eda-942365e851bb |
d11391a2447a2005329a95b5d770f24e62bf5b63 |
|
16-Nov-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
added a pending field to DG links
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12837 cec4b9c1-7d33-0410-9eda-942365e851bb |
aff117d059bb30eb85de03fc9a23029821a4c484 |
|
27-Oct-2009 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
removed node M'
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12741 cec4b9c1-7d33-0410-9eda-942365e851bb |
342beb91d58bcf41178240c37d0f6c0c4f83c53e |
|
09-Oct-2009 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
Normalization of freeness works for Maude. Needs improvements.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12611 cec4b9c1-7d33-0410-9eda-942365e851bb |
e6427435181f3dc24b3548593e60e6fcdd996d49 |
|
08-Oct-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
compute global theory for normal form nodes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12601 cec4b9c1-7d33-0410-9eda-942365e851bb |
54ea981a0503c396c2923a1c06421c6235baf27f |
|
26-Sep-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
use a single Conservativity data type
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12527 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 |
781734fbf949c94460b3336d25e2ca839130f440 |
|
04-Sep-2009 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
hiding dfn link, not theorem
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12417 cec4b9c1-7d33-0410-9eda-942365e851bb |
5e49e7c9cdf9762a903d7ecbc668b52e7bb2dd7b |
|
04-Sep-2009 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
very experimental version of normal form for freeness
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12415 cec4b9c1-7d33-0410-9eda-942365e851bb |
3bcf8bbafdda23d3c6be2deec9e68f98223b78c1 |
|
31-Aug-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
extended node names by xpath
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12364 cec4b9c1-7d33-0410-9eda-942365e851bb |
1cd0e77046ce5b6923b86f4b4a69d8c663928f99 |
|
16-Jul-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
move conservativity info into the normal form node
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11956 cec4b9c1-7d33-0410-9eda-942365e851bb |
6de4d50cfd65f199053142b05f812dddeeb9f9ea |
|
24-Apr-2009 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
removed comments
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11756 cec4b9c1-7d33-0410-9eda-942365e851bb |
1a407f2bf5a43743b30acb439a8f90357d439420 |
|
24-Apr-2009 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
only compute paths when needed
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11755 cec4b9c1-7d33-0410-9eda-942365e851bb |
dd7bd213bd45138b80b93f4684387171f07abbc8 |
|
24-Apr-2009 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
delete forgotten trace message
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11750 cec4b9c1-7d33-0410-9eda-942365e851bb |
588aa1c4f05bd316cde3d7f93b24e3db3d1b6a0a |
|
24-Apr-2009 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
extract a final subcategory before computing normal form
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11749 cec4b9c1-7d33-0410-9eda-942365e851bb |
9192fdd8f0e682ac0f0183dd854d5210fbfa4ec5 |
|
24-Mar-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored link types
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11573 cec4b9c1-7d33-0410-9eda-942365e851bb |
2e63df76296cdf828d87a2d03dd614219436e6f1 |
|
26-Feb-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
cleaned up
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11440 cec4b9c1-7d33-0410-9eda-942365e851bb |
6c1f6e0b2f3a8d046525a8309e5448fdfb2d0714 |
|
26-Feb-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
only consider imported libraries of a current one
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11437 cec4b9c1-7d33-0410-9eda-942365e851bb |
bfb2ae5ac1ccfacbfa29ffa240838461e18f4d49 |
|
26-Feb-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
avoid keeping track of labelHasHiding, make it False by default
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11434 cec4b9c1-7d33-0410-9eda-942365e851bb |
f4651a172fa4d00037b061fbe4df71abc69f12b5 |
|
25-Feb-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
restructured normal form computation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11432 cec4b9c1-7d33-0410-9eda-942365e851bb |