Overture: Formal Modelling in VDM
Code
Programming Languages: Java
License: GNU General Public License version 3.0 (GPLv3)
Repositories
browse code,
statistics,
last commit on 2012-05-24
svn co https://overture.svn.sourceforge.net/svnroot/overture overture
browse code,
statistics,
last commit on 2012-05-29
git clone git://overture.git.sourceforge.net/gitroot/overture/overture (read-only)
What's happening?
-
Overture: Formal ...
augusto_silva pushed 1 commit(s) to refs/heads/astV2 in the overture Git repository of the Overture: Formal Modelling in VDM project.
2012-05-29 00:18:24 PDT by augusto_silva
-
Overture: Formal ...
pglvdm pushed 1 commit(s) to refs/heads/master in the overture Git repository of the Overture: Formal Modelling in VDM project.
2012-05-27 11:36:48 PDT by pglvdm
-
Overture: Formal ...
pglvdm pushed 4 commit(s) to refs/heads/master in the overture Git repository of the Overture: Formal Modelling in VDM project.
2012-05-27 11:02:40 PDT by pglvdm
-
Overture: Formal ...
augusto_silva pushed 1 commit(s) to refs/heads/astV2 in the overture Git repository of the Overture: Formal Modelling in VDM project.
2012-05-25 03:22:50 PDT by augusto_silva
-
Overture: Formal ...
joeycoleman pushed 2952 commit(s) to refs/heads/development in the overture Git repository of the Overture: Formal Modelling in VDM project.
2012-05-25 01:44:46 PDT by joeycoleman
-
Overture: Formal ...
nick_battle committed revision 3687 to the Overture: Formal Modelling in VDM SVN repository, changing 1 files.
2012-05-24 13:13:28 PDT by nick_battle
-
Overture: Formal ...
augusto_silva pushed 2 commit(s) to refs/heads/astV2 in the overture Git repository of the Overture: Formal Modelling in VDM project.
2012-05-24 08:14:36 PDT by augusto_silva
-
Overture: Formal ...
augusto_silva pushed 1 commit(s) to refs/heads/astV2 in the overture Git repository of the Overture: Formal Modelling in VDM project.
2012-05-24 05:54:53 PDT by augusto_silva
-
Overture: Formal ...
augusto_silva pushed 1 commit(s) to refs/heads/astV2 in the overture Git repository of the Overture: Formal Modelling in VDM project.
2012-05-24 03:40:23 PDT by augusto_silva
-
Overture: Formal ...
augusto_silva pushed 1 commit(s) to refs/heads/astV2 in the overture Git repository of the Overture: Formal Modelling in VDM project.
2012-05-24 02:06:14 PDT by augusto_silva
Our Numbers
- Bugs (51 open / 149 total)
- Feature Requests (13 open / 27 total)
- Public Forums (11 messages in 2 forums)
- Mailing Lists (0 total)