Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
Appearance settings
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
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

Clone this wiki locally

AltStyle によって変換されたページ (->オリジナル) /