newsBRILLANT - News: Subversion

 
 
Show feedback again
Latest News
B parsing is complete posted by scolin, Mon Apr 16 16:22:19 2012 - 0 replies
CSP||B tool for calculating control loop invariants posted by scolin, Mon Nov 30 18:01:23 2009 - 0 replies
BiCoax, a Coq library for B, is in the repository posted by scolin, Tue Sep 2 14:54:50 2008 - 0 replies
Alpha (debian) package : brillant-core posted by gmariano, Tue Jan 29 11:57:45 2008 - 1 reply

Subversion

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

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