FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
The remote_build Tool

Author: Christian Sternagel

Paper Information

Title:The remote_build Tool
Authors:Christian Sternagel
Proceedings:Isabelle Papers
Editor: Makarius Wenzel
Keywords:Isabelle, tool, remote build
Abstract:

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.

Pages:4
Talk:Jul 13 16:15 (Session 88C: Isabelle 4)
Paper: