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 |
99a1b27d863b673e586c716bdfd0ca2feb23175d |
|
08-Dec-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored parsing (making it truely portable)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14296 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 |
ceef5f7843a1f96fe5a62e0f6880e38b3d5f4708 |
|
10-Mar-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed semicolons
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13197 cec4b9c1-7d33-0410-9eda-942365e851bb |
c3f7e132e0c214b755c6c4b485f4748c4dd1595c |
|
26-Oct-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed redundant imports
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12730 cec4b9c1-7d33-0410-9eda-942365e851bb |
2b8ac3ceb1c12fa26ef749fb9b2b260fcadc5145 |
|
30-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Documentation and structure for Language.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12355 cec4b9c1-7d33-0410-9eda-942365e851bb |
d7c53da98aa088fa23aaa79821c4613fbf174acd |
|
29-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Doc comments and Formatting.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12337 cec4b9c1-7d33-0410-9eda-942365e851bb |
c179590a964147c780dd61490785a133659a69d1 |
|
20-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Add Header and section comments.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12169 cec4b9c1-7d33-0410-9eda-942365e851bb |
de52509f3a4eb32ead69834338c31a3c6c087257 |
|
16-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Tweak Maude.Language.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12139 cec4b9c1-7d33-0410-9eda-942365e851bb |
93da827a79b9d7122ed9bb5636a62bae43565b21 |
|
14-Aug-2009 |
Adrián Riesco <ariesco@fdi.ucm.es> |
New signature, parser integrated, new datatype (each term has its type)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12137 cec4b9c1-7d33-0410-9eda-942365e851bb |
4e70a3d958cbeecd8f0300042971918940f4d083 |
|
14-Aug-2009 |
Adrián Riesco <ariesco@fdi.ucm.es> |
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12134 cec4b9c1-7d33-0410-9eda-942365e851bb |
d8a1a2163331f183fa32476c797a56c55506e6bd |
|
14-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Replace Symbol with NamedSpec.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12126 cec4b9c1-7d33-0410-9eda-942365e851bb |
9c7fa8e70eb89572ed54c8b410aa6643184b4f74 |
|
14-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Formatting: Avoid long lines.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12125 cec4b9c1-7d33-0410-9eda-942365e851bb |
6f48ac61a8d3b21e72f317ff04914521f136a9ad |
|
11-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Restructure the parser.
We now keep the list of generated modules in order of declaration during depth-first traversal of the module tree.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12078 cec4b9c1-7d33-0410-9eda-942365e851bb |
769c38f7e9e81ba1ce0432db280726d7834a7d61 |
|
11-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Formatting.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12077 cec4b9c1-7d33-0410-9eda-942365e851bb |
fcf0b8e9f2ed37a43d37ceb0dff7d1fdf5073268 |
|
10-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Add missing comments.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12069 cec4b9c1-7d33-0410-9eda-942365e851bb |
a7fa528a1ca2180666dfe74fda0b6f3e4b768622 |
|
10-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Formatting.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12068 cec4b9c1-7d33-0410-9eda-942365e851bb |
b3bcf7cdf09cf9d5842d2c036c7ecfe8189c7757 |
|
10-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Export more functions.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12067 cec4b9c1-7d33-0410-9eda-942365e851bb |
b0c85fc46368e662ddd3df1a5d1dd26f2fbf67fd |
|
10-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Uncurry parseAndFold; makes the type signature clearer.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12066 cec4b9c1-7d33-0410-9eda-942365e851bb |
0fed0090568d513490a88f30766b056778114e97 |
|
10-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Rename more functions.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12065 cec4b9c1-7d33-0410-9eda-942365e851bb |
99d66d4133970c9c383a55571a67af370c40861c |
|
10-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Reorganize parsec imports
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12064 cec4b9c1-7d33-0410-9eda-942365e851bb |
af014fd328ac3a7146de72db9711a68c6ead20ac |
|
10-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Rename functions.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12063 cec4b9c1-7d33-0410-9eda-942365e851bb |
58a31189c0bb69153ffff8990f366af79fc3ae09 |
|
10-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Formatting.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12062 cec4b9c1-7d33-0410-9eda-942365e851bb |
6178cb7b9b56748a3aeadbd06674d4046673f1f3 |
|
10-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Update TODO list.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12060 cec4b9c1-7d33-0410-9eda-942365e851bb |
624ad549e054a95c61bdcff04604cc8dbe031ae1 |
|
10-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Lines can end in EOF as well.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12059 cec4b9c1-7d33-0410-9eda-942365e851bb |
00f0e07c827998efde643c5bfa58fcb603a69066 |
|
10-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Implement recursive parsing.
Take care not to parse files multiple times.
Return symbols in Sets.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12058 cec4b9c1-7d33-0410-9eda-942365e851bb |
ea55da77b1086b711cd0b4e24e642e25d46b9435 |
|
10-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Update Maude.Language.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12057 cec4b9c1-7d33-0410-9eda-942365e851bb |
1c018695890dac5fe90c5680f3a6aaab861437e0 |
|
07-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Add Lots(tm) of type declarations.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12046 cec4b9c1-7d33-0410-9eda-942365e851bb |
6a544f2b299ff97d1ff0d38a9c5cbd049048c474 |
|
07-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Properly handle maude identifiers.
Most of the time, that is.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12045 cec4b9c1-7d33-0410-9eda-942365e851bb |
70bf063fe13b991403e95963cc4586b23461d7a9 |
|
03-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Add very basic parsing of Maude source files.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12022 cec4b9c1-7d33-0410-9eda-942365e851bb |