| dbaed83d44ac58f53a835de1976d32a317d59f88 |
|
01-Aug-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
adjusted cronjob for solaris and branches |
| 327dc2d3d090d55ac7decb48e647d70b2a1e320f |
|
27-Jun-2014 |
Christian Maeder <cmaeder@users.noreply.github.com> |
changed PATH under solaris for GNU make |
| 1d67047549441f07bb0ad41ab84a89e023f9e379 |
|
29-Apr-2014 |
Christian Maeder <Christian.Maeder@dfki.de> |
do not delete the hets binary
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18599 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 0a87be7f573925c78416af956c6d420bd3d255d2 |
|
28-Apr-2014 |
Christian Maeder <Christian.Maeder@dfki.de> |
compile twice to overcome memory problem
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18597 cec4b9c1-7d33-0410-9eda-942365e851bb |
| ba241d08d8c1f29dbe8a5a65f70358911fcd240c |
|
17-Oct-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed location
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17583 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 7d8c1f013b7d0d8b46d438444a9dc861e80d2330 |
|
18-Jun-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
current state
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16950 cec4b9c1-7d33-0410-9eda-942365e851bb |
| b251346272cd4fd66b0dadb1ddc19b339c62de69 |
|
18-Nov-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
shortened path
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16468 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 5d1ac80a0e8d98eea63f0d247bbdb4ff4c545f18 |
|
18-Jul-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
current job
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15587 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 6614ff955a8747d05a1d027efb832b2f35616554 |
|
02-Aug-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
switched default compiler to ghc-6.12.3
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13806 cec4b9c1-7d33-0410-9eda-942365e851bb |
| c3d7b9a38449f55e0908d7c515be3cdddebde6d0 |
|
12-Jul-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
avoid LD_LIBRARY_PATH
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13715 cec4b9c1-7d33-0410-9eda-942365e851bb |
| e6a8b9aee625cfc78759b40a345daebb5f3e7615 |
|
03-Feb-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
added topSortCheck
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13025 cec4b9c1-7d33-0410-9eda-942365e851bb |
| b1496af6745ad009400b7e3de4a967e18ee35c4e |
|
02-Nov-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
clean up /tmp on denebola filled by mathServe
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12772 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 6c5bdd5a051d8ab39d182f47c2e68ab7cf24f645 |
|
17-Sep-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
current cronjob for batch testing .hpf files #680
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12471 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 2cf6076d77b71fc8e7cf09acdc55da89479102de |
|
25-Feb-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
current settings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11430 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 529756fc4a06056f47aada2f55769f37a9a636dc |
|
25-Sep-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
current checks
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10741 cec4b9c1-7d33-0410-9eda-942365e851bb |
| c1e989e888346e2bf030052624008b2cad4a2ea0 |
|
14-Jul-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
(two) more consistency checks with darwin
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10310 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 4ccb10f0365b553d67f6b14c43c55d345c8dbc31 |
|
10-Jul-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
added more tests
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10292 cec4b9c1-7d33-0410-9eda-942365e851bb |
| be26aa582094f9065f21fb563944882a46eacc7b |
|
09-Jul-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
also create sources and docu
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10289 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 07401706fc5ac72093ac094d81f18bb4f49ddb8d |
|
06-Jul-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
current cronjobs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10268 cec4b9c1-7d33-0410-9eda-942365e851bb |
| d4892b90f88482a152e9df50704eb4d8c1073438 |
|
04-Apr-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
gemini files
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9877 cec4b9c1-7d33-0410-9eda-942365e851bb |
| d179960b885015bb42455f2a638924f16b1e6fec |
|
04-Jan-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
hets.cgi must be made on pc-solaris now
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9408 cec4b9c1-7d33-0410-9eda-942365e851bb |
| e282a831eb953279295eba3e79c003da6439db0d |
|
08-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed ghc-6.6.1 path
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8560 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 52dc47a388fe7d89bd09a87b755725fd80af08d8 |
|
22-Jun-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
adapted to svn switch
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8123 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 73a312260e175e2ff55071771530ee2d08e80fea |
|
05-Feb-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
cronjob on z03
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7373 cec4b9c1-7d33-0410-9eda-942365e851bb |