History log of /hets/HolLight/OcamlTools/imageTools/makeCheckpoint.sh
Revision Date Author Comments Expand
c18150047a08abe95e9495468ef8d2124d43dbf8 12-Dec-2011 Jonathan von Schroeder <sternkinder@gmail.com>

modified checkpointing script to include distro and architecture in the image name git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16553 cec4b9c1-7d33-0410-9eda-942365e851bb

08c52c0cec0842d53e51cfbedae2c0e0d6c4e641 08-Dec-2011 Christian Maeder <Christian.Maeder@dfki.de>

wibble git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16552 cec4b9c1-7d33-0410-9eda-942365e851bb

cd65ccca369b25f92efae1ee9e774459deaf500a 08-Dec-2011 Jonathan von Schroeder <sternkinder@gmail.com>

modified checkpointing script to include distro and architecture in the image name git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16540 cec4b9c1-7d33-0410-9eda-942365e851bb

8e41f42599cb2f2e6a97cccc8e0c8ed361abda7d 29-Nov-2011 Christian Maeder <Christian.Maeder@dfki.de>

add svn:executable property git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16496 cec4b9c1-7d33-0410-9eda-942365e851bb

6ad9bcb1be234d475541a44c750ecf6f57294dce 28-Nov-2011 Jonathan von Schroeder <sternkinder@gmail.com>

fixed checkpointing in hollight git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16491 cec4b9c1-7d33-0410-9eda-942365e851bb

aecb6dd5fe65b426c7044c9009ee4a6e3d9783b6 23-Nov-2011 Jonathan von Schroeder <sternkinder@gmail.com>

added checkpointing to hollight - not yet working git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16482 cec4b9c1-7d33-0410-9eda-942365e851bb