Welcome to the SML-NJ GForge site.
The Standard ML of New Jersey team uses this site to maintain, develop and release the SML/NJ compiler.
News: SML-NJ is hosted on a new server.
On Aug 10th, 2009 we migrated to better hardware. The old Pentium 4 machine was retired in favor of a new 8-core Intel Xeon Nehalem using Linux md10 on four disks. The network was also upgraded to 2 x 1GB using adaptive load balancing.
You should be seeing faster checkout and commit times with a more responsive website.
As always, if you find something that doesn't look right, please let us know and we'll look into it.
Past news:
- On Feb 20th, 2009 we have installed an EquiFax-approved certificate which should be recognized by all browsers. This certificate is used for all secure aspects of the site (svn activity and web interface logins).
- On Apr 18th, 2008 the server hosting SML-NJ was down for a scheduled hardware upgrade.
- On Feb 28th, 2008 the server hosting SML-NJ had a 10 minute scheduled downtime.
- On Feb 12th, 2008 the SML-NJ GForge website was successfully upgraded to the 4.6b1 version of GForge.
- We moved from the old insecure SVN access method to a new DAV-based https:// access method. As such, the address for SVN check-out or check-in is no longer
svn://smlnj-gforge.cs.uchicago.edu/repository-name but https://smlnj-gforge.cs.uchicago.edu/svn/repository-name Further instructions are available in each project's SCM Repository section.
- The repositories are also available for browsing online via ViewVC. Simply click on the project name, then on SCM Repository and finally on [Browse Subversion Repository] on the right-side of the page to view them.
- Statistics (with graphs) are now enabled throughout the site.
- There are mailing lists associated with each project.
- Each project or user can make use of a WikiWiki.
The SML-NJ GForge administrators.
 |
Latest News |
 |
|
|
|
 |
smlnj-gforge Statistics |
 |
|
|
|