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


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".


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