You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Luis Diogo Couto edited this page Jul 29, 2014
·
11 revisions
This pages list the various branches in the project. If you start a new branch or branch prefix, please record it in this file.
Primary Branches
Branch Name
Owner
Notes
HEAD
@joey-coleman
Special reference branch, points to master
master
@joey-coleman
Main Overture branch
release
@joey-coleman
Transient branch used for staging releases before moving master forward
development
@joey-coleman
Main development branch
test
(@joey-coleman)
Open branch to allow ad hoc builds; branch must always merge forward; highly unstable
Feature Branches
Branch Name
Owner
Notes
cpusleep
@peter-wvj
CPU sleep feature in VDM-RT
docs
@pglvdm
Documentation for the Overture Tool
prettyprinter
@ldcouto
Visitor-based pretty printer
User Branch Prefixes
Branch Prefix
Owner
cbn/
@clausbn
his/
@ishihiro
jwc/
@joey-coleman
kel/
@lausdahl
ldc/
@ldcouto
ncb/
@nickbattle
pvj/
@peter-wvj
swo/
@sunewolff
mve/
@nlmave
Project Tracking Branches
These branches track the precise version of Overture that other platforms –Symphony and Crescendo– use.
Branch Prefix
Owner
Notes
symphony/
@joey-coleman
Tracking branch for COMPASS/Symphony
crescendo/
@lausdahl
Tracking branch for DESTECS/Crescendo
VDMJ Branches
These branches are based on Nick Battle's VDMJ core and have more or less been archived. While we shake out the last bugs in the new codebase, and while Nick transitions, we're using the vdmj/ branch prefix to track changes in the VDMJ code. Eventually we expect this to move into the overturetool/cold-storage repository.