Branches

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
issue27_prepostoperations	@lausdahl	Special branch to build a custom version of Overture. See https://github.com/overturetool/language/issues/27
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.

Branch Prefix	Owner	Notes
symphony/	--	Tracking branch for COMPASS/Symphony
crescendo/	@lausdahl	Tracking branch for DESTECS/Crescendo