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 Jun 12, 2015
·
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. See the branch policy page for more.
Branches for pruning
These branches are old/outdated/not-maintained/etc. They are candidates for removal.
Branch
Contact
Notes
rtlogger-large-data
@peter-wvj
Something to do with the old traces plugin?
cpusleep
@peter-wvj
Experimental feature. Since discarded. Move it out to a fork
his/code , his/solv
@ishihiro
Implicit interpreter stuff. Abandoned?
Primary Branches
Branch Name
Owner
Notes
HEAD
--
Special reference branch, points to master
master
--
Main Overture branch
release
--
Transient branch used for staging releases before moving master forward
development
--
Main development branch
test
--
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
prettyprinter
@ldcouto
Visitor-based pretty printer
autocomplete
@gkanos
Auto-Completion improvements to VDM editors
rtlogger-large-data
??
??
User Branch Prefixes
Branch Prefix
Owner
his/
@ishihiro
kel/
@lausdahl
ldc/
@ldcouto
ncb/
@nickbattle
pvj/
@peter-wvj
gk/
@gkanos
Project Tracking Branches
These branches track the precise version of Overture that other platforms –Symphony and Crescendo– use.