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 |
13309d089d0724b68f11d8b367111cb156bfff5b |
|
28-Jul-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
added 5 secs timeout to read maude output line and verbosity |
aedfa1f149d1d700b75fcc528ebcd87ab9971d60 |
|
10-Jul-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
increase timeout for Ubuntu #1278 |
6960b97752a8904e7a6608b4a86ed305d1de33c3 |
|
11-Feb-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed Maude prompt check
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14520 cec4b9c1-7d33-0410-9eda-942365e851bb |
c6f06f645ab759d047a16a377a1ce3510bc883f5 |
|
10-Feb-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
strip off Maude prompt
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14517 cec4b9c1-7d33-0410-9eda-942365e851bb |
102dd5d5d74c75546c0c8040ba427e5f57d552f1 |
|
10-Feb-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
made maude use HETS_MAUDE_LIB
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14515 cec4b9c1-7d33-0410-9eda-942365e851bb |
7376677ee1364ce52887876200911b6bc6b383fa |
|
08-Sep-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
fixed headers
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14025 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 |
e8792afcdad2a385919f46991b0582bfdf125ec8 |
|
16-Jun-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
revert accidental spechub/Hets@2f3bcea983c10541707825ac1a026d8133efaab1 for Maude
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13601 cec4b9c1-7d33-0410-9eda-942365e851bb |
2f3bcea983c10541707825ac1a026d8133efaab1 |
|
16-Jun-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
allow double dots in simple ids following keyword get
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13600 cec4b9c1-7d33-0410-9eda-942365e851bb |
6f6549c13f912de12345850e4eb248ec358c1b43 |
|
20-Apr-2010 |
Adrián Riesco <ariesco@fdi.ucm.es> |
Modifications in the Maude institution, that allow simplifications in the comorphism
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13360 cec4b9c1-7d33-0410-9eda-942365e851bb |
58a3295ca574722cefbb8afafa96a9d3ab5a69f2 |
|
09-Feb-2010 |
Adrián Riesco <ariesco@fdi.ucm.es> |
error handling
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13045 cec4b9c1-7d33-0410-9eda-942365e851bb |
8c280c722a95b3e9bfe3c5a1d93d2324ebb36d07 |
|
11-Jan-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
wait for input for 500 milli-seconds #775
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12971 cec4b9c1-7d33-0410-9eda-942365e851bb |
289fabbb11117423901affcb7159adcfd0715660 |
|
21-Dec-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Fix copy&paste error message
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12941 cec4b9c1-7d33-0410-9eda-942365e851bb |
fc9d0c8127a30a49e0ff06ba544aa8ea2240c10e |
|
21-Dec-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Check whether output handle is ready. If it isn't, fail.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12940 cec4b9c1-7d33-0410-9eda-942365e851bb |
d5e2485c87abb79e1be7c1f7c95a5eab5ea27423 |
|
21-Dec-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Extract maude subprocess creation function
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12939 cec4b9c1-7d33-0410-9eda-942365e851bb |
dd8192626a906b3f6ca5fd8d5d800b197618b09d |
|
16-Dec-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
used readMaybe and failed more verbose
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12934 cec4b9c1-7d33-0410-9eda-942365e851bb |
172f4dfb4b858440fab545bac00d3ec4abd0cbe4 |
|
30-Nov-2009 |
Adrián Riesco <ariesco@fdi.ucm.es> |
Implications due to the implicit information in statements added
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12863 cec4b9c1-7d33-0410-9eda-942365e851bb |
f105b95766712d9747f3948807bb385da26192c8 |
|
17-Nov-2009 |
Adrián Riesco <ariesco@fdi.ucm.es> |
Bug fixed when introducing Maude specifications in CASL specifications
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12838 cec4b9c1-7d33-0410-9eda-942365e851bb |
b9840e4ee6fda6e42fa4ee9f337482ccc4839a39 |
|
27-Aug-2009 |
Adrián Riesco <ariesco@fdi.ucm.es> |
Associativity bugs fixed in the comorphism.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12323 cec4b9c1-7d33-0410-9eda-942365e851bb |
7a4245ea4f389023ec09b0d66c498afa5cd15df0 |
|
25-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Use vcat instead of vsep.
We don't need the spurious newlines.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12289 cec4b9c1-7d33-0410-9eda-942365e851bb |
aea9000fc94442cbfc92596f4264473c0fce51e4 |
|
25-Aug-2009 |
Adrián Riesco <ariesco@fdi.ucm.es> |
Comorphism with predefined predicates
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12288 cec4b9c1-7d33-0410-9eda-942365e851bb |
e0b3141c84d806794cc723404079dc2e22ee40b3 |
|
25-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Tweak maude command path generation.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12283 cec4b9c1-7d33-0410-9eda-942365e851bb |
5318901bb69bf247e0f341312c800ba4ea87e46b |
|
24-Aug-2009 |
Adrián Riesco <ariesco@fdi.ucm.es> |
Graph transformation adapted to new data structures, first version of the maude2CASL comorphism
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12266 cec4b9c1-7d33-0410-9eda-942365e851bb |
2ea5fa4d14fc583912e895070ec54a20f874c4fa |
|
21-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Remove +x permission from source file.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12218 cec4b9c1-7d33-0410-9eda-942365e851bb |
771f3233af6306bd5028b262b6cd33248109649c |
|
20-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Use pretty instead of printSign
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12172 cec4b9c1-7d33-0410-9eda-942365e851bb |
4660ed0d3a1ece016a80b570f7942145d44b1cfd |
|
17-Aug-2009 |
Adrián Riesco <ariesco@fdi.ucm.es> |
Complete Maude syntax, all modules in the prelude added.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12155 cec4b9c1-7d33-0410-9eda-942365e851bb |
0031a2afe0315272f3ff0962faa6a8dcbb689154 |
|
16-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
where -> let/in
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12147 cec4b9c1-7d33-0410-9eda-942365e851bb |
25b1ca0117f6956cdedc8c931be381a3ae3fc43c |
|
16-Aug-2009 |
Martin Kühl <martin.kuehl@gmail.com> |
Rename Maude.MaudeShellout to Maude.Shellout
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12146 cec4b9c1-7d33-0410-9eda-942365e851bb |