cl-banner

The remote_build Tool

Christian Sternagel

Isabelle Workshop (Isabelle 2018),  2018.

Abstract

This is an introduction to the remote_build tool for transparent remote session builds. The intended workflow for a user is to locally issue a build command for some session heap images and then continue working, while the actual build runs on a remote machine and the resulting heap images are synchronized incrementally as soon as they are available.

 

  PDF

BibTeX 

@inproceedings{CS-Isabelle18,
author = "Christian Sternagel",
title = "The remote_build Tool",
booktitle = "Isabelle Workshop",
year = 2018
}
Nach oben scrollen