-
Notifications
You must be signed in to change notification settings - Fork 25
Branches
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.
| 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 |
| 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 |
| Branch Prefix | Owner |
|---|---|
cbn/ |
@clausbn |
his/ |
@ishihiro |
jwc/ |
@joey-coleman |
kel/ |
@lausdahl |
ldc/ |
@ldcouto |
ncb/ |
@nickbattle |
pvj/ |
@peter-wvj |
swo/ |
@sunewolff |
mve/ |
@nlmave |
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 |
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.
| Branch Name | Owner | Notes |
|---|---|---|
vdmj/master |
@joey-coleman | v1.2.x/VDMJ+Overture master branch |
vdmj/development |
@nickbattle | Final development on the VDMJ+Overture codebase |