Skip to content

Branch information

James Cheney edited this page Feb 25, 2016 · 16 revisions

Overview

This page lists information about active branches in this repository. Each entry is in the following form:

Branch: [name of branch]
Owner: [person responsible for branch]
Description: [of the branch]

They are grouped as follows:

  • "Experimental" status means the branch is for an active research project and it may or may not eventually be a candidate for merging with the main source tree.
  • "Test candidates" means that the branch implements a useful feature and considered mature enough to be tested by others to determine whether it is a candidate for merging into the main branch
  • "Integration candidates" means that the branch has been tested and is being integrated into the main branch

All branches not listed on this page are inactive.

Active Branches

Integration candidates

Branch: sessions
Owner: Sam Lindley, Garrett Morris
Description: Extending Links with session types and linearity.  
Many other branches are branches of this so it is effectively the 
master branch now.

Test candidates

Branch: shredding
Owner: James Cheney
Description: Implementation of the query shredding algorithm from our 
SIGMOD 2014 paper.  This branch (or more accurately Stefan's fork of it) 
is up to date with the sessions branch.
Branch: errormsg
Owner: James Cheney (work done by summer intern Xupeng Li)
Description: Fixes a problem with displaying error messages when Links is in web mode.
Branch: modules
Owner: Simon Fowler
Description: A simple module system

Experimental

Branch: realpages
Owner: Sam Lindley
Description: Generating real HTML pages on the server rather than generating 
JavaScript stubs that construct webpages dynamically on the client.
Branch: appserver
Owner: Garrett Morris
Description: Standalone Links application server implementation
Branch: sand
Owner: James Cheney
Description: An implementation by Alex Ulrich of the Pathfinder-based approach to 
supporting nested queries, grouping and aggregation (query flattening).  Depends
on the Pathfinder query optimizer, which is not maintained.
Branch: prettyprinter
Owner: Simon Fowler
Description: Experimentation with prettyprinting?
Branch: effect-handlers
Owner: Daniel Hillerström
Description: Implementation of algebraic effects and handlers.
Branch: query-compilation
Owner: James Cheney
Description: 
implementation of a "compiler" (translator to OCaml) for Links server 
code (originally due to Steven Holmes), extended to handle (some) query 
code by Gabriel Radanne, as described in PEPM 2014 paper.
This was forked pre-Github so merging may be non-straightforward.