diff options
| author | David Aspinall | 2000-04-04 17:00:28 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-04-04 17:00:28 +0000 |
| commit | 4fd8dab8e165483a42301d17bd3b48c2ca449155 (patch) | |
| tree | 4ac6ad4b8a499c529e218187bb7f0c86217dfb56 | |
| parent | fe10c962ea68f2f64aa853a14289c5e0180fbc34 (diff) | |
Added new project B4
| -rw-r--r-- | html/projects.phtml | 1 | ||||
| -rw-r--r-- | html/projects/reelcase.html | 34 |
2 files changed, 35 insertions, 0 deletions
diff --git a/html/projects.phtml b/html/projects.phtml index edff89a5..a8c180aa 100644 --- a/html/projects.phtml +++ b/html/projects.phtml @@ -39,6 +39,7 @@ title. <li><?php pgproject("mm","Multiplexed Modes for Emacs") ?></li> <li><?php pgproject("scrgen","Script General") ?></li> <li><?php pgproject("corba","An Experimental CORBA binding for ML") ?></li> +<li><?php pgproject("reelcase","A ClearCase-like Configuration Management tool for Linux") ?></li> </ol> <p> diff --git a/html/projects/reelcase.html b/html/projects/reelcase.html new file mode 100644 index 00000000..f5fa2f04 --- /dev/null +++ b/html/projects/reelcase.html @@ -0,0 +1,34 @@ +<h2>A ClearCase-like Configuration Management tool for Linux</h2> +<p> +Managing large libraries of theories and proofs, good software +engineering practices of configuration management become important +when using proof assistants. One powerful and popular configuration +management tool is the commercial <a +href="http://www.rational.com/products/clearcase/index.jtmpl">Rational +ClearCase</a>. +</p> +<p> +The crucial way that ClearCase goes beyond CVS is in providing a view +of a configuration directly through a special mountpoint on +the filesystem. +</p> +<p> +This is a project to implement a kernel-level filesystem driver for +Linux using the Linux VFS to create a ClearCase-like view of a +configuration, through a mountable filesystem. The underlying +configuration management could be done through RCS or CVS, perhaps +invoked via a companion user-level process. +Particular revisions of files should be accessible through names +interpreted specially by the filesystem driver, and some +user-level commands will be needed for other operations. +</p> +<p> +<b>Skills:</b> +Expert C programmer, with ability to understand and work on Linux +kernel code. Understanding of configuration management principles. +</p><p> +<b>Proposers:</b> +<a href="http://zermelo.dcs.ed.ac.uk/~da">David Aspinall</a> +from an idea by +<a href="http://www.dcs.ed.ac.uk/home/cxl">Christoph Lüth</a> +</p> |