newsBRILLANT - News: Subversion

 
 
Show feedback again
Latest News
B parsing is complete posted by scolin, Mon 16 Apr 2012 04:22:19 PM UTC - 0 replies
CSP||B tool for calculating control loop invariants posted by scolin, Mon 30 Nov 2009 06:01:23 PM UTC - 0 replies
BiCoax, a Coq library for B, is in the repository posted by scolin, Tue 02 Sep 2008 02:54:50 PM UTC - 0 replies
Alpha (debian) package : brillant-core posted by gmariano, Tue 29 Jan 2008 11:57:45 AM UTC - 1 reply
New jabber chatroom / nouveau salon jabber posted by scolin, Mon 28 Jan 2008 04:51:22 PM UTC - 0 replies
[Submit News]
[13 news in archive]

Subversion

Item posted by Samuel Colin <scolin> on Mon 12 Feb 2007 04:05:43 PM UTC.

The source repository of BRILLANT has been transformed from CVS to Subversion. Details for checking it out are in the "Source Code" tab at the top of the page.

Normally now the subdirectories are as follows :
- website/ where the website holds, obviously. The move had already been made by Gna! admins
- trunk/ where the development repository resides. Currently, there is an "attic" subdirectory where all the "old" code is, i.e. code that has not been confirmed to compile yet. As time goes, subprojects will move towards the trunk/ root when they have been compiled and checked for actual functionality
- tags/ where all previous tagged versions of the CVS appear
- branches/, same as for tags

Note that ideally, correct compilation should be confirmed by at least two persons with different setups. But that is "ideally".

Comments:

No messages in Subversion

 

Start a New Thread:

You could post if you were logged in
Show feedback again

Back to the top


Powered by Savane 3.1-cleanup